💻 CS

computer science, automata, theory, computation

My roommates and I are in the process of buying a home, and I am researching the things I can do to facilitate a home lab of my own.
reddit.com·17m·
Discuss: r/homelab
🏠HomeLab
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org·5h
🐫Embedded OCaml
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
I Chose Software Engineering… Now I'm Completely Lost. Need Help
reddit.com·1d·
Discuss: r/programming
📦Unikernel Systems
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·16h·
Discuss: Hacker News
🛡️seL4
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·5h
🎮Verification Games
What Makes Code Beautiful
thecoder.cafe·23h·
Discuss: r/programming
🔬Static Analysis
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·5h
🐫OCaml
LLMs show cultural theory was right about the death of the author
programmablemutter.com·16h·
Discuss: Hacker News
➡️Category Theory
Curriculum Negative Mining For Temporal Networks
arxiv.org·5h
➡️Category Theory
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Vibe Coding in BASIC
goto10retro.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·5h
🐫OCaml
CL-Polyp: A Contrastive Learning-Enhanced Network for Accurate Polyp Segmentation
arxiv.org·5h
🐫OCaml
Predicting and generating antibiotics against future pathogens with ApexOracle
arxiv.org·5h
✓Automated Theorem Proving
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·5h
✓Automated Theorem Proving
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·5h
🎮Verification Games
Bridging Expressivity and Scalability with Adaptive Unitary SSMs
arxiv.org·3d
🐫OCaml
Interleaving Logic and Counting
arxiv.org·3d
✓Automated Theorem Proving