💻 CS

computer science, automata, theory, computation

Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·13h
🐫OCaml
Subinterpreters and Asyncio
blog.changs.co.uk·7h·
Discuss: Hacker News
🐫Embedded OCaml
Lisp in 99 Lines of C With TinyLisp
hackaday.com·15h
⚙️PL Implementation
Simpler Category Theory
ryanbrewer.dev·4h·
Discuss: Hacker News
➡️Category Theory
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·5h·
Discuss: Hacker News
🐫Embedded OCaml
Overview of Complex System Design
arxiv.org·2d
📡Network Protocol Design
how to resolve a halting paradox
academia.edu·17h·
Discuss: r/programming
🔄Finite State Machines
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·1d·
Discuss: Hacker News, Hacker News
🏹Effect Systems
Building a Regex Engine
abstractsyntaxseed.com·5h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Computing Machinery and Intelligence (1950)
academic.oup.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
An Update on Pytype
github.com·38m·
Discuss: Hacker News
🔠Type-Level Programming
Stream Integration
feldera.com·2d·
Discuss: Hacker News
🏹Effect Systems
Unification
eli.thegreenplace.net·2d·
Discuss: Hacker News
🐫OCaml
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.org·1d
🔬Static Analysis
You Can Build Better AI Agents in Java Than Python
medium.com·7h·
Discuss: Hacker News
🤖Program Synthesis
Rust: Python’s New Performance Engine
thenewstack.io·22h·
Discuss: r/rust
🔬Static Analysis
Fuzzing Hardware Like Software (2021)
arxiv.org·21h·
Discuss: Hacker News
🔬Unikernels
The Great Refactor
ifp.org·6h·
Discuss: Hacker News
🤖Program Synthesis
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·4h·
Discuss: Lobsters, Hacker News
🐫OCaml