nequo

12 ms·

91.
by nequo 2y ago
Adding to your list, Z3, Lean, F*, Koka are all non-trivial I think.
92.
by nequo 2y ago
How do you represent sum types in C# today? Can enum members hold records as data, or do you do it differently?
93.
The Functional Essence of Imperative Binary Search Trees(microsoft.com)
1 points by nequo 2y ago|0 comments
94.
by nequo 2y ago
Clearly I misunderstood you. Thanks for clarifying it!
95.
by nequo 2y ago
I gather this sentence sounds unreasonable to you. Why? Were they not the first to ship private browsing mode?
96.
Comparing Rust's Traits and Haskell's Typeclasses (2021)(terbium.io)
4 points by nequo 2y ago|0 comments
97.
Is WebAssembly the Return of Java Applets and Flash? (2018)(steveklabnik.com)
6 points by nequo 2y ago|2 comments
98.
by nequo 2y ago
Maybe you know this better than me. Were non-JVM native languages available 20 years ago for Java applets? My conception of it is that they were pretty much Java only (with Clojure and Scala also available in the later years before they got
99.
by nequo 2y ago
Generally agreed. About WASM, it is not the first sandboxed bytecode interpreter but the first that runs in a browser and that has usable toolchains to compile not “browsers first” languages into it. I’d argue that that’s where the novelty
100.
Parsing POSIX [S]hell (2018) [video](archive.fosdem.org)
2 points by nequo 2y ago|0 comments
101.
by nequo 2y ago
Both Haskell and OCaml can raise exceptions for you, yet most people would say that they are properly typed. The plus function you wrote is not more confusing than any generic function in a language that supports that.
102.
by nequo 2y ago
@dang Could I ask why this topic gets systematically penalized in the HN ranking? There have been 15 submissions so far, I assume partly because previous submissions are not shown on the main page so HN users keep re-submitting it. This top
103.
Rust Jobs Report: June 2024(filtra.io)
1 points by nequo 2y ago|0 comments
104.
by nequo 2y ago
Wait, what do you think that event reveals about TSheets? Rissell would already have cashed out by then, wouldn’t he?
105.
by nequo 2y ago
Besides speed, the other killer feature that Zed focuses on is collaborative editing: https://zed.dev/docs/channels
106.
by nequo 2y ago
This might sound strange but a book on real analysis or topology that walks through proofs could be one.
107.
by nequo 2y ago
> Taking the statement completely out of context, it states : if A implies B, then not A implies not B. This is a logical flaw. The statement in TFA is not that though. Instead, it is "if A implies B, then not A implies not C."
108.
by nequo 2y ago
> one of us is objectively, measurably correct In concrete terms, what are these Haskell idioms, what are their measured performance characteristics, and what are alternative idioms for each that perform better? Is there a write up that
109.
by nequo 2y ago
Concurrency is not the same as parallelism. I’ve understood TFA to mean concurrency when it mentions parallelism. This would explain the presence of JS libraries which could test for concurrency problems in asynchronous code.
110.
The sad state of property-based testing libraries(stevana.github.io)
208 points by nequo 2y ago|121 comments
111.
Comparing the C FFI overhead in various programming languages (2021)(github.com)
5 points by nequo 2y ago|2 comments
112.
Lean 4.9.0(lean-lang.org)
1 points by nequo 2y ago|0 comments
113.
OCaml for the Skeptical (2006)(www2.lib.uchicago.edu)
4 points by nequo 2y ago|0 comments
114.
by nequo 2y ago
Oh yes. I didn't mean it as a criticism aimed at you, I was just trying to understand what the delay is about.
115.
by nequo 2y ago
Friendlier link: https://lite.cnn.com/2024/07/03/business/noncompete-clause-f... The judge only seems to have delayed the ban for the US Chamber of Commerce, the Business Roundtable, the Texas Associatio
116.
Real World Haskell (2008)(book.realworldhaskell.org)
2 points by nequo 2y ago|0 comments
117.
by nequo 2y ago
The current title of this submission is > MIT: Raising State Minimum Wages, Lowering Community College Enrollment The "MIT:" in the title is misleading. This is a published paper in a journal that has little to do with MIT. Nei
118.
by nequo 2y ago
That is very cool! So with ELVM one could put together a C compiler in TeX too? Or transpile Vim into Vim script to self-host it?
119.
Why is Clojure so stable? (2018)(steveklabnik.com)
2 points by nequo 2y ago|0 comments
120.
`do' Unchained (2022) [pdf](lean-lang.org)
1 points by nequo 2y ago|0 comments

More ›