🎨 GADTs

Generalized ADTs, Type Equality, Phantom Types, OCaml

MotorManage for iPhone: The Motorcycle Maintenance App Riders Asked For
motormanage.app·56m·
Discuss: Hacker News
👁️Observability
Flag this post
Announcing Support for Complex Attribute Types in OTel
opentelemetry.io·4d·
Discuss: Hacker News
🎯GADT
Flag this post
Postgres Internals Hiding in Plain Sight
crunchydata.com·2d·
Discuss: Hacker News
🎯GADT
Flag this post
How a devboard works (and how to make your own)
kaipereira.com·2d·
Discuss: Hacker News, r/embedded
💻QEMU
Flag this post
HP MicroServer Gen 8
reddit.com·4h·
Discuss: r/homelab
💻QEMU
Flag this post
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·4d·
Discuss: Lobsters, Hacker News
🛡️seL4
Flag this post
Switching from Synchronous to Asynchronous Mode of Coding
blog.joemag.dev·5h·
Discuss: Hacker News
🔧DevOps
Flag this post
Show HN: Reverse perspective camera for OpenGL (Three.js)
github.com·2h·
Discuss: Hacker News
🔬Unikernels
Flag this post
Which Chip Is Best?
blog.confident.security·3d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·6d·
Discuss: Hacker News
λFunctional Programming
Flag this post
A Middle Layer for Offloading JVM-Based SQL Engines' Execution to Native Engines
github.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·12h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·10h·
Discuss: DEV
💻QEMU
Flag this post
Left Atrial Segmentation with nnU-Net Using MRI
arxiv.org·3d
📚Automata Learning
Flag this post
Myopia Mythology
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Use of Continuous Glucose Monitoring with Machine Learning to Identify Metabolic Subphenotypes and Inform Precision Lifestyle Changes
arxiv.org·3d
👁️Observability
Flag this post
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.org·4d
🔍Formal Verification
Flag this post
Computation as a Game
arxiv.org·6d
⏱️Computational Complexity
Flag this post
Building a Real-Time AI Interview Agent with Voice
dev.to·5h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3d·
Discuss: DEV
🎯Complexity Classes
Flag this post