Generalized ADTs, Type Equality, Phantom Types, OCaml

Change my mind: Floating point should not be the default number representation in high-level programming languages.
en.wikipedia.org·1d·
Discuss: r/programming
🔢Algebraic Data Types
Flag this post
Improving Structured Outputs in the Gemini API
blog.google·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·2d·
Discuss: Substack
📚Automata Learning
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.org·3d
🧩Parser Combinators
Flag this post
Evaluating the Impact of Weather-Induced Sensor Occlusion on BEVFusion for 3D Object Detection
arxiv.org·3h
🔲Cellular Automata
Flag this post
Prog8
github.com·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Periodic Skill Discovery
arxiv.org·1d
📚Automata Learning
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·3d·
Discuss: DEV
👁️Observability
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·3d
🔤DSLs
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·6d·
Discuss: r/golang
🎯GADT
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·3d·
Discuss: DEV
🔤Language Design
Flag this post
**Hyperlocal Weather Anomaly Forecasting via Spatiotemporal Graph Neural Networks & Ensemble Kalman Filtering**
dev.to·1d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·4d
📚Automata Learning
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·2d·
💾Retro Computing
Flag this post
Building Altruistic and Moral AI Agent with Brain-inspired Emotional Empathy Mechanisms
arxiv.org·3h
🩹Self-Healing Systems
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·3d
🧩Parser Combinators
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·3d
🎯Hindley-Milner
Flag this post