Generalized Algebraic Data Types, Type Safety, Phantom Types

Show HN: I gamified passwords to make them easier to remember
passwordgame.apps.benthayer.com·2d·
Discuss: Hacker News
🎮Verification Games
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·9h·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·1d
🧠Automated Reasoning
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
Automated Material Mixing Optimization for Large-Scale 3D Printed Concrete Structures via Bayesian Reinforcement Learning
dev.to·1h·
Discuss: DEV
🤖Robotics
Flag this post
Branched Signature Model
arxiv.org·1d
🕸️Graph Theory
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
BondBERT: What we learn when assigning sentiment in the bond market
arxiv.org·23h
🧩Parser Combinators
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·1d
🎮Verification Games
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·1d
🔲Cellular Automata
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.org·23h
🛡️seL4
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·23h
📚Automata Learning
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
dev.to·2d·
Discuss: DEV
🧱Immutable Infrastructure
Flag this post
Automated Optimization of Single-Molecule Magnet (SMM) Anisotropy via Machine Learning-Guided Ligand Design
dev.to·5h·
Discuss: DEV
📐Linear Algebra
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.org·23h
🔢Algebraic Data Types
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.org·23h
📐Linear Algebra
Flag this post
Detached agent chains that work like people do
dev.to·6h·
Discuss: DEV
Timed Automata
Flag this post