frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Tony Hoare has died

https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html
708•speckx•2h ago•72 comments

Show HN: RunAnwhere – Faster AI Inference on Apple Silicon

https://github.com/RunanywhereAI/rcli
42•sanchitmonga22•34m ago•7 comments

Debian decides not to decide on AI-generated contributions

https://lwn.net/SubscriberLink/1061544/125f911834966dd0/
141•jwilk•2h ago•103 comments

I built a programming language using Claude Code

https://ankursethi.com/blog/programming-language-claude-code/
22•GeneralMaximus•1h ago•23 comments

Intel Demos Chip to Compute with Encrypted Data

https://spectrum.ieee.org/fhe-intel
148•sohkamyung•4h ago•50 comments

I put my whole life into a single database

https://howisfelix.today/
336•lukakopajtic•7h ago•157 comments

Meta acquires Moltbook

https://www.axios.com/2026/03/10/meta-facebook-moltbook-agent-social-network
193•mmayberry•3h ago•111 comments

Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs

https://dnhkng.github.io/posts/rys/
127•dnhkng•4h ago•47 comments

Launch HN: Didit (YC W26) – Stripe for Identity Verification

31•rosasalberto•2h ago•33 comments

Online age-verification tools for child safety are surveilling adults

https://www.cnbc.com/2026/03/08/social-media-child-safety-internet-ai-surveillance.html
317•bilsbie•4h ago•186 comments

Rebasing in Magit

https://entropicthoughts.com/rebasing-in-magit
128•ibobev•4h ago•91 comments

I used pulsar detection techniques to turn a phone into a watch timegrapher

https://www.chronolog.watch/timegrapher
16•tylerjaywood•2d ago•3 comments

The Gervais Principle, or the Office According to "The Office" (2009)

https://www.ribbonfarm.com/2009/10/07/the-gervais-principle-or-the-office-according-to-the-office/
223•janandonly•3d ago•95 comments

PgAdmin 4 9.13 with AI Assistant Panel

https://www.pgadmin.org/docs/pgadmin4/9.13/query_tool.html#ai-assistant-panel
64•__natty__•5h ago•19 comments

Sending Jabber/XMPP Messages via HTTP

https://gultsch.de/posts/xmpp-via-http/
39•inputmice•4h ago•5 comments

Yann LeCun's AI startup raises $1B in Europe's largest ever seed round

https://www.ft.com/content/e5245ec3-1a58-4eff-ab58-480b6259aaf1
376•ottomengis•6h ago•200 comments

How many options fit into a boolean?

https://herecomesthemoon.net/2025/11/how-many-options-fit-into-a-boolean/
29•luu•3d ago•14 comments

Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit)

https://github.com/dougdonohoe/ddphotos
41•dougdonohoe•4h ago•11 comments

Amazon is holding a mandatory meeting about AI breaking its systems

https://twitter.com/lukolejnik/status/2031257644724342957
231•lwhsiao•2h ago•152 comments

We are building data breach machines and nobody cares

https://idealloc.me/posts/we-are-building-data-breach-machines-and-nobody-cares/
11•idealloc_haris•2h ago•5 comments

MariaDB innovation: vector index performance

http://smalldatum.blogspot.com/2026/02/mariadb-innovation-vector-index.html
4•gslin•2d ago•0 comments

A New Version of Our Oracle Solaris Environment for Developers

https://blogs.oracle.com/solaris/announcing-a-new-version-of-our-oracle-solaris-environment-for-d...
33•naves•2d ago•19 comments

Caxlsx: Ruby gem for xlsx generation with charts, images, schema validation

https://github.com/caxlsx/caxlsx
57•earcar•4d ago•4 comments

Practical Guide to Bare Metal C++

https://arobenko.github.io/bare_metal_cpp/#_abstract_classes
90•ibobev•3d ago•32 comments

Two Years of Emacs Solo

https://www.rahuljuliato.com/posts/emacs-solo-two-years
329•celadevra_•17h ago•123 comments

LoGeR – 3D reconstruction from extremely long videos (DeepMind, UC Berkeley)

https://loger-project.github.io
120•helloplanets•11h ago•26 comments

Lotus 1-2-3 on the PC with DOS

https://stonetools.ghost.io/lotus123-dos/
162•TMWNN•3d ago•64 comments

$3 ChromeOS Flex stick will revive old and outdated computers

https://9to5google.com/2026/03/10/this-3-chromeos-stick-will-revive-old-and-outdated-computers/
20•pentagrama•1h ago•14 comments

Microsoft Copilot Update Hijacks Default Browser Links

https://reclaimthenet.org/microsoft-copilot-update-hijacks-default-browser-links
14•miohtama•44m ago•1 comments

TCXO Failure Analysis

https://serd.es/2026/03/06/TCXO-failure-analysis.html
89•zdw•3d ago•38 comments
Open in hackernews

Why GADTs matter for performance (2015)

https://blog.janestreet.com/why-gadts-matter-for-performance/
83•hyperbrainer•10mo ago

Comments

rbjorklin•10mo ago
Does anyone have some hard numbers on the expected performance uplift when using GADTs? Couldn't see any mentioned in the article.
ackfoobar•10mo ago
The example here is basically an 8-fold memory saving going from `long[]` from `byte[]` - while still retaining polymorphism (whereas in Java the two are unrelated types).

Hard to say exactly how much performance one would get, as that depends on access patterns.

misja111•10mo ago
The reason that a byte array is in reality layed out as a (mostly empty) long array in Java, is actually for performance. Computers tend to have their memory aligned at 8 byte intervals and accessing such an address is faster than accessing an address that's at an offset of an 8 byte interval.

Of course it depends on your use case, in some cases a compact byte array performs better anyway, for instance because now you're able to fit it in your CPU cache.

john-h-k•10mo ago
But you can load any byte by loading 8 bytes and shift (v cheap)
ackfoobar•10mo ago
> a byte array is in reality layed out as a (mostly empty) long array in Java

Are you saying each byte takes up a word? That is the case in the `char array` in OCaml, but not Java's `byte[]`. AFAIK The size of a byte array is rounded up to words. Byte arrays of length 1-8 all have the same size in a 64-bit machine, then length 7-16 take up one more word.

https://shipilev.net/jvm/objects-inside-out/

cosmic_quanta•10mo ago
Interesting, thanks for posting.

I share the author's frustration with the lack of non-compiler-related examples of GADT uses. It seems like such a powerful idea, but I haven't been able to get a feel for when to reach for GADTs in Haskell

wyager•10mo ago
I often find them handy for locking down admissible states at compile time. Maybe ~10 years ago in a processor design class, I wrote some CPUs in Haskell/Clash for FPGA usage. A nice thing I could do was write a single top-level instruction set, but then lock down the instructions based on what stages of the processor they could exist at.

For example, something like (not an actual example from my code, just conceptually - may be misremembering details):

  data Instruction stages where
   MovLit :: Word64 -> Register -> Instruction '[Fetch, Decode, Execute, Writeback]
   -- MovReg instruction gets rewritten to MovLit in Execute stage
   MovReg :: Register -> Register -> Instruction '[Fetch, Decode, Execute]
   ...
And then my CPU's writeback handler block could be something like:

  writeback :: (Writeback `member` stages) => Instruction stages -> WritebackState -> WritebackState
  writeback (MovLit v reg) = ...
  -- Compiler knows (MovReg _ _) is not required here
So you can use the type parameters to impose constraints on the allowed values, and the compiler is smart enough to use this data during exhaustiveness checks (cf "GADTs Meet Their Match")
anyfoo•10mo ago
Wow, someone else who (used to be) using Clash. I still use it for everything I can in my (hobby) FPGA projects. I'm not sure I've used GADTs, but I've certainly made use of other more "advanced" parts of the type system, like type families.

What you're doing here is pretty cool, I think I will start doing so, too. I have a number of places where I use "undefined" instead. (The "undefined" from the Clash Prelude, which translates into a "don't care" signal state.)

wyager•10mo ago
Clash is awesome, IMO by far the best extant HDL.

I semi-recently used it for this ADAT fiber optic audio codec https://github.com/YagerICS/adat-codec

anyfoo•10mo ago
Awesome. I see you've made full use of Hedgehog as well.
hyperbrainer•10mo ago
Related: https://github.com/ocaml/RFCs/blob/881b220adc1f358ab15f7743d...
goldchainposse•10mo ago
I know Jane Street love OCaml, but you have to wonder how much it's cost them in velocity and maintenance. This is a quant firm blogging about a programming language they're the most famous user of.
pjmlp•10mo ago
It is thanks to the companies like Jane Street that believe there is something else beyond C, that we can have nice toys.

Remember if OCaml wasn't a mature programming language, maybe Rust would not have happened in first place.

kryptiskt•10mo ago
Why do you assume it's a drag for them and not a competitive advantage? I don't know if it's such a terrible thing to use a slightly out of mainstream language, when the standard in the business is to accumulate tens of millions of lines of C++.
ackfoobar•10mo ago
Agreed, indeed I believe they have mentioned that OCaml gets them to ship quicker because they are more confident with the correctness of changes.

But being outside of the mainstream may mean you need to occasionally debug more esoteric stuff: https://gallium.inria.fr/blog/intel-skylake-bug/ I'm sure Jane Street can afford doing that, but I'm not so sure if a small team can.

gjadi•10mo ago
That was an interesting read, thanks. However I fail to see how it's an issue specific to ocaml. It was a bug in the Skylake processor triggered by a special pattern of instructions produced by gcc. Ocaml built with clang was ok because it doesn't used the same pattern. Did I miss something?
ackfoobar•10mo ago
If the JVM encountered the same bug other people would have discovered it before me. Most probably I won't even know the bug exists.
goldchainposse•10mo ago
> Why do you assume it's a drag for them and not a competitive advantage?

Because despite them being very open about it, no one else does it, and every distinguished engineer who pushes a weird tech choice will justify and defend it.

cdaringe•10mo ago
People that haven’t used ocaml think it’s weird. I picked it up casually in 2020. It might not be popular, but it’s certainly not weird. It’s actually quite fantastic. These days I rarely ever use it, but I wish I did!
keybored•10mo ago
Concretely how do you think it’s holding them back? Just by being niche?
anyfoo•10mo ago
There are many things to say about this, but one of those things is that I think you are making the assumption that an (e.g.) C programmer who does not want (or even cannot) get into OCaml would somehow be better for this highly specialized, high-performance, and high-correctness-affine use case, than someone who does. And I'd question that assumption.
fjwufjfa•10mo ago
It's easier to reason in FP plus the python paradox [1] [2].

[1]: https://www.paulgraham.com/pypar.html

[2]: https://blog.janestreet.com/why-ocaml/

codr7•10mo ago
For certain classes of programs, yes. I have a hunch finance is a pretty good fit.
AdieuToLogic•10mo ago
I agree with your point about reasoning when employing Functional Programming (FP).

However, I very much disagree with Graham's 2004 assertion[0]:

  It's a lot of work to learn a new programming language. And 
  people don't learn Python because it will get them a job; 
  they learn it because they genuinely like to program and 
  aren't satisfied with the languages they already know.
It does not require "a lot of work to learn a new programming language" once a person has fluency with at least one. Actually, the difficulty of learning a new programming language is inversely proportional to how many programming languages the person has already learned. Especially if a new programming language is in the same paradigm category as those already known (Procedural, OOP, FP, etc.).

I was a professional software engineer in 2004, when the Graham post was written. To say, "people don't learn Python because it will get them a job ..." was bullshit then just as it is now. The remainder of the quoted sentence is unfounded extrapolation and has the value of same.

0 - https://www.paulgraham.com/pypar.html

lmm•10mo ago
Jane Street has been one of the most successful financial firms of the last 10 years or so, going from a niche hedge fund to a big player. Sounds like OCaml has been working out for them. Certainly I know it's helped them hire a lot of excellent programmers.
cryptonector•10mo ago
What's not clear from reading TFA is whether the compiler monomorphizes TFA's `Compact_array` for the two special cases of it (array of bytes vs. array of anything else), but I'm assuming so. Perhaps if I was familiar with OCaml the answer would be blindingly obvious. What's happening here is that w/ GADTs you can have a _singular_ abstraction with multiple distinct implementations for specific types and others for generic types, and you don't have to think about it too much, except you have to remember to use these type hints in the interface definitions to get the compiler to do what you want.

> Yaron Minsky joined Jane Street back in 2002, and claims the dubious honor of having convinced the firm to start using OCaml.

That's pretty cool. And I guess Stephen Dolan ended up there due to his work on OCaml, which is pretty cool too. (I'd like to meet Stephen some day.)