💻 CS

computer science, automata, theory, computation

I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·2d·
Discuss: Hacker News
✓Automated Theorem Proving
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·2h
🐫Embedded OCaml
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·12h·
Discuss: Substack
🐫Embedded OCaml
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·2h
➡️Category Theory
Data Science Weekly – Issue 607
datascienceweekly.substack.com·2h·
Discuss: Substack
👁️System Observability
There are exponentially many vectors with small inner product
lmao.bearblog.dev·12h·
Discuss: Hacker News
➡️Category Theory
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·2h
🔍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·15h·
Discuss: Hacker News
🎮Verification Games
Beyond the Linear Separability Ceiling
arxiv.org·2h
➡️Category Theory
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·14h·
Discuss: Hacker News
🔠Type-Level Programming
LLMs show cultural theory was right about the death of the author
programmablemutter.com·12h·
Discuss: Hacker News
➡️Category Theory
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org·2h
🐫Embedded OCaml
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·12h·
Discuss: Hacker News
🛡️seL4
I Chose Software Engineering… Now I'm Completely Lost. Need Help
reddit.com·1d·
Discuss: r/programming
📦Unikernel Systems