🎨 GADTs

Generalized ADTs, Type Equality, Phantom Types, OCaml

BindWeave: Subject-Consistent Video Generation Platform
bindweave.video·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Love thy robot – Reflections on morals and modern AI companions
learningfromexamples.com·4h·
Discuss: Hacker News
🤖Robotics
Flag this post
Ruby Solved My Problem
newsletter.masilotti.com·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
When deep thinking turns into deep hallucination
techkettle.blogspot.com·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
Show HN: Lanturn – A smart headlamp running voice+vision on ESP32
github.com·2d·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
DialectGen: Benchmarking and Improving Dialect Robustness in MultimodalGeneration
dev.to·1d·
Discuss: DEV
🎯Hindley-Milner
Flag this post
Unlock Dual Revenue: How to Monetize Your LLM Apps with AI Conversations
dev.to·2d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·5d·
Discuss: DEV
🔧ppx
Flag this post
Understanding the Role of a Context Engineer
dev.to·7h·
Discuss: DEV
🔤Language Design
Flag this post
Studying the Effect of Explicit Interaction Representations on Learning Scene-level Distributions of Human Trajectories
arxiv.org·2d
🔲Cellular Automata
Flag this post
Disciplined Biconvex Programming
arxiv.org·5d
λFunctional Programming
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3d·
Discuss: DEV
🔧ppx
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
🎯Complexity Classes
Flag this post
Qartographer: Quantum Chip Design... Reimagined!
dev.to·2d·
Discuss: DEV
🔧Microcontrollers
Flag this post
The AI Horizon Report: Essential Trends, Developer Insights, and Cultivating Credible Expertise (2025-11-08)
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Boosting Your Dev Career: A Deep Dive into Free AI Tools for Developers (2025-11-08)
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
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
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·19h·
Discuss: DEV
🔤DSLs
Flag this post
ECGXtract: Deep Learning-based ECG Feature Extraction for Automated CVD Diagnosis
arxiv.org·3d
👁️Observability
Flag this post