vmchale

55 ms·

601.
by vmchale 8y ago
> Also depending on how you define "dependent types" - there are a few competing definitions - Zig has them. How is it ambiguous? Dependent type systems/algorithms can be weaker than desired, but there's no way you ca
602.
by vmchale 8y ago
> "linear affine types" It's "linear/affine types," not "linear affine types". Also: Zig doesn't have linear or affine types. You seem to be quite confused about PL theory, which frankly does
603.
by vmchale 8y ago
> modern language features that encourage inherent reliability and safety of code It's still missing linear/affine types, no? To me that's inexcusable given the current offering.
604.
by vmchale 8y ago
It stores your browsing history on Google's servers.
605.
by vmchale 8y ago
> But tests are so powerful and so cheap... Most evidence suggests the opposite, though tests have become better in time.
606.
by vmchale 8y ago
> Option can still be NULL ("None" in rust), wrapping NULL in a struct doesn't provide any safety. The safety of Option wrapper types is from the other language features (like rust's "match") The advantage h
607.
by vmchale 8y ago
Safari is fine. The real problem is Chrome, which is just plain user-hostile.
608.
by vmchale 8y ago
Pretty shitty that that's going to Chrome tbh. Especially with the new developments.
609.
by vmchale 8y ago
> The issue with optimizability in C is mostly solved by the C99 `restrict` keyword I've seen people claim this, but I've yet to see optimizing compilers for C actually match those for Fortran.
610.
by vmchale 8y ago
> or maybe Rust if they figure out their HPC story. Does rustc currently have the ability to implement the right optimizations? One of the big things that FORTRAN can do is prevent aliasing. Can you prevent aliasing in LLVM?
611.
by vmchale 8y ago
Being built on newer tech isn't an advantage from a customer POV. It's only an advantage when the newer tech is better, and tbh I have a hard time believing that you'd match the performance and security of a mainframe that ea
612.
by vmchale 8y ago
It's only a market opportunity if the software is bad from a customer POV. There's a lot of engineering that goes into/went into mainframes.
613.
by vmchale 8y ago
Yes, that is correct, you missed the point. You don't understand what generics are.
614.
by vmchale 8y ago
That's a terrible example. You're using two different data structures. A hashmap is not the generic version of an array.
615.
by vmchale 8y ago
No, this is a completely standard compiler optimization. GHC already has it . Using (=<<) is not slower than concatMap on code you write today .
616.
by vmchale 8y ago
I just avoid user-hostile sites tbh. I don't go to expensive restaurants so if it's a miss I just avoid it in the future.
617.
by vmchale 8y ago
> generic code is replaced by its concrete instances, which are faster If you're using a shitty compiler, yes.
618.
by vmchale 8y ago
I mean CBP deserves way more shit than it's getting, but I don't really think hating ICE is that weird.
619.
by vmchale 8y ago
It's also worth noting that are clear examples of closed-source software that essentially acted like malware. I've not heard of any such examples with IP cores.
620.
by vmchale 8y ago
Yup. If you have an engineer who's paid $100 000 a year with three weeks vacation, that's 407.05 a day. It starts to make sense that you'd buy $4000 IP for an Ethernet core, unless by some ungodly powers they can write that i
621.
by vmchale 8y ago
> I would attribute the weird FPGA dev attitudes to Stockholm syndrome. I always get the most mind boggling replies in defense of the evil vendors when I criticize FPGA’s embarrassingly small amount of freedom. I'm not sure you und
622.
by vmchale 8y ago
Funnily enough, ATS has pointer arithmetic and it can be safe if you declare the appropriate types. It seems kind of nuts to say array indexing isn't just a fancier version of pointer arithmetic.
623.
by vmchale 8y ago
What are you serving? Some of the Rust frameworks for backend should be able to do more than 1000req/s, but it depends what you're doing.
624.
by vmchale 8y ago
I don't actually think Rust has that many stumbling blocks compared to other programming languages. It's a pain in the ass compared to Haskell but not e.g. Java.
625.
by vmchale 8y ago
Thank you! Always nice to see Haskell on the front page of HN.
626.
by vmchale 8y ago
> Either Apple was hacked, they know, and are denying, which is evidence of them being under the thumb of U.S. national security. You'd think the accusers would be able to produce the chip if that were the case. > Or, they were h
627.
by vmchale 8y ago
Are we still paying attention to MangoDB
628.
by vmchale 8y ago
> Not to mention, if this hardware had been trying to phone home, it's safe to assume it would have set off some kind of an alert at at least one of these places. Maybe at some big companies, but not anywhere I've worked. I har
629.
by vmchale 8y ago
> I'd assume it's standard practice for journalists to confirm that multiple sources aren't essentially from the same source I do not believe it is.
630.
by vmchale 8y ago
You can absolutely get some top-tier Haskell talent for $200k/year :)

More ›