🧩 programming

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

Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
📐Language Theory
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
📐Language Theory
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
⚙️Compilers
Flag this post
Recent Rust Changes
ncameron.org·5d·
Discuss: Lobsters, Hacker News, r/rust
⚙️Compilers
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·3h·
Discuss: Hacker News
🎰Bytecode VMs
Flag this post
Swift 6.2: Subprocess
mjtsai.com·2d
⚙️Compilers
Flag this post
CAD-3D on the Atari ST
stonetools.ghost.io·1d·
Discuss: Hacker News
💾vintage computing
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🎰Bytecode VMs
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·14h·
Discuss: Hacker News, r/opensource
🖥️operating systems
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·4d
⚙️Compilers
Flag this post
OpenSpliceAI provides an efficient modular implementation of SpliceAI enabling easy retraining across nonhuman species
elifesciences.org·3d
⚙️Compilers
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
📐Language Theory
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·2d·
Discuss: Lobsters, Hacker News
🎰Bytecode VMs
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·13h·
Discuss: Substack
🎰Bytecode VMs
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News
📐Language Theory
Flag this post
What are you doing this weekend?
lobste.rs·1d·
Discuss: Lobsters
⚙️Compilers
Flag this post
Frozen String Literals: Past, Present, Future?
byroot.github.io·4d·
Discuss: Lobsters, Hacker News
⚙️Compilers
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·3d
⚙️Compilers
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·1d
⚙️Compilers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
📐Language Theory
Flag this post