🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βœ… Formal Verification

Correctness Proofs, Model Checking, Theorem Proving, Program Analysis

Work under way on first interconnector between Ireland and mainland Europe
rte.ieΒ·14hΒ·
Discuss: Hacker News
πŸ”ŒNetwork Programming
β€˜Ad Blocking is Not Piracy’ Decision Overturned By Top German Court
torrentfreak.comΒ·2dΒ·
Discuss: Hacker News, r/Piracy
πŸ”eBPF
UGC Maker: Real UGC Ads and Shorts, Made with AI
ugcmaker.ioΒ·12hΒ·
Discuss: Hacker News
🚒DevOps
How churches use data and AI as engines of surveillance
technologyreview.comΒ·2dΒ·
Discuss: Hacker News
πŸ‘οΈObservability
Working with Btrfs – Snapshots
fedoramagazine.orgΒ·2dΒ·
Discuss: Hacker News
πŸ—„Database Systems
SubBuddy: Never Miss a Payment Again
subbuddy.ioΒ·1dΒ·
Discuss: Hacker News, Hacker News
πŸ•ΈοΈService Mesh
Every Public Facing Organisation Should Run a Provenance Service
djoker.devΒ·3dΒ·
Discuss: Hacker News
🌐HTMX
Creating a read-only PostgreSQL user
crunchydata.comΒ·1dΒ·
Discuss: Hacker News
πŸ—„Database Systems
Avi Loeb: Is 3I/Atlas Our Turing Test by a Superior Alien Intelligence?
avi-loeb.medium.comΒ·1dΒ·
Discuss: Hacker News
βš™οΈEngineering
New Linux Patches Allow Manipulating Out-Of-Memory Behavior Using BPF
phoronix.comΒ·2dΒ·
Discuss: Hacker News
πŸ”eBPF
Microsoft Invented a Calculator That Is Wrong Sometimes
defector.comΒ·18hΒ·
Discuss: Hacker News
βš™οΈEngineering
How to Achieve Ultimate Blog Success in One Easy Step (2007)
blog.codinghorror.comΒ·2dΒ·
Discuss: Hacker News
🚒DevOps
High-density retinal signal deciphering to diagnose psychiatric disorders
sciencedirect.comΒ·2hΒ·
Discuss: Hacker News
⚑Performance Engineering
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.meΒ·6dΒ·
Discuss: Lobsters, Hacker News
πŸ”„Compiler Design
Grok chats exposed in Google results
bbc.co.ukΒ·5hΒ·
Discuss: Hacker News, r/news
πŸ‘οΈObservability
Big Jobs – How to Thrive in the "AI Jobs Apocalypse"
fluxus.ioΒ·8hΒ·
Discuss: Hacker News
🚒DevOps
Ask HN: What is the most effective way to unblur a QR code?
news.ycombinator.comΒ·2dΒ·
Discuss: Hacker News
🌐HTMX
Texas attorney general accuses Meta, Character.AI of misleading kids with mental health claims
techcrunch.comΒ·3dΒ·
Discuss: Hacker News
🌐HTMX
Nexus: Securing MCP Tool Sprawl
grafbase.comΒ·3dΒ·
Discuss: Hacker News
πŸ”eBPF
From Text to Visuals: Why Nano Banana Could Redefine AI Creativity
indiehackers.comΒ·10hΒ·
Discuss: Hacker News
🌐HTMX
Loading...Loading more...
AboutBlogChangelogRoadmap