[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·14h·
Discuss: Lobsters, Hacker News
🔬Unikernels
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·1d
🔄Finite State Machines
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·1d·
Discuss: r/programming
🤖Program Synthesis
I built my blog with C preprocessor macros
wheybags.com·7h·
Discuss: Lobsters, Hacker News
🐫OCaml
Soldered RAM Upgrades Finally Available for Mac-PPC
hackaday.com·9h
💾Retro Computing
The Sail instruction-set semantics specification language
alasdair.github.io·4d·
Discuss: Hacker News
🐫OCaml
GitHub - isene/xrpn: The eXtended RPN programming language
github.com·5h·
Discuss: r/commandline, r/programming
📦Unikernel Systems
How JIT builds of CPython work
savannah.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1h
🔬Static Analysis
Show HN: Real-time face recognition on low power microcontroller
github.com·1d·
Discuss: Hacker News
🍎XNU Internals
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·10h·
Discuss: Hacker News
🤖Program Synthesis
2000 words about arrays and tables
buttondown.com·16h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Systolic Array-based Accelerator for State-Space Models
arxiv.org·1d
🔄Finite State Machines
Emacs: The macOS Bug
xlii.space·11h·
Discuss: Lobsters, Hacker News
🍎XNU Internals
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·1d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
The pest book is finally complete now!
github.com·17h
⚙️PL Implementation
Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise
mistral.ai·14h·
Discuss: Hacker News, r/LocalLLaMA
🔄Reproducible Builds
Data Leakage and Redundancy in the LIT-PCBA Benchmark
arxiv.org·1d
🔄Reproducible Builds
Laurence Tratt: Which Parsing Approach?
tratt.net·1d·
Discuss: r/programming
🔬Static Analysis
Revolutionary ECC-256 Key Recovery via Quantum Collapse Algorithm
quantumtopology.substack.com·9h·
Discuss: Substack
🐫OCaml