Gemini 2.5 Flash-Lite is now stable and generally available
developers.googleblog.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Become an Engineering Leader Everyone Wants to Work With
newsletter.eng-leadership.com·1h·
Discuss: r/programming
🎮Verification Games
You Might Not Need LangChain for Your Next AI App
shuvrojit.substack.com·3d·
Discuss: Substack
🐫OCaml
158-year-old company forced to close after ransomware attack precipitated by a single guessed password — 700 jobs lost after hackers demand unpayable sum
tomshardware.com·1d·
Discuss: Hacker News, r/technews
🛡️seL4
Deeper Theories of Program Design
typesanitizer.com·3d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Operating System Design
Morally corrupt innovations are the easiest innovations to create
ceoretort.com·1h·
Discuss: Hacker News
💾Retro Computing
Show HN: The Influencer AI – consistent AI "models" for photos and talking video
theinfluencer.ai·1d·
Discuss: Hacker News
🍎Apple
Figgie Auto: An algorithmic sandbox for Jane Street's game, "Figgie"
github.com·1d·
Discuss: Hacker News
🎮Verification Games
Quantum Blockchain Survey: Foundations, Trends, and Gaps
arxiv.org·2d
🖥️Self-hosted Infrastructure
From Neurons to Semantics: Evaluating Cross-Linguistic Alignment Capabilities of Large Language Models via Neurons Alignment
arxiv.org·1d
🐫Embedded OCaml
Small LLMs Do Not Learn a Generalizable Theory of Mind via Reinforcement Learning
arxiv.org·1d
✓Automated Theorem Proving
Novel Multi-Agent Action Masked Deep Reinforcement Learning for General Industrial Assembly Lines Balancing Problems
arxiv.org·20h
🤖Program Synthesis
Generative Distribution Distillation
arxiv.org·1d
🤖Program Synthesis
MorphoNAS: Embryogenic Neural Architecture Search Through Morphogen-Guided Development
arxiv.org·2d
🐫OCaml
Bipartite Patient-Modality Graph Learning with Event-Conditional Modelling of Censoring for Cancer Survival Prediction
arxiv.org·20h
🔠Type-Level Programming
ReDiSC: A Reparameterized Masked Diffusion Model for Scalable Node Classification with Structured Predictions
arxiv.org·1d
➡️Category Theory
SAFT: Structure-Aware Fine-Tuning of LLMs for AMR-to-Text Generation
arxiv.org·2d
🐫OCaml
VTarbel: Targeted Label Attack with Minimal Knowledge on Detector-enhanced Vertical Federated Learning
arxiv.org·1d
🎮Verification Games
Advanced Space Mapping Technique Integrating a Shared Coarse Model for Multistate Tuning-Driven Multiphysics Optimization of Tunable Filters
arxiv.org·1d
🐫OCaml
Apple releases developer beta 4 for visionOS 26
9to5mac.com·1d
🍎Apple