How to choose between Hindley-Milner and bidirectional typing (thunderseethe.dev) | HN Screenshots

YHacker Newsscreenshots

Screenshot of thunderseethe.dev: How to choose between Hindley-Milner and bidirectional typing

First screen, captured 8 months ago.

Looks similar

Screenshot of davecturner.github.io: TLA+ in Isabelle/HOL

TLA+ in Isabelle/HOL (davecturner.github.io)

71 points by kalaracey 2 years ago | 2 comments

Screenshot of rabbitictranslator.com: You can contribute to KDE with non-C++ code

You can contribute to KDE with non-C++ code (rabbitictranslator.com)

86 points by jrepinc 2 years ago | 15 comments

Screenshot of danieljharvey.github.io: Compiling a Functional Language to LLVM (2023)

Compiling a Functional Language to LLVM (2023)(danieljharvey.github.io)

54 points by PaulHoule 1 year ago | 0 comments

Screenshot of lcamtuf.substack.com: Sierpiński Triangle? In My Bitwise and?

Sierpiński Triangle? In My Bitwise and?(lcamtuf.substack.com)

204 points by guiambros 1 year ago | 49 comments

Screenshot of ankursethi.com: I built a programming language using Claude Code

I built a programming language using Claude Code (ankursethi.com)

101 points by GeneralMaximus 7 months ago | 146 comments

Screenshot of alperenkeles.com: LLMs could be, but shouldn't be compilers

LLMs could be, but shouldn't be compilers (alperenkeles.com)

104 points by alpaylan 8 months ago | 112 comments