🐿️ 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
‘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
·
20h
·
Discuss:
Hacker News
🚢
DevOps
Working with Btrfs – Snapshots
fedoramagazine.org
·
2d
·
Discuss:
Hacker News
🗄
Database Systems
How churches use data and AI as engines of surveillance
technologyreview.com
·
3d
·
Discuss:
Hacker News
👁️
Observability
SubBuddy: Never Miss a Payment Again
subbuddy.io
·
1d
·
Discuss:
Hacker News
,
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
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
New Linux Patches Allow Manipulating Out-Of-Memory Behavior Using BPF
phoronix.com
·
3d
·
Discuss:
Hacker News
🔍
eBPF
Star for star?
github.com
·
16h
·
Discuss:
r/programming
🔍
eBPF
High-density retinal signal deciphering to diagnose psychiatric disorders
sciencedirect.com
·
10h
·
Discuss:
Hacker News
⚡
Performance Engineering
Ask HN: What is the most effective way to unblur a QR code?
news.ycombinator.com
·
3d
·
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
·
18h
·
Discuss:
Hacker News
🌐
HTMX
Show HN: Spectre, a coding agent for llama.cpp servers
github.com
·
1d
·
Discuss:
Hacker News
📦
WebAssembly
Researching with Agents
softwaredoug.com
·
3d
·
Discuss:
Hacker News
📦
WebAssembly
guide : running gpt-oss with llama.cpp
github.com
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🔍
eBPF
How Nexo’s AI Changes Crypto Account Management With Built-In Native Intelligence
hackernoon.com
·
1d
🕸️
Service Mesh
Hijacking Windsurf: How Prompt Injection Leaks Developer Secrets
embracethered.com
·
18h
·
Discuss:
Hacker News
🔍
eBPF
Loading...
Loading more...
« Page 34
•
Page 36 »