cpt's Top FindsLoading...
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·21h
⚙️Compilers
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🎨Graphics Programming
The Mondrian introduction to functional optics
marcosh.github.io·16h·
Discuss: Hacker News
📐Language Theory
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·2d·
Discuss: r/cpp
⚙️Compilers
Tuesday open line
arktimes.com·4h
📡RSS
Show HN: Blueprintor for Hardware Engineering
zima.run·11h·
Discuss: Hacker News
🎰Bytecode VMs
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·1d·
Discuss: Substack
🧩programming
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·2d·
Discuss: Hacker News
🧩programming
Beating the L1 cache with value speculation (2021)
mazzo.li·1d·
Discuss: Lobsters, Hacker News
⚙️Compilers
Causal Abstractions, Categorically Unified
arxiv.org·21h
📐Language Theory
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·16h·
Discuss: Lobsters, Hacker News, r/programming
🧩programming
The Handle trait
smallcultfollowing.com·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧩programming
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·21h
📐Language Theory
A tiny recursive reasoning model achieves 45% on ARC-AGI-1 and 8% on ARC-AGI-2
alexiajm.github.io·5h·
Discuss: Hacker News, Hacker News
🧩programming
You're Doing Rails Wrong
bananacurvingmachine.com·8h·
Discuss: Hacker News
🎰Bytecode VMs
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·4d·
Discuss: Lobsters, Hacker News
🧩programming
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·21h
📐Language Theory
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·21h
🧩programming
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·21h
🧩programming
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·21h
🧩programming