zenhack

17 ms·

181.
by zenhack 9y ago
So, from an executution model standpoint Rust is pretty close to C++ -- manual memory management, with RAII as the usual strategy for managing things. The big novelty is that the type system actually enforces this, so you can't have da
182.
by zenhack 9y ago
Weren't the ME vulnerabilities remotely exploitable? If so that's not the same at all as what we're talking about here.
183.
by zenhack 9y ago
I kinda balked at that too, but I think what the author was getting at is their scarcity is "real", in the sense that unlike fiat currency, there's nobody who can just print more whenever they see fit. I don't really agr
184.
by zenhack 9y ago
That, and the way gpg is used for apt provides no confidentiality at all, just authenticity & integrity. Someone who can see the traffic will still know which packages you've downloaded.
185.
by zenhack 9y ago
HKT would somewhat ease the type signature question; as I understand it in the rust community being able to parametrize over ownership/mutability is the big selling point that gets discussed. You could instead have a single Fn<Foo&g
186.
by zenhack 9y ago
There's definitely a lot of syntax that makes the language look bigger than it is. When I realized Rust's oo-style dot notation/self/Self was just sugar for plain old function calls, suddenly a big chunk of the language
187.
by zenhack 9y ago
One of the earliest memories I have of really enjoying math was a unit on modular arithmatic from my 6th grade math class. The teacher introduced the concept with a hands of a clock metaphor, gave us a whole bunch of drill problems, and tol
188.
by zenhack 9y ago
Having another interest to tie it to (especially if it's something you're more comfortable with) is huge. I have a CS degree, and for me, what bridged the gap into being comfy with "pure" mathematics (and appreciating it
189.
by zenhack 9y ago
Webfinger, which the activitypub standard builds on, gives you something like this, but ultimately the provider has to actually support webfinger. This was a neat hack though: https://github.com/bradfitz/webfist But it
190.
by zenhack 9y ago
I don't think not knowing enough about computers to realize that "delete" doesn't actually delete the data qualifies someone as an idiot.
191.
by zenhack 9y ago
It's worth noting that while monads themselves naively introduce a data dependency, that doesn't necessarily force evaluation order. If the compiler is smart enough and sees something like: foo >>= \_ -> bar It i
192.
by zenhack 9y ago
Yeah, this is Haskell's biggest footgun by far. The language gives you tools to control evaluation order (including some neat libraries that let you parallelize things without much disruption to the logic of your program), but there ar
193.
by zenhack 9y ago
One big advantage of stack machines is that they tend to be better on code size, which very much matters when you're transferring code over the network. I expect other parts of the design make it easier to JIT; the lack of arbitrary go
194.
by zenhack 9y ago
Worth noting, gopherjs has been around forever, and is mature: https://github.com/gopherjs/gopherjs ...and already has a reasonable js interop story, whereas my understanding is that calling the dom api from wasm is no
195.
by zenhack 9y ago
I hadn't previously looked at lattice crypto in much detail, and was not aware the keys were as big as they are; thanks for pointing that out. That said, a big performance hit isn't necessarily the same thing as being practically
196.
by zenhack 9y ago
Quantum computers do not break "all known practically useful cryptography". For symmetric crypto, some schemes will have to be dropped, and others will require larger keys. But we can (for example) just keep right on using AES 256
197.
by zenhack 9y ago
First, I'll point out that this is not a "liberal" thing; polling has revealed that republican voters are by and large for keeping the net neutrality rules as well. This isn't a left vs right issue, it's basically b
198.
by zenhack 9y ago
This was posted to hackernews a couple months ago: https://arstechnica.com/tech-policy/2017/12/att-says-it-neve... As the article points out the kind of abuses people are talking about are nit theoretical; th
199.
by zenhack 9y ago
If you're at all interested in taking the red pill: elm and reason/ocaml are some things worth checking out. There is so much more out there than the C family tree.
200.
by zenhack 9y ago
Ah, point. That would probably need to change to relax the one mutable reference constraint, if you wanted to.
201.
by zenhack 9y ago
I will contest the idea that you don't want static typing for web dev. Curious, what statically typed languages do you have experience with? I ask because you only mention C# and Java, and I often find people who form their ideas about
202.
by zenhack 9y ago
Lots of (most?) rust libraries are "not thread safe" in the sense that those data structures aren't though. The reason this is ok is that to actually share a piece of data across threads it needs to implement Sync (which requ
203.
by zenhack 9y ago
The type system is probably not the bottleneck in any of those cases. As a sibling comment points out, ocaml has very good compile times, and the inference problem is basically the same as in Haskell. In the case of rust, I suspect one of t
204.
by zenhack 9y ago
People do tend to have a mental block where the possibility of fixing one of their dependencies is something that wouldn't even occur to them. To the point where they'll implement really complex workarounds in their own code inste
205.
by zenhack 9y ago
Yeah, legacy is probably an entirety different beast.
206.
by zenhack 9y ago
I think the hiring woes problem for languages like this is a reasonable hypothesis, but I've never seen any actual evidence for it. I constantly hear from folks who are worried that they will have this problem, and frequently hear folk
207.
by zenhack 9y ago
Yeah, but there are also often a lot of things that just genuinely don't make sense anymore. Xterm is packed with support for an insane number of old tty devices that no one needs. There are plenty of terminal emulators that successful
208.
by zenhack 9y ago
I'm looking at this on mobile, and the cookie policy footer is taking up more than half the screen. Oh the irony.
209.
by zenhack 9y ago
It does. I also don't have flash installed, which probably helps. Can't remember the last time not having it caused a problem; good riddance.
210.
by zenhack 9y ago
rmrfrmrf made an allusion to this below (which I also linked to in another nearby comment): https://byorgey.wordpress.com/2009/01/12/abstraction-intuiti... The short version is: don't stare at explanatio

More ›