💻 CS

computer science, automata, theory, computation

Flexflex – a typeface that responds to spatial requirements
ronikaufman.github.io·13h·
Discuss: Hacker News
🐫OCaml
Show HN: Verinex – A European open-source social network
verinex.eu·10h·
Discuss: Hacker News
🔬Unikernels
Is Pydantic as safe as it is popular?
nocomplexity.substack.com·16h·
Discuss: Substack
🧪Property-Based Testing
Google AI Mode adding Search Live video, Canvas, PDF upload, and more
9to5google.com·13h
✓Automated Theorem Proving
The mitotic chromosome periphery modulates chromosome mechanics
nature.com·1d·
Discuss: Hacker News
➡️Category Theory
Invisible Programming Language
en.wikipedia.org·4d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Math Is Erotic
firstthings.com·2d·
Discuss: Hacker News
➡️Category Theory
Solved: No KVM Keyboard/Mouse in BIOS on industrial PC (Beckhoff) – GLKVM fix
reddit.com·7h·
Discuss: r/homelab
🍎XNU Internals
Show HN: Monitrix –Lightweight, real-time server monitor using FastAPI
github.com·17h·
Discuss: Hacker News
👁️System Observability
A Very Tidy Handheld Pi Terminal Indeed
hackaday.com·2d·
Discuss: Hacker News
💾Retro Computing
Reevaluating the role of education on cognitive decline in 33 countries
nature.com·23h·
Discuss: Hacker News
💾Retro Computing
[SHOW OSS]Claude Sub Agents – AI Development Team
github.com·3d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
Semantic Segmentation of iPS Cells: Case Study on Model Complexity in Biomedical Imaging
arxiv.org·1h
🔬Unikernels
Bayesian Neural Network Surrogates for Bayesian Optimization of Carbon Capture and Storage Operations
arxiv.org·1h
🏹Effect Systems
Personalized Treatment Effect Estimation from Unstructured Data
arxiv.org·1d
🔠Type-Level Programming
Why Generative AI Needs A New Kind of Security Solution
thenewstack.io·14h
🖥️Self-hosted Infrastructure
DxHF: Providing High-Quality Human Feedback for LLM Alignment via Interactive Decomposition
arxiv.org·2d
✓Automated Theorem Proving
Predicting Brain Responses To Natural Movies With Multimodal LLMs
arxiv.org·1d
🐫Embedded OCaml
Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication
arxiv.org·1d
🔄Finite State Machines
T-MPEDNet: Unveiling the Synergy of Transformer-aware Multiscale Progressive Encoder-Decoder Network with Feature Recalibration for Tumor and Liver Segmentation
arxiv.org·1d
🔠Type-Level Programming