Generalized ADTs, Type Equality, Phantom Types, OCaml

Snow and memory
leancrew.com·21h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Can Grafana Run Doom? – Grafana Labs
grafana.com·3h·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
I Use Typst Now
christopherbiscardi.com·3d·
🔤Typography
Flag this post
OpenMW 0.50.0 Released – open-source Morrowind reimplementation
openmw.org·3d·
📦Unikernel Systems
Flag this post
Managing Modern HPC Clusters and Supercomputers from Software to Hardware
link.springer.com·17h·
Discuss: Hacker News
🖥Self-Hosting
Flag this post
The Unreasonable Effectiveness of AI Hallucinations – Brain Hurricane Blog
app.brainhurricane.ai·11h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Practitioners’ Guide to Chiseled Containers: Smaller, Faster, Safer
thenewstack.io·6h
🐳Containerization
Flag this post
Rodrigo Girão Serrão: Module compression overview
mathspp.com·2d
🍎Mach-O Format
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Evaluating Generative AI as an Educational Tool for Radiology Resident Report Drafting
arxiv.org·4d
🔲Cellular Automata
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·22h·
Discuss: DEV
🏃Escape Analysis
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·20h·
Discuss: DEV
🔤Regular Expressions
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·16h·
Discuss: DEV
🤖Program Synthesis
Flag this post
Can LLMs subtract numbers?
arxiv.org·5d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
UltraCUA: A Foundation Model for Computer Use Agents with Hybrid Action
dev.to·1h·
Discuss: DEV
💾Retro Computing
Flag this post
What Is Pwn?
pwnforfunandprofit.substack.com·2d·
Discuss: Substack
🏃Escape Analysis
Flag this post
Hybrid Quantum-Classical Detection for RIS-Assisted SC-FDE via Grover Adaptive Search
arxiv.org·3d
🔢Matrix Decomposition
Flag this post