tyoma

16 ms·

121.
by tyoma 6y ago
It depends where the failure happens. Sometimes you really lose the “failure in the wrong place” lottery. For example, in a domain name: http://dinaburg.org/bitsquatting.html
122.
by tyoma 6y ago
There were some great follow up talks as well! It turns out a viable attack vector was also MX records. And there was the guy who registered kremlin.re ( versus kremlin.ru ).
123.
by tyoma 6y ago
This can be regulated at the state and local level; current state solutions had no ability to regulate air transit fees. However even local government is getting in on this revenue stream. The last ambulance bill I saw (for a relative) was
124.
Benchmarking theorem provers for programming tasks: yices vs. z3(lemire.me)
8 points by tyoma 6y ago|1 comments
125.
by tyoma 6y ago
Are the different versions of solc really that different? I saw that was mentioned as a data cleaning difficulty and it has me wondering what the changes between solc revisions are like.
126.
by tyoma 6y ago
It would only be beneficial to do the translation if the underlying aarch64 (or x86 or other) could be run in parallel on multiple data elements to begin with. Fuzzing naturally has that property, but certainly there are other uses.
127.
by tyoma 6y ago
How many compiler bugs have you hit so far :) ?
128.
by tyoma 6y ago
Doing this via executive order is going to prompt backlash in the form of a ballot initiative gutting emissions regulation in the state.
129.
California phasing out gasoline powered cars by 2035(mobile.twitter.com)
8 points by tyoma 6y ago|6 comments
130.
by tyoma 6y ago
Soon to be free for the first year: https://www.nolo.com/legal-updates/california-extends-first-...
131.
by tyoma 6y ago
Why is this surprising? Many colleges are online only or getting there after COVID spikes post re-opening. Those students have nowhere else to go.
132.
by tyoma 6y ago
Its also fascinating to note that US public spending on healthcare is greater than the UK, both in terms of absolute numbers and as share of GDP [0]. [0]. https://www.bbc.com/news/uk-42950587
133.
by tyoma 6y ago
The average US card user has something like 5+ cards. You are not supposed to re-use or write down pins. PIN use would not scale past one or two cards.
134.
by tyoma 6y ago
Wait, how are you responsible for poor card security? You are protected from more than $50 in liability by federal law, and more than $0 by virtually every issuers policy. More often than not, your issuer automatically detects and blocks fr
135.
by tyoma 6y ago
In the US merchants own their own machines and the banks have to strongarm them into getting new ones. This is one of the reasons some places still require a swipe to pay.
136.
by tyoma 6y ago
I don’t know if any school district in the country pays enough for a teacher to live in San Francisco. District finances are typically open and searchable, i am sure you can find out exactly how much the state pays and how San Francisco’s p
137.
by tyoma 6y ago
California pays for schools (at least the operational costs) at the state level since 2013 ( https://www.cde.ca.gov/fg/aa/lc/lcffoverview.asp ). Local districts can propose bond measures, but there is no guaran
138.
by tyoma 6y ago
While the disparity seems like its not at the same level, schools even in fairly egalitarian European countries are not all equal. For an example, see the discussion about the Amsterdam school lottery ( https://medium.com/soc
139.
by tyoma 6y ago
Several states already follow effectively this model. California is one of them: the state ensures each school district is funded based on enrollment, with some correction for poverty and English learners. Oregon is another state where scho
140.
by tyoma 6y ago
I am half serious: maybe HN needs a “tech support” feaute, kind of like “show hn” and “ask hn” exist now. If people are going to use HN for last-ditch tech support, there should at least be an official method.
141.
by tyoma 6y ago
The same place I do now since I already work remotely. There are plenty of remote opportunities available. As an aside, I am shocked how many of the responders here effectively say they will willfully violate local labor law in one or more
142.
by tyoma 6y ago
2FA would also have higher costs for consumers, possibly much higher costs due to customer support staff and having to reset that second factor.
143.
by tyoma 6y ago
Maybe US issuers were much better at on-line fraud detection and didn’t need the newer system? Hoping someone from the industry can comment, but I was under the impression that US issuers were eventually forced into EMV, after dragging thei
144.
by tyoma 6y ago
In the US this isn't a major issue due to very consumer friendly legislation. This is omitting some details, but effectively you call your card provider and say you didn't make a purchase. Then its effectively up to the merchant t
145.
by tyoma 7y ago
How many other struggling businesses are facing the the same issue but don’t know about the “get on the HN front page” back-channel to human tech support?
146.
by tyoma 7y ago
Why all the talk about globalization? The problem is US-based companies fraudulently representing sugar syrup as honey. Would it make a difference if they called locally produced sugar syrup “Tennessee Honey”? The use of Vietnamese syrup ov
147.
What Happens to University-Based Biotech Startups – and Why(blogs.sciencemag.org)
1 points by tyoma 7y ago|0 comments
148.
by tyoma 7y ago
Glad this covers the good and bad aspects of remote work. One thing is missing though: the cost of an extra bedroom to use as an office. In many real estate markets, going from N to N+1 bedrooms is a considerable price increase.
149.
by tyoma 7y ago
I’m going to go against the grain here and say I absolutely dread going to Costco but tolerate it because of the prices and bulk availability of certain produce. A quick ranty list of complaints: The store is too small for the amount of p
150.
by tyoma 7y ago
I am very excited this had finally landed in master. To my knowledge there were no other symbolic execution tools that worked on WASM.

More ›