Coq typeclass resolution is Turing-complete (thaliaarchi.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of thaliaarchi.github.io: Coq typeclass resolution is Turing-complete

First screen, captured 3 years ago.

Looks similar

Screenshot of seriot.ch: Jira Is Turing-Complete

Jira Is Turing-Complete (seriot.ch)

283 points by vinhnx 5 months ago | 132 comments

Screenshot of spakhm.com: Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing (spakhm.com)

5 points by lioeters 10 months ago | 1 comments

Screenshot of panadestein.github.io: Scheming a mise-en-abîme in BQN

Scheming a mise-en-abîme in BQN (panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments

Screenshot of seriot.ch: Unicode's transliteration rules are Turing-complete

Unicode's transliteration rules are Turing-complete (seriot.ch)

119 points by beefburger 3 months ago | 31 comments

Screenshot of blog.gustavoleite.me: Adding a new instruction to RISC-V back end in LLVM

Adding a new instruction to RISC-V back end in LLVM (blog.gustavoleite.me)

28 points by Bogdanp 1 year ago | 0 comments

Screenshot of divy.work: Turbocall – Just-in-time compiler for Deno FFI

Turbocall – Just-in-time compiler for Deno FFI (divy.work)

80 points by undefined_void 2 years ago | 10 comments