It's good to quiver under the bar
kupajo.com·6d·
Discuss: Hacker News
🏔️climbing
University insures itself against a drop in Chinese students (2018)
insurancebusinessmag.com·6d·
Discuss: Hacker News
💻CS
Why did dlclose not unload the library?
kishoreganesh.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
Deep Zionism
scottaaronson.blog·4d·
Discuss: Hacker News
➡️Category Theory
Turning Devin into an analyst
devin.ai·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Cupertino must stop calling Apple Watches 'carbon neutral,' German court rules
theregister.com·6d·
Discuss: Hacker News
🍎Apple
V Language: Simplicity Made Sexy. A Gen-Z Blend of Go and Rust
medium.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
Install Cursor and Learn Programming With AI Help
thenewstack.io·4d
✓Automated Theorem Proving
Connecticut Man’s Case Believed to Be First Murder-Suicide Associated With AI Psychosis
gizmodo.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Alibaba looks to end reliance on Nvidia for AI inference
theregister.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Human-Inspired Computing for Robust and Efficient Audio-Visual Speech Recognition
arxiv.org·4d
🍎Apple
A Machine Learning Approach to Volumetric Computations of Solid Pulmonary Nodules
arxiv.org·3d
🔬Static Analysis
Instantaneous Polarimetry with Zak-OTFS
arxiv.org·5d
🐫OCaml
Help Connecting Two 2-Post Racks
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Breaking the Black Box: Inherently Interpretable Physics-Informed Machine Learning for Imbalanced Seismic Data
arxiv.org·5d
🧠Automated Reasoning
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·6d
📚Automata Learning
Federated Learning with Heterogeneous and Private Label Sets
arxiv.org·5d
🔠Type-Level Programming
Kubernetes v1.34: Of Wind & Will (O' WaW)
kubernetes.io·5d·
Discuss: Hacker News
⎈Kubernetes
MathBuddy: A Multimodal System for Affective Math Tutoring
arxiv.org·4d
✓Automated Theorem Proving
Capabilities of GPT-5 across critical domains: Is it the next breakthrough?
arxiv.org·4d
🧩Parser Combinators