Hacker News: Shoop

New comment by Shoop in "O(x)Caml in Space"

Shoop — Fri, 15 May 2026 13:13:28 +0000

I think robustness is helped a lot by the fact that it’s the production compiler used at Jane Street

New comment by Shoop in "The new science of “emergent misalignment”"

Shoop — Fri, 15 Aug 2025 01:09:07 +0000

Yes! https://arxiv.org/abs/2502.17424

The Saga of Multicore OCaml [video]

Shoop — Fri, 25 Jul 2025 00:31:57 +0000

Article URL: https://www.youtube.com/watch?v=XGGSPpk1IB0

Comments URL: https://news.ycombinator.com/item?id=44678055

Points: 7

# Comments: 0

New comment by Shoop in "Why I ever wrote Clojure"

Shoop — Sat, 03 May 2025 17:28:59 +0000

> 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

Making OCaml Safe for Performance Engineering [video]

Shoop — Sat, 05 Apr 2025 13:47:51 +0000

Article URL: https://www.youtube.com/watch?v=g3qd4zpm1LA

Comments URL: https://news.ycombinator.com/item?id=43593508

Points: 13

# Comments: 3

Regarding Some Aspects of the Present Economic Financial System (2018)

Shoop — Sun, 16 Mar 2025 10:36:32 +0000

Article URL: https://www.cftc.gov/PressRoom/SpeechesTestimony/giancarloresponsetobollettino072118

Comments URL: https://news.ycombinator.com/item?id=43378012

Points: 3

# Comments: 0

New comment by Shoop in "Launch HN: Regatta Storage (YC F24) – Turn S3 into a local-like, POSIX cloud fs"

Shoop — Mon, 18 Nov 2024 17:34:28 +0000

What are the consistency semantics?

New comment by Shoop in "Launch HN: Patched (YC S24) – AI workflows for post-code tasks"

Shoop — Thu, 31 Oct 2024 19:46:23 +0000

What are some examples of those tasks? It’s difficult for me to tell what problems this is intended to solve

The Games Behind Your Government's Next War [video]

Shoop — Sun, 08 Sep 2024 15:54:43 +0000

Article URL: https://www.youtube.com/watch?v=lYaDXZ2MI-k

Comments URL: https://news.ycombinator.com/item?id=41481129

Points: 4

# Comments: 0

New comment by Shoop in "Show HN: Word Slicer"

Shoop — Fri, 26 Jul 2024 20:27:21 +0000

Puzzmo Typeshift is a similar game: https://www.puzzmo.com/play/typeshift/

New comment by Shoop in "Joe Biden stands down as Democratic candidate"

Shoop — Mon, 22 Jul 2024 01:05:20 +0000

Didn’t 538 give Trump an ~1-in-3 chance of winning?

New comment by Shoop in "SquirrelFS: Using the Rust compiler to check file-system crash consistency"

Shoop — Sun, 23 Jun 2024 23:21:52 +0000

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?

New comment by Shoop in "Extracting concepts from GPT-4"

Shoop — Thu, 06 Jun 2024 20:13:29 +0000

Can anyone summarize the major differences between this and Scaling Monosemanticity?

China's Policy Failures

Shoop — Mon, 05 Feb 2024 21:41:40 +0000

Article URL: https://asteriskmag.com/issues/05/china-s-policy-failures

Comments URL: https://news.ycombinator.com/item?id=39267637

Points: 3

# Comments: 0

How We Can Control AI

Shoop — Sat, 27 Jan 2024 00:11:03 +0000

Article URL: https://www.wsj.com/tech/ai/how-we-can-control-ai-327eeecf

Comments URL: https://news.ycombinator.com/item?id=39150725

Points: 1

# Comments: 0

Introduction to free software and the liberation of cyberspace (2014)

Shoop — Sat, 16 Dec 2023 02:31:21 +0000

Article URL: https://www.fsf.org/blogs/rms/20140407-geneva-tedx-talk-free-software-free-society/?pk_campaign=RMSTEDx&pk_kwd=social_media

Comments URL: https://news.ycombinator.com/item?id=38661209

Points: 11

# Comments: 2

New comment by Shoop in "Virtual Machine as a core Android Primitive"

Shoop — Wed, 06 Dec 2023 03:10:38 +0000

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?

Intelligence Testing

Shoop — Sun, 12 Nov 2023 01:06:44 +0000

Article URL: https://asteriskmag.com/issues/04/intelligence-testing

Comments URL: https://news.ycombinator.com/item?id=38236249

Points: 2

# Comments: 0

New comment by Shoop in "OCaml: a Rust developer's first impressions"

Shoop — Sun, 12 Nov 2023 00:47:22 +0000

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 details.

New comment by Shoop in "Linear code is more readable"

Shoop — Fri, 15 Sep 2023 03:37:46 +0000

Related email by John Carmack: http://number-none.com/blow/blog/programming/2014/09/26/carm...

Discussion: https://news.ycombinator.com/item?id=12120752