💻 CS

computer science, automata, theory, computation

Recently inherited this rack
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·1d·
Discuss: Hacker News
🐫OCaml
Free sudoku game with evil, and extreme killer difficulty levels
minisudoku.online·1d·
Discuss: Hacker News
🎮Verification Games
Most Rust GUI frameworks suck
reddit.com·16h·
Discuss: r/rust
❄️Nixified Development
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com·3d·
Discuss: r/programming
💾Retro Computing
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·1d·
Discuss: r/programming
🌐NetworkProtocols
Strange Attractors
blog.shashanktomar.com·1d·
Discuss: Hacker News, Hacker News
🩹Self-Healing Systems
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·20h·
Discuss: Hacker News
🧪Property-Based Testing
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·3d·
Discuss: Hacker News
🧮Lambda Calculus
I built an AI tool that converts invoices into clean Excel sheets
smartinvoice.tech·12h·
Discuss: Hacker News
🧠Automated Reasoning
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·2h·
Discuss: Hacker News
🐫Embedded OCaml
Mutual Support by Sensor-Attacker Team for a Passive Target
arxiv.org·2d
🩹Self-Healing Systems
The Case for An AI Safety Political Party in the US
lesswrong.com·13h
🩹Self-Healing Systems
Human-Hardware-in-the-Loop simulations for systemic resilience assessment in cyber-socio-technical systems
arxiv.org·2d
🩹Self-Healing Systems
OOTSM: A Decoupled Linguistic Framework for Effective Scene Graph Anticipation
arxiv.org·2d
🧩Parser Combinators
Sparse Sensor Allocation for Inverse Problems of Detecting Sparse Leaking Emission Sources
arxiv.org·2d
🧩Separation Logic
BEDTime: A Unified Benchmark for Automatically Describing Time Series
arxiv.org·3d
📚Automata Learning
Deploying AI to the Balkans
hapseer.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
HAVE: Head-Adaptive Gating and ValuE Calibration for Hallucination Mitigation in Large Language Models
arxiv.org·2d
📚Automata Learning
The Majority is not always right: RL training for solution aggregation
arxiv.org·2d
🎮Verification Games