💻 CS

computer science, automata, theory, computation

AI Powered Cat Flap
onlycat.com·1h·
Discuss: Hacker News
🍎Apple
UK switches on AI supercomputer that will help spot sick cows and skin cancer
theguardian.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·5d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Why Aggregators Ate the Internet
every.to·1d·
Discuss: Hacker News
🔬Unikernels
Taikyoku Shogi
en.wikipedia.org·1d·
Discuss: Hacker News
🎮Verification Games
METR study finds AI doesn't make devs as productive as they think
leaddev.com·2d·
Discuss: r/programming
🤖Program Synthesis
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
CortexFlow/CortexBrain: Open Source eBPF-based Container Networking Infrastructure and Monitoring Platform for cloud and edge devices built in Rust
reddit.com·3d·
Discuss: r/programming
⚙️Operating System Design
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·4d
✓Automated Theorem Proving
Te Ahorr\'e Un Click: A Revised Definition of Clickbait and Detection in Spanish News
arxiv.org·4d
✓Automated Theorem Proving
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·4d
🎮Verification Games
"What do you expect? You're part of the internet": Analyzing Celebrities' Experiences as Usees of Deepfake Technology
arxiv.org·1d
🛡️seL4
FedGSCA: Medical Federated Learning with Global Sample Selector and Client Adaptive Adjuster under Label Noise
arxiv.org·3d
🔠Type-Level Programming
EquiContact: A Hierarchical SE(3) Vision-to-Force Equivariant Policy for Spatially Generalizable Contact-rich Tasks
arxiv.org·3d
🏹Effect Systems
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·2d
🐫OCaml
Dual form Complementary Masking for Domain-Adaptive Image Segmentation
arxiv.org·2d
🐫OCaml
Quantitative central limit theorems for exponential random graphs
arxiv.org·4d
➡️Category Theory
Build an AI Agent Web App with String and Lovable
pipedream.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
HANS-Net: Hyperbolic Convolution and Adaptive Temporal Attention for Accurate and Generalizable Liver and Tumor Segmentation in CT Imaging
arxiv.org·3d
➡️Category Theory
The Utility of the Virtual Imaging Trials Methodology for Objective Characterization of AI Systems and Training Data
arxiv.org·3d
👁️System Observability