🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βš™οΈ Assembly Verification

Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly

Optimizing CI/CD with RAM Target Applications
mcuoneclipse.comΒ·1d
🏷️Memory Tagging
When is a group not a group?
cameroncounts.wordpress.comΒ·3d
πŸ•ΈοΈGraph Algorithms
Elixir background jobs: choosing the right tool for the job
honeybadger.ioΒ·7h
🌊Stream Processing
The Data Room App (thedataroom.app)
djpardis.medium.comΒ·1hΒ·
Discuss: Hacker News
πŸš€Indie Hacking
Experimenting with SQL:2023 Property-Graph Queries in Postgres 18
gavinray97.github.ioΒ·1dΒ·
Discuss: Hacker News
🧬PostgreSQL Forensics
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.comΒ·2dΒ·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Show HN: Tips for getting great Text2Cypher outputs from LLMs for Graph RAG
blog.kuzudb.comΒ·2dΒ·
Discuss: Hacker News
πŸ•ΈοΈNeo4j
Test Code Like Zelda: When to Implement Automated Testing
usetusk.aiΒ·2dΒ·
Discuss: Hacker News
πŸ”Concolic Testing
Asynchrony is not Concurrency
kristoff.itΒ·3dΒ·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
What people said about an OpenZFS bug
despairlabs.comΒ·4dΒ·
Discuss: Lobsters, Hacker News
πŸ”’Type Safety
Some notes on project management
andrewpwheeler.comΒ·12hΒ·
Discuss: Hacker News
πŸ“Code Metrics
πŸš€ The Complete Guide to Prompt Engineering: From Zero-Shot to AI Agents
dev.toΒ·21hΒ·
Discuss: DEV
⚑Proof Automation
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.comΒ·21hΒ·
Discuss: Hacker News
πŸ”ŒOperating system internals
Nearly 2 million people watched this spellbinding video of a mini PC being built from a slab of aluminium to a complete computer
techradar.comΒ·1d
πŸ‡©πŸ‡ͺGerman Computers
Ask HN: What's the worst part of web E2E testing?
news.ycombinator.comΒ·15hΒ·
Discuss: Hacker News
πŸ›Fuzzing
Turning My Homelab into a Smart Home Automation Powerhouse πŸš€
reddit.comΒ·19hΒ·
Discuss: r/homelab
🏠Homelab Automation
Title: Open vs. Closed Models: Balancing Trade-offs for Enterprise AI Adoption
dev.toΒ·7hΒ·
Discuss: DEV
πŸ”’WASM Capabilities
Go's Last Words on Error Handling Syntax
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“œProof Carrying Code
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.toΒ·1dΒ·
Discuss: DEV
⚑Incremental Computation
Designing an Open Source Multimeter: the HydraMeter
hackaday.comΒ·11h
πŸ“»Homebrew Protocols
Loading...Loading more...
AboutBlogChangelogRoadmap