Change my mind: Floating point should not be the default number representation in high-level programming languages.
🔢Algebraic Data Types
Flag this post
Essential Services Maintenance Act
⏰Timed Automata
Flag this post
Post-Capitalism: The End of Money
📵Digital Minimalism
Flag this post
Show HN: OpenHealth – AI health platform with RAG over 38M medical papers
📦Module Systems
Flag this post
Bootstrap K8s on Harvester using Fleet
⎈Kubernetes
Flag this post
Alternative Fairness and Accuracy Optimization in Criminal Justice
arxiv.org·2d
👁️Observability
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Between Myths and Metaphors: Rethinking LLMs for SRH in Conservative Contexts
arxiv.org·4d
❓Existential Types
Flag this post
IL-PCSR: Legal Corpus for Prior Case and Statute Retrieval
arxiv.org·5d
🧩Parser Combinators
Flag this post
Frontend or Backend: Where Full-Stack Devs Spend Their Time
thenewstack.io·1d
🔧DevOps
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·4d
🔍CBMC
Flag this post
Two-Parameter R\'enyi Information Quantities with Applications to Privacy Amplification and Soft Covering
arxiv.org·4d
❓Existential Types
Flag this post
Multi-Modal Feature Fusion for Spatial Morphology Analysis of Traditional Villages via Hierarchical Graph Neural Networks
arxiv.org·6d
🕸️Graph Theory
Flag this post
Meta-agentic Prisoner's Dilemmas
lesswrong.com·4d
↔️Bisimilarity
Flag this post
Loading...Loading more...