cpt's Top FindsLoading...
That small sliver of time where a QNX desktop was a real thing we did
osnews.com·1d
🖥️operating systems
Signal: Financial Funny Business 📧
spyglass.org·7h
💾vintage computing
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·19h
🧩programming
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·1d·
⚙️Compilers
Optimized Minimal 4D Gaussian Splatting
arxiv.org·19h
🎨Graphics Programming
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·19h
📐Language Theory
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·23h·
Discuss: Hacker News
🧩programming
The jank community has stepped up
jank-lang.org·4d·
🧩programming
Detecting Semantic Clones of Unseen Functionality
arxiv.org·19h
⚙️Compilers
Read the Scene, Not the Script: Outcome-Aware Safety for LLMs
arxiv.org·19h
🧩programming
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·19h
📐Language Theory
Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
arxiv.org·19h
🎰Bytecode VMs
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·19h
⚙️Compilers
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·19h
⚙️Compilers
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
⚙️Compilers
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·19h
📐Language Theory
Sign up or login to customize your feed and get personalized topic recommendations
Large Language Models Achieve Gold Medal Performance at International Astronomy & Astrophysics Olympiad
arxiv.org·19h
⚙️Compilers
Categorical Invariants of Learning Dynamics
arxiv.org·19h
📐Language Theory
Curriculum-Augmented GFlowNets For mRNA Sequence Generation
arxiv.org·19h
⚙️Compilers