Generalized Algebraic Data Types, Type Safety, Phantom Types

The Devil Is in the Defaults
holzer.online·17h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Show HN: I gamified passwords to make them easier to remember
passwordgame.apps.benthayer.com·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
On Async Mutexes
matklad.github.io·1d·
🔀OCaml Multicore
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·17h
🧠Automated Reasoning
Flag this post
Reforging the ReScript Build System
rescript-lang.org·19h·
🔄Reproducible Builds
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
👁️Observability
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.org·7h
🔍CBMC
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·1d
🎮Verification Games
Flag this post
Temporal Fusion Transformer for Multi-Horizon Probabilistic Forecasting of Weekly Retail Sales
arxiv.org·1d
📚Automata Learning
Flag this post
Between Myths and Metaphors: Rethinking LLMs for SRH in Conservative Contexts
arxiv.org·7h
Existential Types
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·1d·
Discuss: DEV
Existential Types
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·23h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.org·7h
📐Linear Algebra
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
dev.to·15h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·1d
📦Opam
Flag this post
Branched Signature Model
arxiv.org·1d
🕸️Graph Theory
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·7h
🔲Cellular Automata
Flag this post