OCaml Blockly
cambridge.org·2h·
Discuss: Hacker News
✅formal methods
Programming languages and dimensions of units of measure
cl.cam.ac.uk·10h·
Discuss: Hacker News
✅formal methods
Unducking Typescript primitive aliases
zerotrickpony.com·59m·
Discuss: Lobsters, Hacker News
🔄compilers
Comefrom
en.wikipedia.org·3h·
Discuss: Hacker News
⚙️systems programming
Microsoft POML – Prompt Orchestration Markup Language
github.com·1d·
Discuss: Hacker News
✅formal methods
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·2h·
Discuss: Hacker News
🔄compilers
Dense Associative Memory for Pattern Recognition (2016)
proceedings.neurips.cc·7h·
Discuss: Hacker News
✅formal methods
Understanding reinforcement learning for model training from scratch
medium.com·9h·
Discuss: Hacker News
✅formal methods
PEP 802: Display Syntax for the Empty Set
peps.python.org·3d·
Discuss: Hacker News, r/programming
✅formal methods
What is wrong with Lisp? (2010)
web.archive.org·2d·
Discuss: Hacker News
🔄compilers
Condition Systems in an Exceptional Language by Chris Houser
gist.github.com·7h·
Discuss: Hacker News
⚙️systems programming
Zig's Lovely Syntax
matklad.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄compilers
Simple Programming Languages
ryanbrewer.dev·2d·
Discuss: Hacker News
🔄compilers
Understanding Late Binding in Python Closures
pythonkoans.substack.com·3d·
Discuss: Substack
⚙️systems programming
How OpenAI used a new data type to cut inference costs by 75%
theregister.com·22h·
Discuss: Hacker News
⚙️systems programming
Guide to Implementing a GraphRAG Workflow with FalkorDB, LangChain and LangGraph
falkordb.com·11h·
Discuss: Hacker News
✅formal methods
Assemblers in w64devkit, and other updates
nullprogram.com·15h·
Discuss: Hacker News
🔄compilers
GPT-5 Pushes Vibe Coding Beyond My Wildest Dreams
parkerortolani.blog·11h·
Discuss: Hacker News
🔄compilers
LLMs in Programming
thecodedmessage.com·2h·
Discuss: Hacker News
✅formal methods
Hunting Bugs in Perf_event2
roci.co.za·17h·
Discuss: Hacker News
🔄compilers