Change my mind: Floating point should not be the default number representation in high-level programming languages.
en.wikipedia.org·13h·
Discuss: r/programming
🧠Computer Architecture
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·4d·
Discuss: Hacker News, r/rust
🦀Rust
Flag this post
Flatpak Happenings
blog.sebastianwick.net·21h·
Discuss: Hacker News, r/linux
📡Distributed Systems
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·2d·
Discuss: Substack
📦WebAssembly
Flag this post
Show HN: Yansu, Serious Coding
twitter.com·13h·
Discuss: Hacker News
🚢DevOps
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·6d·
Discuss: Hacker News
🔌Network Programming
Flag this post
Show HN: Structa – Design databases in plain English with AI
trystructa.com·1d·
Discuss: DEV, Hacker News
🌐HTMX
Flag this post
Building Browser-Native Presentations with Scittle
clojurecivitas.github.io·2d·
Discuss: Hacker News
🌐HTMX
Flag this post
The Noise and the Signal
russmiles.substack.com·2d·
Discuss: Substack
⚙️Engineering
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·5d·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·1d·
Discuss: Hacker News
📦WebAssembly
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·1h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·23h·
Discuss: Hacker News
⚙️Engineering
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Fourier Transforms
continuummechanics.org·15h·
Discuss: Hacker News
⚙️Engineering
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·1d·
Discuss: Hacker News, Hacker News
🚢DevOps
Flag this post
Petri Dish Neural Cellular Automata
pub.sakana.ai·1d·
Discuss: Hacker News
📡Distributed Systems
Flag this post
CEF.AI is hiring for Principal Software Engineer position in SF
join.com·22h·
Discuss: Hacker News
🚢DevOps
Flag this post
We're Counting Birbs Today
counting-stuff.com·12h·
Discuss: Hacker News
📡Distributed Systems
Flag this post