Programming Languages / CS Theory (2025-08)

Update on my Racket exit (blog.winny.tech)

L 12 pts 7 comments by Johz Aug 24, 2025 lisppractices Programming Languages / CS Theory Productivity / Career / Business thread

Which Programming Language Should I Teach First? (parentheticallyspeaking.org)

L 25 pts 35 comments by mjn Aug 24, 2025 education Programming (General)Programming Languages / CS Theory thread

A Fast Bytecode VM for Arithmetic: The Compiler (abhinavsarkar.net)

L 10 pts 2 comments by abhin4v Aug 24, 2025 compilershaskell Systems / Low-Level / OS Programming Languages / CS Theory thread

Explanation of the Linux-Kernel Memory Consistency Model (raw.githubusercontent.com)

L 4 pts 0 comments by matklad Aug 24, 2025 formalmethodshardwareosdev Systems / Low-Level / OS Programming Languages / CS Theory Maker / DIY / Hardware thread

Seed: Interactive software environment based on Common Lisp (github.com)

HN 121 pts 21 comments by todsacerdoti Aug 24, 2025 Programming Languages / CS Theory thread

seed: Interactive software environment based on Common Lisp (github.com)

L 8 pts 3 comments by veqq Aug 24, 2025 editorslisp Programming (General)Programming Languages / CS Theory thread

Neural Nets vs. Cellular Automata (nets-vs-automata.net)

L 3 pts 2 comments by veqq Aug 24, 2025 aiplt AI / Machine Learning Programming Languages / CS Theory thread

WebR - R in the Browser (docs.r-wasm.org)

L 6 pts 1 comments by notagoodidea Aug 23, 2025 wasm Web Development Programming Languages / CS Theory thread

microdot: The impossibly small web framework for Python and MicroPython (github.com)

L 17 pts 2 comments by rrampage Aug 23, 2025 pythonweb Web Development Programming (General)Programming Languages / CS Theory thread

Fun OCaml 2025 (fun-ocaml.com)

HN 3 pts 0 comments by mrtz Aug 23, 2025 Programming Languages / CS Theory thread

Big O (samwho.dev)

L 77 pts 31 comments by cgrinds Aug 23, 2025 compsci Programming Languages / CS Theory thread

rue: A programming language that is a minimal subset of Rust (github.com)

L 47 pts 16 comments by robinhundt Aug 23, 2025 compilersrustvibecoding AI / Machine Learning Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Deecy: An experimental Dreamcast emulator written in Zig (github.com)

HN 3 pts 0 comments by ksec Aug 23, 2025 Programming Languages / CS Theory Gaming / Retro Computing thread

I'm too dumb for Zig's new IO interface (openmymind.net)

HN 206 pts 311 comments by begoon Aug 23, 2025 Programming Languages / CS Theory thread

Conways Game of Life in Erlang with Wx GUI (github.com)

HN 5 pts 1 comments by DavidCanHelp Aug 23, 2025 Programming Languages / CS Theory thread

An Introduction to Trellis-Owl (1986) (dl.acm.org)

L 4 pts 1 comments by lorddimwit Aug 23, 2025 plt Programming Languages / CS Theory thread

I'm too dumb for Zig's new IO interface (openmymind.net)

HN 2 pts 0 comments by ibobev Aug 22, 2025 Programming Languages / CS Theory thread

Aspiration co-founder to plead guilty to $248M fraud scheme (techcrunch.com)

HN 1 pts 0 comments by EhsanBTW Aug 22, 2025 Programming Languages / CS Theory Productivity / Career / Business thread

Scheme Basics (courses.cs.washington.edu)

HN 23 pts 1 comments by so-cal-schemer Aug 22, 2025 Programming Languages / CS Theory thread

I'm too dumb for Zig's new IO interface (openmymind.net)

HN 7 pts 3 comments by Bogdanp Aug 22, 2025 Programming Languages / CS Theory thread

Do I need a Lisp Machine comeback? (far.chickenkiller.com)

HN 25 pts 0 comments by farooqkz Aug 22, 2025 Programming Languages / CS Theory thread

A tutorial implementation of a dependently typed lambda calculus [pdf] (webspace.science.uu.nl)

HN 2 pts 0 comments by fanf2 Aug 22, 2025 Programming Languages / CS Theory Science / Math / Physics thread

Ask HN: Why is Prolog not gaining traction?

HN 6 pts 2 comments by 0x07ca Aug 22, 2025 Programming Languages / CS Theory thread

I sometimes enjoy programming in Prolog, although I see that it is not a very popular programming language, despite being invented many years ago. Why is it so?<p>Personally, I think that these are the three main problems with the current ecosystem: i) there are too many implementations, some more a...

The Baby Paradox in Haskell (blog.jle.im)

HN 2 pts 0 comments by Bogdanp Aug 22, 2025 Programming Languages / CS Theory thread

The Baby Paradox in Haskell (blog.jle.im)

L 23 pts 2 comments by abhin4v Aug 22, 2025 formalmethodshaskell Programming Languages / CS Theory thread

Introducing Forth poems (youtu.be)

L 15 pts 4 comments by chris-evelyn Aug 22, 2025 concatenativevideo Programming Languages / CS Theory thread

Zeron: A new programming language forged from Python and Zig (blue-bergamot-b17.notion.site)

HN 1 pts 0 comments by SmartZ Aug 21, 2025 Programming (General)Programming Languages / CS Theory thread

Hiii HN, I’m Smart and I’ve been working on some interesting projects, a few weeks or months ago i launched a programming language in the programming language communities on discord and telegram, I meant to do so on HN too but the reaction from the members was overwhelming so it skipped my mind to d...

Growing the Java Language (youtube.com)

L 12 pts 2 comments by soareschen Aug 21, 2025 javapltvideo Programming (General)Programming Languages / CS Theory thread

Why do software developers love complexity? (kyrylo.org)

L 18 pts 30 comments by MatheusRich Aug 21, 2025 practices Programming (General)Programming Languages / CS Theory Productivity / Career / Business thread

Using Common Lisp from inside the Browser (turtleware.eu)

L 15 pts 1 comments by jfloren Aug 21, 2025 lispweb Web Development Programming Languages / CS Theory thread