On This Dayin Math - November 2
pballew.blogspot.com·1d·
Discuss: www.blogger.com
⚙️Proof Engineering
Flag this post
Weekly Bookmarks
inkdroid.org·1d
🏠Homelab Archaeology
Flag this post
Cast(x AS STRING) casts to integer in SQLite
lalitm.com·10h·
Discuss: Lobsters, Hacker News
💾SQLite
Flag this post
Max Number of Simultaneous Key-Press (N-Key Rollover, NKRO, Ghosting)
xahlee.info·6h·
Discuss: Hacker News
⌨️Mechanical Keyboards
Flag this post
Agents Are Commoditizing the Complement
andreasfragner.com·4h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Introduction to Python Module Three Part Three: Conditionals
dev.to·9h·
Discuss: DEV
🔗Constraint Handling
Flag this post
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
blog.wilsonl.in·1d·
Discuss: Hacker News
🗃️Database Storage
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·11h·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·1d·
Discuss: Substack
🚀SIMD Text Processing
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·10h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
🧠 Mastering Goroutines in Go: The Power of Lightweight Concurrency.
dev.to·16h·
Discuss: DEV
🔩Systems Programming
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·7h·
Discuss: googleprojectzero.blogspot.com, Hacker News
🏷️Memory Tagging
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·4h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Building a Google Play Store Rating Agent with Mastra and Telex.im
dev.to·4h·
Discuss: DEV
🌊Streaming Systems
Flag this post
Scala vs. F#
alexn.org·22h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Experience with SimpleX Chat: Ultimate Open Source Private Messaging App? (2024)
news.itsfoss.com·3h·
Discuss: Hacker News
🔌Offline-first Apps
Flag this post
Making a C64/C65 compatible computer: MEGAphone contact list and Dialer
c65gs.blogspot.com·11h·
Discuss: Hacker News
📺VT100 Emulation
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·2d·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
Music in rust with tunes
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Flag this post
This is one way I use AI for coding
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Flag this post