Hacker News: let_rec

New comment by let_rec in "Rethinking Database Programming"

let_rec — Tue, 18 Aug 2026 13:01:29 +0000

It seems like this is a few things:

1. An Elm-like programming language that lives in .db files

2. A compiler from this language to strongly-typed database procedures in a target backend language

This has more in common with a semantic layer than an ORM.

What you gain is a shared language that connects the table definitions (say a SQL migrations folder) and your API language (often handwritten SQL). This can be type checked and optimized for you.

But for me the big question is what functionality do you lose? Can I express everything that PostgreSQL can?

New comment by let_rec in "Incident with Github.com"

let_rec — Mon, 17 Aug 2026 15:26:45 +0000

HN is likely a better source than GH status...

The Vietnam of Computer Science (2006)

let_rec — Wed, 12 Aug 2026 13:52:02 +0000

Article URL: https://web.archive.org/web/20220823105749/http://blogs.tedneward.com/post/the-vietnam-of-computer-science/

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

Points: 3

# Comments: 0

New comment by let_rec in "French firefighters face 'pyrocumulonimbus' for first time"

let_rec — Mon, 27 Jul 2026 10:54:29 +0000

Agree about global warming.

However, Fontainebleau forest has many pine trees.

In fact there is an invasive caterpillar there that lives in pine trees https://en.wikipedia.org/wiki/Pine_processionary

The caterpillars are also a consequence of warming.

New comment by let_rec in "We have proof automation now"

let_rec — Mon, 27 Jul 2026 10:26:22 +0000

To someone completely outside the field: why is creating a formal verification of an existing proof so hard?

1. Convert the natural language proof steps into formal language

2. Pass it to the solver to verify the steps

Genuinely curious!

New comment by let_rec in "Nokia’s years of mobile-phone supremacy ended in an afternoon"

let_rec — Mon, 27 Jul 2026 09:18:56 +0000

> Nokia had active developer relations; at WhatsApp we were planning to build for the N9, but ended up not doing it, because the platform was cancelled before the retail release and the retail release was limited.

WhatsApp was on Windows Phone though.

Instagram was not on Windows Phone, which hurt it, but there is no indication it would have come to MeeGo either.

Logic 2010

let_rec — Mon, 27 Jul 2026 09:17:26 +0000

Article URL: https://logiclx.humnet.ucla.edu/

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

Points: 2

# Comments: 0

New comment by let_rec in "Nokia’s years of mobile-phone supremacy ended in an afternoon"

let_rec — Mon, 13 Jul 2026 17:25:57 +0000

Why do people assume that MeeGo would have been a big success?

New comment by let_rec in "My thoughts on the Bun Rust rewrite"

let_rec — Thu, 09 Jul 2026 11:44:53 +0000

The post reads like someone who is quite upset but trying to maintain professionalism. The mask slips throughout.

The points seem valid, however, and I will likely steer clear of Bun.

New comment by let_rec in "Mark Zuckerberg directed Meta to create a prediction markets app"

let_rec — Wed, 24 Jun 2026 14:42:53 +0000

Let's not forget the cryptocurrency play (Libra)

New comment by let_rec in "Steam Machine launches today"

let_rec — Mon, 22 Jun 2026 20:01:41 +0000

> Yes, Steam Machine is optimized for gaming, but it's still your PC. Install your own apps, or even another operating system. Who are we to tell you how to use your computer?

Valve gets it

New comment by let_rec in "Show HN: HelixDB – A graph database built on object storage"

let_rec — Wed, 17 Jun 2026 14:51:20 +0000

Probably? Other clouds implement the S3 API

Immutability Changes Everything (2016) [pdf]

let_rec — Mon, 15 Jun 2026 16:32:38 +0000

Article URL: https://www.cidrdb.org/cidr2015/Papers/CIDR15_Paper16.pdf

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

Points: 4

# Comments: 0

New comment by let_rec in "Show HN: Homebrew 6.0.0"

let_rec — Thu, 11 Jun 2026 17:59:47 +0000

Does Homebrew have good support for exact (and older) versions of packages now?

New comment by let_rec in "Show HN: HelixDB – A graph database built on object storage"

let_rec — Thu, 11 Jun 2026 08:58:57 +0000

This seems like a great idea.

What reassurance can you offer devs that are hesitant to try a new data-store?

New comment by let_rec in "How's Linear so fast? A technical breakdown"

let_rec — Mon, 08 Jun 2026 09:49:55 +0000

Hang on...

What if this happens?

1. User makes a mutation

2. UI updates instantly

3. User closes the app before sync happens

4. User comes back and is surprised to see that their mutation did not actually happen

The loading / error / success states in a UI serve a purpose.

New comment by let_rec in "Eric Schmidt speech about AI booed during graduation"

let_rec — Mon, 18 May 2026 12:39:56 +0000

If I use Google Search to do a search and I get an AI answer that I scroll past, do I count an AI user?

The numbers are not reliable.

New comment by let_rec in "Jank now has its own custom IR"

let_rec — Mon, 18 May 2026 08:41:31 +0000

On the other hand, the JVM spec may prohibit some optimizations you are after. It's very dynamic after all!

New comment by let_rec in "Sawe becomes first athlete to run a sub-two-hour marathon in a competitive race"

let_rec — Mon, 27 Apr 2026 10:15:16 +0000

But if you could only achieve it by adding the shoe isn't that a bit hollow?

If you are a 3:02 marathoner in normal shoes then run a 3:00 in a super shoe, you are still a 3:02 marathoner in normal shoes.

New comment by let_rec in "Union types in C# 15"

let_rec — Wed, 08 Apr 2026 12:16:16 +0000

> ad-hoc unions (on the fly from existing types) that are possible in F#

Are you sure? This is a feature of OCaml but not F# IIUIR

Edit: https://github.com/fsharp/fslang-suggestions/issues/538