Generalized ADTs, Type Equality, Phantom Types, OCaml

Basecamp's Shape Up is a Michelin restaurant brigade system for software
itwasjacob.com·11h·
Discuss: Hacker News
🔧DevOps
Flag this post
Put a little Pixie in your cluster
bitfieldconsulting.com·1d
📦Unikernel Systems
Flag this post
The Foundation You Can't Outsource
blog.namar0x0309.com·1d·
Discuss: Hacker News
🧮Z3
Flag this post
Modern Optimizers – An Alchemist's Notes on Deep Learning
notes.kvfrans.com·2d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Branched Signature Model
arxiv.org·5d
🕸️Graph Theory
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Enhanced Risk Mitigation via Predictive Sensor Fusion in Subsea Pipeline Integrity Management
dev.to·2d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.org·5d
📚Automata Learning
Flag this post
RAG Evaluation Best Practices for Reliable Retrieval Systems
dev.to·2d·
Discuss: DEV
🔍Formal Verification
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
💻Apple Virtualization
Flag this post
Digital Twin-Driven Pavement Health Monitoring and Maintenance Optimization Using Graph Neural Networks
arxiv.org·3d
🕸️Graph Theory
Flag this post
We're Already Living in a Sci-Fi World
lesswrong.com·14h
🔲Cellular Automata
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·8h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
dev.to·4h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Colorectal Cancer Histopathological Grading using Multi-Scale Federated Learning
arxiv.org·3d
⏱️Computational Complexity
Flag this post
Large language models replicate and predict human cooperation across experiments in game theory
arxiv.org·2d
🎮Verification Games
Flag this post
Building an AWS Daily Helper Assistant with Strands Agents and Bedrock AgentCore
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post