Store What You Compute
senhongo.com·20h·
Discuss: Hacker News
➡️Category Theory
Towards a Foundational Understanding of Causality
deepcausality.com·11h·
Discuss: Hacker News
🏹Effect Systems
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Get Roped Into Magnetic Core Memory With This 512 Bit Module
hackaday.com·1d·
Discuss: r/embedded
💾Retro Computing
AI will replace programmers—just not yet, because it still generates very extremely inefficient code.
nullonerror.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·20h·
Discuss: Hacker News
❄️Nixified Development
On Trustworthy Rule-Based Models and Explanations
arxiv.org·2d
✓Automated Theorem Proving
A http parser single-header library written in C89 which is 50 lines total.
github.com·15h·
Discuss: r/programming
⚙️PL Implementation
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·4d
🐫Embedded OCaml
Beyond the Linear Separability Ceiling
arxiv.org·2d
➡️Category Theory
Inheritance and Polymorphism in Plain C
coz.is·5d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Agentic AI Is Quietly Replacing Developers
thenewstack.io·22h
🤖Program Synthesis
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·2d
🐫OCaml
Domain adaptation of large language models for geotechnical applications
arxiv.org·4d
🔤DSLs
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·2d
🔍Formal Verification
Can adversarial attacks by large language models be attributed?
arxiv.org·3d
🛡️seL4
Incorporating Interventional Independence Improves Robustness against Interventional Distribution Shift
arxiv.org·4d
🏹Effect Systems
Study finds that AI tools make experienced programmers 19% slower. But that is not the most interesting find...
reddit.com·1d·
Discuss: r/programming
🏹Effect Systems
How to Build an Agent
blog.langchain.com·3d·
Discuss: Hacker News
🤖Program Synthesis
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·3d·
Discuss: Hacker News
❄️Nix