Generalized ADTs, Type Equality, Phantom Types, OCaml

Can we hide the orange dot without disabling SIP?
notes.alinpanaitiu.com·12h·
Discuss: Hacker News
📺Vintage Apple
Flag this post
Beyond Start and End: PostgreSQL Range Types
boringsql.com·3d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Naïve Shuffle Algorithm (2007)
blog.codinghorror.com·2d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·2d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
⏱️Computational Complexity
Flag this post
Automated Exoplanet Atmospheric Biosignature Discrimination via Spectral Decomposition & Machine Learning
dev.to·10h·
Discuss: DEV
👁️Observability
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·1d·
Discuss: Hacker News
💎Refinement Types
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
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·1d
🧮SMT Solvers
Flag this post
Surfacing Subtle Stereotypes: A Multilingual, Debate-Oriented Evaluation of Modern LLMs
arxiv.org·1d
Existential Types
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·1d
🧩Parser Combinators
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·5d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·18h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
AI-Driven Biomarker Discovery for Accelerated Orphan Drug Development
dev.to·3d·
Discuss: DEV
🧠Automated Reasoning
Flag this post