sethev

14 ms·

151.
by sethev 7y ago
It’s worse than nothing. People who know their message isn’t secure can adjust what they say accordingly.
152.
Search 0:01 / 38:23 What's in a Name? Fast Fuzzy String Matching (2015)(youtube.com)
1 points by sethev 7y ago|0 comments
153.
Rust Moving Towards an IDE-Friendly Compiler with Rust Analyzer(infoq.com)
235 points by sethev 7y ago|64 comments
154.
by sethev 7y ago
I was more curious on why they thought that would increase availability. It didn't seem like it would be constructive to speculate about why they chose that. AWS doesn't guarantee that failures within an AZ are independent of each
155.
by sethev 7y ago
Do you think you're actually gaining availability with an AZ + 1 setup?
156.
by sethev 7y ago
Didn't prevent it is closer to my recollection. My first job was on a system that used this idea pretty heavily - what a nightmare! We only got that code stabilized once we removed any sharing (and later removed Access completely).
157.
by sethev 7y ago
Investment seems like the right word to me. It wasn't fundraising for the company, though. It was the owners selling a portion of it to hedge the risk that it might fail (according to the link article). That implies to me that they kep
158.
by sethev 7y ago
That's fair - last time i used C++ in earnest was around 2007. Unless they broke compatibility, it would still be opt-in, though, right? Nice thing about Rust is that the resource management approach is built-in and enforced by default
159.
by sethev 7y ago
I like the fact that Rust has a set of libraries (crates and the standard library) that provide a lot of the features that you end up re-inventing if you stick with C. Even C++ is pretty fractured in this regard. A lot of why this is hard i
160.
by sethev 7y ago
This supports the case the article was making. Clearly the type system in Haskell doesn't prevent it from handling arbitrary data - it's hard to imagine a program more open to change in the input data than a Lisp interpreter. You
161.
by sethev 7y ago
You picked a strange example since so many Lisps were implemented in statically typed languages. Here's one in C (less than 200 lines): https://carld.github.io/2017/06/20/lisp-in-less-than-200-lin... Her
162.
by sethev 7y ago
You know that but your compiler doesn't (generally speaking).
163.
by sethev 7y ago
I thought the article was good and addressed a real point of confusion, as evidenced by the two included comments (from Reddit and HN). You can consume arbitrary data using a program written in a statically typed or dynamically typed langu
164.
by sethev 7y ago
You should read the article you linked. "Liebeck suffered permanent disfigurement after the incident and was partially disabled for two years." The fact that people remember "crazy lady didn't know coffee was hot" i
165.
by sethev 8y ago
Jepsen has done a good job of showing that a lot of systems that focused on the hard part failed to do the "easy" part.
166.
by sethev 8y ago
Thought experiment is the right term for it. It applies equally to a brain if you think that the chemical and electrical processes in the brain are identical to understanding. Searle believes that consciousness is a fundamental fact.
167.
by sethev 8y ago
The point is he could have retained ownership of Vanguard itself.
168.
by sethev 8y ago
Sure, it's similar (no coincidence, as you point out). Most people in the US don't directly participate in the ACA marketplace. For all the talk about freedom of choice, i'd venture that the majority of Americans have no real
169.
by sethev 8y ago
In Switzerland, the basic insurance plan is defined by the government and everybody is required to participate in at least that plan. Everybody has the same deductible and out of pocket maximum and premiums (as paid by individuals) are capp
170.
Applied Cryptography Engineering (2013)(sockpuppet.org)
79 points by sethev 8y ago|9 comments
171.
by sethev 8y ago
Obligatory link to Falsehoods Programmers Believe about Names: https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-...
172.
by sethev 8y ago
I don't know the specifics of the Go standards but semantic versioning doesn't add anything if you don't break your consumers.
173.
by sethev 8y ago
The founder and largest individual shareholder of a corporation announcing that they're considering taking the company private is definitely news.
174.
by sethev 8y ago
The creator of sonic pi gave a keynote talk at my company's dev conference last month. He was pretty clear that it was originally created to help teach children programming. It does have other audiences now though. He mentioned that he
175.
by sethev 8y ago
I doubt that. I live in Kansas City and the public shock was pretty much immediate - even before it was reported who it was. There's no way that ride was staying open. Also, the park is still operating just not that ride.
176.
by sethev 8y ago
I think one of the biggest problems is having to start (almost) from scratch. You can run pretty much any software you want in a container - even if you just have the binary. With a unikernel, you'd have to write the software specifica
177.
by sethev 8y ago
The big problems in social media are already decentralized. Tribalism (also termed as filter bubbles), the spread of false information, and outrage as a mechanism of virality all originate with people in a distributed fashion. Facebook sell
178.
by sethev 9y ago
Nobody’s claiming that money laundering somehow modifies the money itself.
179.
by sethev 9y ago
Seems an odd question. Do have some reason to think it was speeding?
180.
by sethev 9y ago
It's the indefinite funding of a fixed obligation that seems weird to me. If my manager said, "I'm sorry I can't pay your $5000 bonus next year because we don't have $111,000 set aside in a fund earning 4.5% in perp

More ›