In 3 Body Problem, humans' secret weapon is fiction
domusweb.it·5h·
Discuss: Hacker News
🎮Verification Games
📄 Notify your iPhone or Watch when Claude Code finishes
justin.searls.co·4d·
Discuss: r/programming
🍎Apple
Doing time. The emergence of irreversibility – PubMed
pubmed.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
🏹Effect Systems
SMM callout vulnerabilities identified in Gigabyte UEFI firmware
kb.cert.org·3d·
Discuss: Hacker News
⚙️Operating System Design
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·3d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Is AI poisoning the scientific literature? Our comment in Nature
anil.recoil.org·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Translation using deep neural networks – Transformer
aamster.github.io·2d·
Discuss: Hacker News
➡️Category Theory
Stop Converting Your REST APIs to MCP
jlowin.dev·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
Make your repo/project ergonomic for other developers
pdx.su·2d·
Discuss: r/programming
🔄Reproducible Builds
MedicalBERT: enhancing biomedical natural language processing using pretrained BERT-based model
arxiv.org·2d
💻CS
Why Every Startup Will Be AI Native – Or Die Trying
keplogic.substack.com·1d·
Discuss: Substack
👁️System Observability
CodeJudgeBench: Benchmarking LLM-as-a-Judge for Coding Tasks
arxiv.org·1d
🎮Verification Games
ESG-Net: Event-Aware Semantic Guided Network for Dense Audio-Visual Event Localization
arxiv.org·1d
🔠Type-Level Programming
Quantitative central limit theorems for exponential random graphs
arxiv.org·1d
➡️Category Theory
SpreadPy: A Python tool for modelling spreading activation and superdiffusion in cognitive multiplex networks
arxiv.org·1d
➡️Category Theory
Thoughts on Building with AI
gouthamve.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Context Forge – A CLI-first tool for managing Claude context and AI workflows
github.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Cognitive Dissonance Artificial Intelligence (CD-AI): The Mind at War with Itself. Harnessing Discomfort to Sharpen Critical Thinking
arxiv.org·1d
✓Automated Theorem Proving
Machine Learning for Evolutionary Graph Theory
arxiv.org·2d
➡️Category Theory
CoCo: A Coupled Contrastive Framework for Unsupervised Domain Adaptive Graph Classification
arxiv.org·1d
💻CS