nequo

12 ms·

151.
Ask HN: What indoor CO2 monitor do you recommend?
48 points by nequo 2y ago|68 comments
152.
Reference Counting with Linear Types(github.com)
53 points by nequo 2y ago|6 comments
153.
by nequo 2y ago
Life expectancy for men in the US is about 74 to 76 years.[1] In Massachusetts, it's about 76 to 78. So this does not seem unusual at all. [1] https://en.wikipedia.org/wiki/List_of_U.S._states_and_territ...
154.
Control Structures(xavierleroy.org)
2 points by nequo 2y ago|0 comments
155.
by nequo 2y ago
I’d say they might need one in Europe where they are allowed to walk home from school alone, in case something happens. But in the US where school buses take kids almost door to door,[1] there’s no clear need for phones. Edit: [1] I am simp
156.
by nequo 2y ago
Do you also suspect homicidal money making motives behind Z3, Lean, and F*? It seems more likely to me that they just want some useful knowledge out of these projects that they can integrate into a product that actually sells.
157.
What happens to our breath when we type, tap, scroll(npr.org)
289 points by nequo 2y ago|130 comments
158.
by nequo 2y ago
There's a working group that just formed to improve OCaml's Windows support: https://discuss.ocaml.org/t/ocaml-windows-working-group/1475...
159.
by nequo 2y ago
The world is much less black and white than you’d like to see it. Functions in Haskell including Prelude can throw exceptions which is not reflected in the type signature of the function. That is an effect that makes seemingly pure function
160.
by nequo 2y ago
This seems like a meaningless criticism when it comes to immutability in Clojure. You can have mutability in Haskell too. That doesn’t make it as unsafe as memory management in C++.
161.
by nequo 2y ago
Isn’t this a big reason we have syntax highlighting? You can use color and styling to give you those hints that are otherwise implicit in text.
162.
by nequo 2y ago
Some Scheme and Lisp dialects have that. For example, Racket often uses square brackets instead of parentheses for things like clauses of a cond expression, and Clojure uses square brackets for vector literals and curlies for hash map liter
163.
by nequo 2y ago
That’s interesting because F#’s OOP, as someone who knows neither C# nor Java, makes it more intimidating to me than OCaml. Also interesting that when FP is mentioned, Hindley-Milner is implicitly understood to be part of FP too even though
164.
Comparing OCaml and Standard ML (2008)(adam.chlipala.net)
60 points by nequo 2y ago|26 comments
165.
by nequo 2y ago
> it is Swift, with non copyable types that will be used for systems services and firmware When you mention firmware, do you know of examples where Swift is used for this, or is this an aspiration? Are you talking about Swift for Arduino
166.
Millet: A language server for Standard ML (2022)(azdavis.net)
14 points by nequo 2y ago|0 comments
167.
by nequo 2y ago
You are a reasonable person. I don’t know why you are arguing that one approach fits every use case. In your earlier post above, you declared a sweet spot that fits everyone. All I’m saying is that the sweet spot depends on the application.
168.
by nequo 2y ago
I assume you don’t host anything that could be useful to the 1.5 to 2 billion people that you’re blocking.
169.
by nequo 2y ago
> We also find that simply cracking the windows in the winter makes a large and measurable difference in CO2, but not with heat. Have you maybe done measurements of what difference between the inside and outside temperature is enough to
170.
by nequo 2y ago
Not every use case is the same as yours though? What I can tell you is that there are tasks that I cannot do in Python because my work would take 70 times longer to finish than if I did it in Rust. And that’s not a delay on the order of sec
171.
Measuring the effect of pull requests on OCaml's compilation time (2021)(polychoron.fr)
2 points by nequo 2y ago|0 comments
172.
by nequo 2y ago
Whether that’s the sweet spot really depends on what your goal is. The languages that you mention are several times slower than Rust for non-IO bound stuff (in the computer language benchmarks game). If this speed penalty matters for what y
173.
by nequo 2y ago
Where have the masters gone from Python?
174.
Kani: A bit-precise model checker for Rust(github.com)
1 points by nequo 2y ago|0 comments
175.
Notes on the expression problem and type design (2018)(tedinski.com)
2 points by nequo 2y ago|0 comments
176.
by nequo 2y ago
This idea is not new nor uniquely Canadian. The purpose of all public media is to make programming and reporting possible that is seen as socially valuable but an advertising/click/like-driven business model cannot sustain. The mo
177.
by nequo 2y ago
That may well be the difference between “programming” and “software engineering.”
178.
Teach Yourself Scheme in Fixnum Days(ds26gte.github.io)
2 points by nequo 2y ago|0 comments
179.
Proving leftpad correct two-dozen different ways(github.com)
2 points by nequo 2y ago|0 comments
180.
Gerald Sussman: Programming is (should be) fun (2022) [video](youtube.com)
335 points by nequo 2y ago|110 comments

More ›