💻 CS

computer science, automata, theory, computation

Most school hacks carried out by their own pupils, watchdog says
bbc.com·18h·
Discuss: Hacker News
🛡️seL4
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Restore hyperspectral images in a latent space
sciencedirect.com·12h·
Discuss: Hacker News
📚Automata Learning
Richard Feynman – There's Plenty of Room at the Bottom
muonray.blogspot.com·22h·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·1d·
Discuss: Hacker News
🐳Containerization
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·17h·
Discuss: Hacker News
📦Unikernel Systems
Managing HTTP Requests as Type-Safe TypeScript Classes
reddit.com·12h·
Discuss: r/programming
💎Refinement Types
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·1d
📚Automata Learning
Two Sides of the Same Optimization Coin: Model Degradation and Representation Collapse in Graph Foundation Models
arxiv.org·1d
🧮Lambda Calculus
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·3d
🔠Type-Level Programming
Comparative Evaluation of Hard and Soft Clustering for Precise Brain Tumor Segmentation in MR Imaging
arxiv.org·3d
🧩Separation Logic
Automated Hierarchical Graph Construction for Multi-source Electronic Health Records
arxiv.org·3d
🧠Automated Reasoning
Paper2Agent: Reimagining Research Papers As Interactive and Reliable AI Agents
arxiv.org·3d
✓Automated Theorem Proving
Accelerating Reinforcement Learning Algorithms Convergence using Pre-trained Large Language Models as Tutors With Advice Reusing
arxiv.org·1d
📚Automata Learning
Deploying AI to the Balkans
hapseer.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Optimization Methods and Software for Federated Learning
arxiv.org·1d
🔠Type-Level Programming
RepViT-CXR: A Channel Replication Strategy for Vision Transformers in Chest X-ray Tuberculosis and Pneumonia Classification
arxiv.org·1d
📚Automata Learning
Category Theory is Being Co-opted
estebanandthecollective.substack.com·3d·
Discuss: Substack
➡️Category Theory
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·3d
🐫Embedded OCaml
Scaffolding for production vibe coding
interjectedfuture.com·2d·
Discuss: Hacker News
🔬Static Analysis