🧩 programming

smalltalk, forth, pascal, c, c++, go rust, scheme, lisp, ruby, erlang, prolog

PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·19h
⚙️Compilers
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·22h·
Discuss: Substack
💾vintage computing
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·13h·
Discuss: Lobsters, Hacker News, r/programming
📐Language Theory
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·1d·
Discuss: r/cpp
⚙️Compilers
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·2d·
Discuss: Hacker News
📐Language Theory
The Handle trait
smallcultfollowing.com·23h·
Discuss: Lobsters, Hacker News, r/programming, r/rust
⚙️Compilers
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·3d·
Discuss: Lobsters, Hacker News
⚙️Compilers
A tiny recursive reasoning model achieves 45% on ARC-AGI-1 and 8% on ARC-AGI-2
alexiajm.github.io·3h·
Discuss: Hacker News, Hacker News
📐Language Theory
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·19h
⚙️Compilers
The jank community has stepped up
jank-lang.org·4d·
Discuss: Lobsters, Hacker News
⚙️Compilers
Obelisk 0.25.4 and handling of WASM traps
obeli.sk·1d·
Discuss: Lobsters, Hacker News, r/rust
🎰Bytecode VMs
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·23h·
Discuss: Hacker News
📐Language Theory
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·19h
📐Language Theory
Pigeon (YC W23) is hiring a lead full stack engineer
ycombinator.com·6h·
Discuss: Hacker News
🎰Bytecode VMs
Embracing the parallel coding agent lifestyle
simonwillison.net·2d·
Discuss: Hacker News, Hacker News, Hacker News
🎰Bytecode VMs
Delimited Continuations in Lone Lisp
matheusmoreira.com·4d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Compilers
Read the Scene, Not the Script: Outcome-Aware Safety for LLMs
arxiv.org·19h
⚙️Compilers
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·19h
📐Language Theory
Show HN: Blueprintor for Hardware Engineering
zima.run·9h·
Discuss: Hacker News
🎰Bytecode VMs
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·19h
📐Language Theory