A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·12h·
Discuss: r/programming, r/rust
🧮SMT Solvers
Data destruction done wrong could cost your company millions
theregister.com·20h·
Discuss: Hacker News
🔐Hardware Security
Automated vulnerability scanning and vulnerability management (mrmcd25)
cdn.media.ccc.de·18h
🕳LLM Vulnerabilities
More hardware won’t fix bad engineering
infoworld.com·31m
⚙️Mechanical Sympathy
CI for Libvirt/Bhyve on FreeBSD
empt1e.blogspot.com·7h·
Discuss: Hacker News
🔓Open Source Software
Some Generalizations of Emergent Misalignment
lesswrong.com·17h
🔤Font Rendering
AMD Turin PSP binaries analysis from open-source firmware perspective
blog.3mdeb.com·11h·
Discuss: Hacker News
🔐Hardware Security
WindowTextExtractor 2.2.1
majorgeeks.com·16h
🔧Developer tools
Soil’s “dark” microbes open the door to future antibiotics
nature.com·17h
🍄Mycorrhizal Networks
Embedded async debugging and inspect-embassy
tweedegolf.nl·9h
🔬Rust Profiling
Looking for some advice before i dive in
reddit.com·14h·
Discuss: r/LocalLLaMA
🏆LLM Benchmarking
The pirate-based logic of Rust shared references
ais523.me.uk·15h
🦀Rust Compiler Internals
Which NPM package has the largest version number?
adamhl.dev·6h·
Discuss: Hacker News
🔬Rust Profiling
Comparing transitive dependency version resolution in Rust and Java
blog.frankel.ch·14h·
Discuss: r/rust
🦀Rust
Controversial advice: rewrite software three times to get to standout quality. An interesting observation by Steve McConnell, author of Code Complete.
bsky.app·17h·
Discuss: Bluesky
✨Code Aesthetics
Ultima Ratio Regum 0.11 Update #43: The Player’s Journal #3
markrjohnsongames.com·21h
🔎Tantivy
Reverse-Engineering Aleratec CD Changers for Archival Use
hackaday.com·16h
🛡️System Reliability
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·9h·
Discuss: Hacker News
🪄Prompt Engineering
"Rustmaker" Merged For LibreOffice 26.2 Development As Latest Rust Integration
phoronix.com·2h
🦀Rust
Hosting a WebSite on a Disposable Vape
bogdanthegeek.github.io·7h·
Discuss: Lobsters, Hacker News
🏠Self-hosting