computer science, automata, theory, computation

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·5d·
Discuss: Hacker News
🧠Automated Reasoning
Richard Feynman – There's Plenty of Room at the Bottom
muonray.blogspot.com·12h·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·1d·
Discuss: Hacker News
🐳Containerization
Teaching AI Stepwise Diagnostic Reasoning with Report-Guided Chain-of-Thought Learning
arxiv.org·2d
📚Automata Learning
Building Conscious* AI: An Illusionist Case
lesswrong.com·1h
🧠Automated Reasoning
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·6h·
Discuss: Hacker News
🌐NetworkProtocols
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·15h
📚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
Paper2Agent: Reimagining Research Papers As Interactive and Reliable AI Agents
arxiv.org·2d
Automated Theorem Proving
Automated Hierarchical Graph Construction for Multi-source Electronic Health Records
arxiv.org·2d
🧠Automated Reasoning