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
How much disorder is there in a descending run?
morwenn.github.io·3d·
Discuss: Hacker News
Order Theory
Flag this post
How to CAD Almost Anything (2024)
ocw.mit.edu·21h·
Discuss: Hacker News
🔤Typography
Flag this post
Show HN: I made a better DOM morphing algorithm
joel.drapper.me·17m·
Discuss: Hacker News
🔧ppx
Flag this post
A New Ion-Based Quantum Computer Makes Error Correction Simpler
tech.slashdot.org·1d
🖥️KVM
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
BackMark: Markdown-Native Task Management for AI-Powered Vibe Coding
backmark.tech·38m·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·2d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·2d·
Discuss: Hacker News, r/LLM
📚Automata Learning
Flag this post
I Use AI
ben.stolovitz.com·2d·
Discuss: Hacker News
🔤Language Design
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·4d·
Discuss: Hacker News
🔍CBMC
Flag this post
Developer Case Study: Cursor and Claude Code Suggested Building a Proxy. Shotgun CLI Found LiteLLM Instead.
dev.to·19h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Predictive Maintenance of Typhoon HIL Simulator Components via Sensor Fusion and Bayesian Optimization
dev.to·13h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
dev.to·3d·
Discuss: DEV
🧱Immutable Infrastructure
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Your AI-Powered Hub for Notes & Tasks: Built for Offline-First Productivity
dev.to·22h·
Discuss: DEV
🌐ActivityPub
Flag this post
Introducing the MindsEye Notification Project — Adaptive Email Automation for the Future of AI Systems
dev.to·20h·
Discuss: DEV
📦OPAM
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·2d
📚Automata Learning
Flag this post
Top 10 AI Prompts That Helped Me Automate My DevOps Workflows
dev.to·2h·
Discuss: DEV
🔧DevOps
Flag this post