computer science, automata, theory, computation

A joint statement from OpenAI and Microsoft
openai.com·12h·
Discuss: Hacker News
🐳Containerization
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·1d·
Discuss: Hacker News
🏹Effect Systems
Why Account Linking Should Be Pivotal in Your CIAM SSO
discovery.cevolution.co.uk·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Logic Theorist
en.wikipedia.org·6d·
Discuss: Hacker News
🧠Automated Reasoning
Richard Feynman – There's Plenty of Room at the Bottom
muonray.blogspot.com·18h·
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·13h·
Discuss: Hacker News
📦Unikernel Systems
Teaching AI Stepwise Diagnostic Reasoning with Report-Guided Chain-of-Thought Learning
arxiv.org·2d
📚Automata Learning
BEDTime: A Unified Benchmark for Automatically Describing Time Series
arxiv.org·3d
📚Automata Learning
The Majority is not always right: RL training for solution aggregation
arxiv.org·2d
🎮Verification Games
HAVE: Head-Adaptive Gating and ValuE Calibration for Hallucination Mitigation in Large Language Models
arxiv.org·2d
📚Automata Learning
Sparse Sensor Allocation for Inverse Problems of Detecting Sparse Leaking Emission Sources
arxiv.org·2d
🧩Separation Logic
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·22h
📚Automata Learning
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·2d
🔠Type-Level Programming
Comparative Evaluation of Hard and Soft Clustering for Precise Brain Tumor Segmentation in MR Imaging
arxiv.org·2d
🧩Separation Logic
Deploying AI to the Balkans
hapseer.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Category Theory is Being Co-opted
estebanandthecollective.substack.com·3d·
Discuss: Substack
➡️Category Theory