Change my mind: Floating point should not be the default number representation in high-level programming languages.
🔢Algebraic Data Types
Flag this post
Zed Editor in 2025: Your Guide to the High-Performance, Rust-Based Code Editor
🏃Escape Analysis
Flag this post
Improving Emacs' iCalendar Support
🐫Embedded OCaml
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
💎Refinement Types
Flag this post
Era of Disposable Software
📵Digital Minimalism
Flag this post
The Death of the Demo
🎮Verification Games
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
🔀OCaml Multicore
Flag this post
Performance Analysis of NOMA-Assisted Optical OFDM ISAC Systems with Clipping Distortion
arxiv.org·15h
📐Linear Algebra
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·2d
🔲Cellular Automata
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·5d
🔲Cellular Automata
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Building Your Own LLM-Powered Sports Analyst: A RAG Approach with Fine-tuning
🎯Hindley-Milner
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
✓Automated Theorem Proving
Flag this post
Loading...Loading more...