💻 CS

computer science, automata, theory, computation

Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·3d·
Discuss: Hacker News
➡️Category Theory
C++: Maps on Chains
bannalia.blogspot.com·23m·
Discuss: Hacker News
🏹Effect Systems
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·3h
🐫Embedded OCaml
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·3d·
Discuss: Hacker News
✓Automated Theorem Proving
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·13h·
Discuss: Substack
🐫Embedded OCaml
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·3h
➡️Category Theory
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
There are exponentially many vectors with small inner product
lmao.bearblog.dev·13h·
Discuss: Hacker News
➡️Category Theory
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·35m·
Discuss: Hacker News
👁️System Observability
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·3h
🔍Formal Verification
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
Education 3.0
doc.searls.com·17h·
Discuss: Hacker News
🎮Verification Games
Beyond the Linear Separability Ceiling
arxiv.org·3h
➡️Category Theory
Data Science Weekly – Issue 607
datascienceweekly.substack.com·4h·
Discuss: Substack
👁️System Observability
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
The REM-arkable Misadventures of LIST
masswerk.at·3d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·16h·
Discuss: Hacker News
🔠Type-Level Programming
LLMs show cultural theory was right about the death of the author
programmablemutter.com·14h·
Discuss: Hacker News
➡️Category Theory
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org·3h
🐫Embedded OCaml