Change my mind: Floating point should not be the default number representation in high-level programming languages.
en.wikipedia.org·23h·
Discuss: r/programming
🔢Algebraic Data Types
Flag this post
Generating map tiles for FAA sectional charts with GDAL
ephemeral.cx·3h·
Discuss: Hacker News
🔄Finite State Machines
Flag this post
Using vimwiki as a personal, portable, knowledge base
neilzone.co.uk·7h·
Discuss: Hacker News
💾Classic Mac OS
Flag this post
Explaining the Accessible Benefits of Using Semantic HTML Elements
css-tricks.com·2h
📵Digital Minimalism
Flag this post
I Drew the Julia Logo Using an MRI Machine
cncastillo.github.io·1d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Apple Silicon and the Developer Dilemma
sagittarius-a.org·23h·
Discuss: Hacker News
💻Apple Virtualization
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·2d·
Discuss: Hacker News
🔧DevOps
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·6d·
🏗️Dune
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·5d·
Discuss: Substack
Process Calculi
Flag this post
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·19h·
Discuss: Hacker News
🛡️seL4
Flag this post
Dynamic Neuro-Network Resilience via Stochastic Gradient Amplification and Adaptive Sparsity (DNSAS)
dev.to·9h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
A Modular, Data-Free Pipeline for Multi-Label Intention Recognition in Transportation Agentic AI Applications
arxiv.org·13h
🔍CBMC
Flag this post
How to access and use Minimax M2 API
dev.to·3d·
Discuss: DEV
🐳Containerization
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·2d
🧠Automated Reasoning
Flag this post
SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
arxiv.org·13h
🎯Complexity Classes
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·2d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·2d
🐫OCaml
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·1d
🐫OCaml
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·21h·
Discuss: DEV
🔧Microservices
Flag this post