nequo

17 ms·

181.
by nequo 2y ago
I’d like to say that I don’t mind YouTube ads but I actually do much of the time because they try to sell me on an investment scam, some tactical doomsday merch, or fundamentalist religion depending on the theme of the video. Many YouTube a
182.
Scheme Benchmarks (2022)(ecraven.github.io)
2 points by nequo 2y ago|0 comments
183.
Leslie Lamport: programming ≠ coding [video](youtube.com)
3 points by nequo 2y ago|0 comments
184.
Common Lisp Koans (2022)(github.com)
1 points by nequo 2y ago|0 comments
185.
by nequo 2y ago
Once I realized, it was too late to edit the submission. Thanks for posting the GitHub link.
186.
The Common Lisp Cookbook (2007)(github.com)
20 points by nequo 2y ago|4 comments
187.
by nequo 2y ago
If you are drawn to research, look at the affiliations of the authors of papers that you like. There are pockets like INRIA, Galois, Tarides, but it really depends on what research you are interested in.
188.
Scheme for Scientific Computing (2018)(fmnt.info)
4 points by nequo 2y ago|1 comments
189.
by nequo 2y ago
> You can inspect anything, patch anything. When paired with an editor, that means you can only apply part of the code and then rerun part of the code. You can also try stuff and then formalize stuff down in code, no need to rerun the wh
190.
by nequo 2y ago
> There are two Americas, the one that HN folks inhabit and the underclass. > The former is doing great. This is at odds with what I've been hearing on HN and in adjacent places. For a year or two now, people have been saying tha
191.
Is there a BNF grammar of the TeX language? (2010)(tex.stackexchange.com)
61 points by nequo 2y ago|39 comments
192.
by nequo 2y ago
MS hasn't tied the Win32 API to hardware that you can only buy from them as far as I know.
193.
by nequo 2y ago
An antitrust case against Nvidia would not lower prices by forcing Nvidia to sell at lower prices. In fact, selling below cost is itself a practice that can be subject to antitrust scrutiny.[1] Rather, a case like this would lower prices by
194.
by nequo 2y ago
A successful case would presumably reduce Nvidia’s markup on GPUs. That by itself would make GPUs more affordable and more widely available to people working on AI. The problem is if development of those GPUs has such a high fixed cost that
195.
by nequo 2y ago
This is brilliant work, OP! A great use case for machine learning. Why does the arXiv non-exclusive license preclude the inclusion of arXiv figures in the published data set? I don't see how the conditions set by the license imply that
196.
by nequo 2y ago
> best compression and therefore best entropy estimate That's a good point. But the Hutter Prize is for compressing a 1 GB file. On inputs as short as a line of code, gzip doesn't do so badly. For a longer line: $ INPUT=&#x
197.
by nequo 2y ago
Figure 1 in this post, showing algorithmically enforced collusion in the cartel, is shocking to me as someone who hasn't spent any time on Instagram. The authors of the blog post describe their analysis in detail in the "companion
198.
by nequo 2y ago
Reader view works really well for sites like TFA. Firefox and Safari support that out of the box.
199.
by nequo 2y ago
Another way to look at Rust is that it’s a programming language in which the goal is to garbage collect at compile time. I don’t know if it’s the first one to do that. Maybe ATS fits this description too with its linear types, and ATS itsel
200.
What to Learn (2021)(danluu.com)
12 points by nequo 2y ago|3 comments
201.
by nequo 2y ago
I find Rust much better on this front than Haskell. Haskell has a much stronger culture of using library-specific operators and abbreviations for function, variable, and type names, than Rust does. In Rust, you can’t even define a custom op
202.
Italian School of Algebraic Geometry(en.wikipedia.org)
2 points by nequo 2y ago|0 comments
203.
Is "banker's rounding" more numerically stable? (2017)(stackoverflow.com)
1 points by nequo 2y ago|0 comments
204.
by nequo 2y ago
Hoogle is a fantastic idea. It has inspired Loogle for Lean 4 and Sherlodoc for OCaml: https://loogle.lean-lang.org/ https://doc.sherlocode.com/
205.
by nequo 2y ago
Many countries have single payer healthcare systems and that has nothing to do with fascism or communism. Healthcare is rife with asymmetric information by its nature. Doctors and nurses understand the medical services they offer much bette
206.
Ecco Pro(en.wikipedia.org)
3 points by nequo 2y ago|1 comments
207.
The hitchhiker's guide to logical verification (2023) [pdf](browncs1951x.github.io)
2 points by nequo 2y ago|0 comments
208.
by nequo 2y ago
That’s the infuriating thing about it. I suspect the fear of these unexpected parasitic charges in US healthcare is a contributing reason to men’s life expectancy only being 73.5 years.
209.
by nequo 2y ago
It’s difficult when you want to live three lives in one human lifetime, and academia is one of those careers where that might happen to you.
210.
Codifying presence/absence of authentication at type level (2016)(stackoverflow.com)
2 points by nequo 2y ago|0 comments

More ›