💻 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·1h·
Discuss: r/homelab
🏠HomeLab
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·19h·
Discuss: Hacker News
🔠Type-Level Programming
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org·7h
🐫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·17h·
Discuss: Hacker News
🛡️seL4
I Chose Software Engineering… Now I'm Completely Lost. Need Help
reddit.com·1d·
Discuss: r/programming
📦Unikernel Systems
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·7h
🎮Verification Games
What Makes Code Beautiful
thecoder.cafe·1d·
Discuss: r/programming
🔬Static Analysis
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·7h
🐫OCaml
LLMs show cultural theory was right about the death of the author
programmablemutter.com·18h·
Discuss: Hacker News
➡️Category Theory
Curriculum Negative Mining For Temporal Networks
arxiv.org·7h
➡️Category Theory
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·7h
🐫OCaml
CL-Polyp: A Contrastive Learning-Enhanced Network for Accurate Polyp Segmentation
arxiv.org·7h
🐫OCaml
Predicting and generating antibiotics against future pathogens with ApexOracle
arxiv.org·7h
✓Automated Theorem Proving
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·7h
✓Automated Theorem Proving
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·7h
🎮Verification Games
Bridging Expressivity and Scalability with Adaptive Unitary SSMs
arxiv.org·3d
🐫OCaml
Curiosity-Driven Encryption: A Collatz Conjecture-Inspired Block Cipher with Real-Time Visualizations
reddit.com·1d·
Discuss: r/programming
🐫OCaml