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ยท1dยท
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ยท1d
๐Ÿง Automated Reasoning
Flag this post
Reforging the ReScript Build System
rescript-lang.orgยท1dยท
๐Ÿ”„Reproducible Builds
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.comยท1dยท
Discuss: Hacker News
๐Ÿ“Hoare Logic
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.comยท2d
๐Ÿ‘๏ธObservability
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท7hยท
Discuss: DEV
๐Ÿ”€Brzozowski Derivatives
Flag this post
AI-Driven Microfluidic Design Optimization via Hyperdimensional Feature Mapping & Reinforcement Learning
dev.toยท4hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
The Case Against PGVector
alex-jacobs.comยท2dยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
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ยท12hยท
Discuss: DEV
๐Ÿ”€Brzozowski Derivatives
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
dev.toยท23hยท
Discuss: DEV
๐Ÿง Automated Reasoning
Flag this post
Why agents do not write most of our code โ€“ a reality check
octomind.devยท2dยท
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ยท15h
๐Ÿ”ฒCellular Automata
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard ๐Ÿง™โ€โ™‚๏ธ
dev.toยท22hยท
Discuss: DEV
๐Ÿค–Program Synthesis
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.orgยท1d
๐Ÿ“Linear Algebra
Flag this post