Generalized ADTs, Type Equality, Phantom Types, OCaml

Three releases, one new organization
nedbatchelder.com·1d
🔀OCaml Multicore
Flag this post
The Maker Bill of Rights
gofoss.net·19h·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
Unlicensing
fossable.org·14h·
Discuss: Hacker News
🔬Unikernels
Flag this post
Meta’s Generative Ads Model (GEM): The Central Brain Accelerating Ads Recommendation AI Innovation
engineering.fb.com·23h·
Discuss: Hacker News
💻Apple Virtualization
Flag this post
DARPA and Texas Bet $1.4 Billion on a Unique Foundry
spectrum.ieee.org·1d·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
Taurus Database: How to Be Fast, Available, and Frugal in the Cloud
muratbuffalo.blogspot.com·19h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Anukari on the CPU (part 2: CPU optimization)
anukari.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Different Ways to Count
dev.to·17h·
Discuss: DEV
🔤Typography
Flag this post
Kotlin vs Go: The Developer Showdown That Won’t End
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Announcing the Agent Development Kit for Go: Build Powerful AI Agents with Your Favorite Languages
developers.googleblog.com·3d
🔄Reproducible Builds
Flag this post
Murder Web Forms with BPMN Driven AI Agents
medium.com·14h·
Discuss: Hacker News
📚Automata Learning
Flag this post
The Value of Personalized Recommendations: Evidence from Netflix
arxiv.org·11h
Order Theory
Flag this post
Announcing SlopGuard — Open-Source Defence Against AI Supply Chain Attacks
dev.to·4d·
Discuss: DEV
🛡️seL4
Flag this post
Forked A/B Index Optimizer: Making Database Optimization Accessible to Everyone
dev.to·4d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·11h·
Discuss: DEV
🔧DevOps
Flag this post
Designing Beyond Language: Sociotechnical Barriers in AI Health Technologies for Limited English Proficiency
arxiv.org·11h
📚Automata Learning
Flag this post
My Journey in Tech So Far: From Curiosity to Code
dev.to·1h·
Discuss: DEV
📵Digital Minimalism
Flag this post
Understanding Canary Rollouts: Strategies, Techniques, and Real-World Applications
blog.devops.dev·7h
🔧DevOps
Flag this post
Predictive Microbial Competition Modeling via Multi-Scale Agent-Based Simulations & Bayesian Optimization
dev.to·3d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Enhanced Predictive Maintenance of Wind Turbine Gearboxes via Multi-Modal Data Fusion & Bayesian Optimization
dev.to·2d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post