Generalized Algebraic Data Types, Type Safety, Phantom Types

What Is Occult Grammar?
blog.izs.me·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·13h·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·7h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·1d
🧩Parser Combinators
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
Existential 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
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·1h
🔍CBMC
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·1h
🔍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
Parsing Validation
lesswrong.com·9h
🔀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·1h
Existential Types
Flag this post