๐ŸŽฏ GADT

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
On Async Mutexes
matklad.github.ioยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Reforging the ReScript Build System
rescript-lang.orgยท17hยท
Discuss: Lobsters, Hacker News
๐Ÿ”„Reproducible Builds
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.aiยท16hยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.comยท1d
๐Ÿ‘๏ธObservability
Flag this post
Wavelet-Based Feature Extraction and Unsupervised Clustering for Parity Detection: A Feature Engineering Perspective
arxiv.orgยท1d
๐Ÿ”ขAlgebraic Data Types
Flag this post
Creating a very basic gRPC server
dev.toยท1dยท
Discuss: DEV
๐ŸŒNetworkProtocols
Flag this post
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
dev.toยท1dยท
Discuss: DEV
๐Ÿง Automated Reasoning
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.comยท3h
๐Ÿ”ฒCellular Automata
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.orgยท4h
๐Ÿ”CBMC
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.orgยท1d
โ“Existential Types
Flag this post
Disciplined Biconvex Programming
arxiv.orgยท1d
ฮปFunctional Programming
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.orgยท4h
๐Ÿ”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
DEER: Disentangled Mixture of Experts with Instance-Adaptive Routing for Generalizable Machine-Generated Text Detection
arxiv.orgยท1d
๐ŸงฉParser Combinators
Flag this post
Parsing Validation
lesswrong.comยท12h
๐Ÿ”€Brzozowski Derivatives
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ยท4h
โ“Existential Types
Flag this post
A Dual-Use Framework for Clinical Gait Analysis: Attention-Based Sensor Optimization and Automated Dataset Auditing
arxiv.orgยท4h
๐Ÿ‘๏ธObservability
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