Shoop

7 ms·

1.
by Shoop 4mo ago
I think robustness is helped a lot by the fact that it’s the production compiler used at Jane Street
2.
by Shoop 1y ago
Yes! https://arxiv.org/abs/2502.17424
3.
The Saga of Multicore OCaml [video](youtube.com)
7 points by Shoop 1y ago|0 comments
4.
by Shoop 1y ago
> I suspect this is the real reason Clojure was created, I bet Rich was just really bored. Rich has written about the history and motivation behind Clojure here: https://dl.acm.org/doi/pdf/10.1145/3386321
5.
Making OCaml Safe for Performance Engineering [video](youtube.com)
13 points by Shoop 1y ago|3 comments
6.
Regarding Some Aspects of the Present Economic Financial System (2018)(cftc.gov)
3 points by Shoop 2y ago|0 comments
7.
by Shoop 2y ago
What are the consistency semantics?
8.
by Shoop 2y ago
What are some examples of those tasks? It’s difficult for me to tell what problems this is intended to solve
9.
The Games Behind Your Government's Next War [video](youtube.com)
4 points by Shoop 2y ago|0 comments
10.
by Shoop 2y ago
Puzzmo Typeshift is a similar game: https://www.puzzmo.com/play/typeshift/
11.
by Shoop 2y ago
Didn’t 538 give Trump an ~1-in-3 chance of winning?
12.
by Shoop 2y ago
I’m guessing that the synchronous update architecture they’re using only really only makes sense for persistent memory and that this couldn’t easily be adapted to conventional hard drives or SSDs?
13.
by Shoop 2y ago
Can anyone summarize the major differences between this and Scaling Monosemanticity?
14.
China's Policy Failures(asteriskmag.com)
3 points by Shoop 3y ago|0 comments
15.
How We Can Control AI(wsj.com)
1 points by Shoop 3y ago|0 comments
16.
Introduction to free software and the liberation of cyberspace (2014)(fsf.org)
11 points by Shoop 3y ago|2 comments
17.
by Shoop 3y ago
How does two way isolation work? How do you prevent the host kernel (which presumably has full control of the hardware?) from inspecting the guest VM?
18.
Intelligence Testing(asteriskmag.com)
2 points by Shoop 3y ago|0 comments
19.
by Shoop 3y ago
OCaml has a separate language for module interfaces where types are required. Even better, it allows you to abstract over types and make them entirely opaque, so that users of an interface never have to look at any of the implementation det
20.
by Shoop 3y ago
Related email by John Carmack: http://number-none.com/blow/blog/programming/2014/09/26/carm... Discussion: https://news.ycombinator.com/item?id=12120752
21.
How does QueryPerformanceCounter measure time? [video](youtube.com)
4 points by Shoop 3y ago|1 comments
22.
by Shoop 4y ago
I believe the paper handles this case with the LastUsed offset in the implementation of cons. > During the consing of (9) the pointer offset is compared with the last used offset, LastUsed. If it is the same and less than the block size
23.
Zig is becoming more production-worthy(zigmonthly.org)
126 points by Shoop 4y ago|72 comments
24.
by Shoop 4y ago
For reference: Tracking issue for overall progress on the self-hosted compiler: https://github.com/ziglang/zig/issues/89 Zig's New Relationship with LLVM: https://kristoff.it/blog/zi
25.
by Shoop 5y ago
Functional reactive programming?
26.
by Shoop 5y ago
"The GNU Affero General Public License is a modified version of the ordinary GNU GPL version 3. It has one added requirement: if you run a modified program on a server and let other users communicate with it there, your server must als
27.
by Shoop 5y ago
Scott stopped working on HN about 18 months ago. https://news.ycombinator.com/item?id=25055115
28.
Dick Sites – “Data Center Computers: Modern Challenges in CPU Design” [video](youtube.com)
2 points by Shoop 5y ago|0 comments
29.
by Shoop 5y ago
Archived link: https://archive.is/UOENL
30.
by Shoop 5y ago
Could you change the title to "The Joel Test: 12 Steps to Better Code (2000)"? The guidelines [0] ask that you use the original title and not editorialize. Usually people append the year in parentheses for older posts. https:&#x2

More ›