πΏοΈ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
β Formal Verification
Correctness Proofs, Model Checking, Theorem Proving, Program Analysis
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 31
β’
Page 33 »