Building our geospatial database in production
radar.com·4d·
Discuss: Hacker News
🎯GADT
Flag this post
Servant by construction – a blog series on Haskell's web stack gem
laurentrdc.xyz·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Using CRDTs and Sync as a Database
jackson.dev·2d·
Discuss: Hacker News
🎯GADT
Flag this post
LightGBM Explained
yanisfalaki.com·20h·
Discuss: Hacker News
🎨GADTs
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·4d·
🔧Unikernel Development
Flag this post
Interesting SPI Routing with iCE40 FPGAs
danielmangum.com·2d·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
Anukari on the CPU (part 2: CPU optimization)
anukari.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Architectures of the AI Mind
artificiallyintelligentspace.substack.com·4h·
Discuss: Substack
🔲Cellular Automata
Flag this post
The Uncomfortable Truth About AI Agents: 90% Claim Victory While 10% Achieve Adoption
techupkeep.dev·1d·
👁️Observability
Flag this post
Rain Launches Its Decentralized Prediction Markets Protocol, Anyone Can Create Their Own Market
hackernoon.com·2d
🖥️Self-hosted Infrastructure
Flag this post
Ubuntu Server 25.10 Performance On AMD EPYC With "amd64v3" Optimized Packages
phoronix.com·2d
💻QEMU
Flag this post
Can Models be Evaluation Aware Without Explicit Verbalization?
lesswrong.com·1d
🔍Formal Verification
Flag this post
Structural Priors and Modular Adapters in the Composable Fine-Tuning Algorithm of Large-Scale Models
arxiv.org·2d
🧮SMT Solvers
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·3d·
Discuss: DEV
🔧DevOps
Flag this post
Agent Garden - Samples for learning, discovering and building
developers.googleblog.com·2d
❄️NixOS
Flag this post
Building a Python @trace Decorator in Rust
dev.to·2d·
Discuss: DEV
📦Module Systems
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·5d·
Discuss: DEV
🔧ppx
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
Smart Chips, Steady Power: Boosting AI Performance with Voltage Drop Prediction
dev.to·16h·
Discuss: DEV
🐫Embedded OCaml
Flag this post