💻 CS

computer science, automata, theory, computation

Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·1h
🤖Program Synthesis
2000 words about arrays and tables
buttondown.com·16h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
30 Easy Python Projects, Solved & Explained in a Simple Way
quickcodesummary.blogspot.com·12h·
Discuss: r/programming
✓Automated Theorem Proving
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Dartboard Sequence
mathpages.com·4h·
Discuss: Hacker News
🎮Verification Games
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·1d
🔍Formal Verification
Asked my AI to reflect on writing clinical notes vs. coding. Here's what it said
news.ycombinator.com·14h·
Discuss: Hacker News
🤖Program Synthesis
Systolic Array-based Accelerator for State-Space Models
arxiv.org·1d
🐫Embedded OCaml
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·10h·
Discuss: Hacker News
🤖Program Synthesis
An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·2d
✓Automated Theorem Proving
Rules_derive: Deriving Using Macro_rules
matx.com·1d·
Discuss: Hacker News
⚙️PL Implementation
A Periodic Table of System Design Principles
github.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Revolutionary ECC-256 Key Recovery via Quantum Collapse Algorithm
quantumtopology.substack.com·9h·
Discuss: Substack
🐫OCaml
How JIT builds of CPython work
savannah.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
Multidimensional Assessment of Takeover Performance in Conditionally Automated Driving
arxiv.org·1h
🔄Finite State Machines
Show HN: JavaScript algorithm prep that teaches language-specific patterns
memoized.io·12h·
Discuss: Hacker News
🔄Reproducible Builds
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·1d·
Discuss: r/programming
🤖Program Synthesis
Large Language Models
davidtemplin.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Language Arithmetics: Towards Systematic Language Neuron Identification and Manipulation
arxiv.org·1h
🐫OCaml
Laurence Tratt: Which Parsing Approach?
tratt.net·1d·
Discuss: r/programming
🔬Static Analysis