Scientists discover new microbes aboard research vessel
news.d.umn.edu·9h·
Discuss: Hacker News
⎈Kubernetes
Am I Becoming Irrelevant?
jordivillar.com·3h·
Discuss: Hacker News
👁️System Observability
Why Children Behave the Way They Do
domofutu.substack.com·1d·
Discuss: Substack
🔠Type-Level Programming
Beauty Comes from Absence
karlkoch.me·4d·
Discuss: Hacker News
🔬Unikernels
Mill: A Better Build Tool for Java, Scala, & Kotlin
mill-build.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
Using data version control to build better AI factories
lakefs.io·16h·
Discuss: Hacker News
🔄Reproducible Builds
AI Engineering in Legal Practice
ai.intellectronica.net·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Types are Transforming Python
spin.atomicobject.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·6d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Discover tools that work with Claude
anthropic.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: BinaryRPC – Lightweight WebSocket-based RPC framework in modern C++
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Disentanglement and Assessment of Shortcuts in Ophthalmological Retinal Imaging Exams
arxiv.org·5h
🏹Effect Systems
Can LLMs Reliably Simulate Real Students' Abilities in Mathematics and Reading Comprehension?
arxiv.org·1d
🎮Verification Games
Improving MLLM's Document Image Machine Translation via Synchronously Self-reviewing Its OCR Proficiency
arxiv.org·1d
🐫OCaml
A Multi-Modal Fusion Framework for Brain Tumor Segmentation Based on 3D Spatial-Language-Vision Integration and Bidirectional Interactive Attention Mechanism
arxiv.org·1d
🐫OCaml
A Brain Tumor Segmentation Method Based on CLIP and 3D U-Net with Cross-Modal Semantic Guidance and Multi-Level Feature Fusion
arxiv.org·5h
🔠Type-Level Programming
Application of RESNET50 Convolution Neural Network for the Extraction of Optical Parameters in Scattering Media
arxiv.org·5h
🐫OCaml
SSH-Passkeys: Leveraging Web Authentication for Passwordless SSH
arxiv.org·5h
🌐NetworkProtocols
Analysis of Propaganda in Tweets From Politically Biased Sources
arxiv.org·1d
🔠Type-Level Programming