Change my mind: Floating point should not be the default number representation in high-level programming languages.
🔢Algebraic Data Types
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
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
Real-Time Face Recognition Attendance — QR Access & Google Sheets Integration
🧮SMT Solvers
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
🧩Parser Combinators
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
✓Automated Theorem Proving
Flag this post
Merlin L48 Spectrogram Dataset
arxiv.org·1d
📚Automata Learning
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·2d
🔧DevOps
Flag this post
A generative adversarial network optimization method for damage detection and digital twinning by deep AI fault learning: Z24 Bridge structural health monitorin...
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
From vibe coding to context engineering: 2025 in software development
🤖Program Synthesis
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·1d
🧩Parser Combinators
Flag this post
The Hardest Bug to Fix Is Ambiguity
🔍Formal Verification
Flag this post
Condition-Invariant fMRI Decoding of Speech Intelligibility with Deep State Space Model
arxiv.org·19h
🔀OCaml Multicore
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
🔀Brzozowski Derivatives
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
💎Refinement Types
Flag this post
Loading...Loading more...