Generalized Algebraic Data Types, Type Safety, Phantom Types

Show HN: I gamified passwords to make them easier to remember
passwordgame.apps.benthayer.com·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
The Devil Is in the Defaults
holzer.online·22h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
On Async Mutexes
matklad.github.io·1d·
🔀OCaml Multicore
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·23h
🧠Automated Reasoning
Flag this post
Reforging the ReScript Build System
rescript-lang.org·1d·
🔄Reproducible Builds
Flag this post
Myna: Monospace typeface designed for symbol-heavy programming languages
github.com·24m·
Discuss: Hacker News
🔤Typography
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·5h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
👁️Observability
Flag this post
AI-Driven Microfluidic Design Optimization via Hyperdimensional Feature Mapping & Reinforcement Learning
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Flag this post
The Case Against PGVector
alex-jacobs.com·2d·
Discuss: Hacker News
📐Linear Algebra
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
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·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·12h
🔲Cellular Automata
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4d·
Discuss: Hacker News
📦OPAM
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·10h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
dev.to·21h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.org·1d
📚Automata Learning
Flag this post