🐿️ 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
Cheap Mac or Clamshell iPad? Features a $599 Apple MacBook Needs to Succeed
pcmag.com
·
38m
·
Discuss:
Hacker News
🧠
Computer Architecture
Databricks Secures Series K Funding, Surpassing $100B Valuation
jphfeeds.top
·
1d
·
Discuss:
Hacker News
🚢
DevOps
Secure Boot, TPM and Anti-Cheat Engines
andrewmoore.ca
·
3d
·
Discuss:
Hacker News
,
r/programming
🔍
eBPF
Former ORNL and NCI Director Accuses Uni of Workplace Misconduct
anu-observer.org
·
1d
·
Discuss:
Hacker News
🔐
Cryptography
Show HN: OS X Mavericks Forever
mavericksforever.com
·
3d
·
Discuss:
Hacker News
🌐
HTMX
Always Winning: Reverse engineering a festival app's mini-games with Frida
kopanko.com
·
3d
·
Discuss:
Hacker News
🔐
Cryptography
The Curious Case of Entropy
keccak-doomsday.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
Star for star?
github.com
·
5h
·
Discuss:
r/programming
🔍
eBPF
2.4 Wi-Fi's and Counting
reloadin.net
·
2d
·
Discuss:
Hacker News
🕸️
Service Mesh
Dirty Coding Tricks
gamedeveloper.com
·
4d
·
Discuss:
Lobsters
📦
WebAssembly
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com
·
6d
·
Discuss:
Hacker News
🔄
Compiler Design
I made Python uncrashable, it catches every exception
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
How churches use data and AI as engines of surveillance
technologyreview.com
·
2d
·
Discuss:
Hacker News
👁️
Observability
Texas attorney general accuses Meta, Character.AI of misleading kids with mental health claims
techcrunch.com
·
2d
·
Discuss:
Hacker News
🌐
HTMX
Grok chats exposed in Google results
bbc.co.uk
·
2h
·
Discuss:
Hacker News
,
r/news
👁️
Observability
Show HN: Spectre, a coding agent for llama.cpp servers
github.com
·
1d
·
Discuss:
Hacker News
📦
WebAssembly
Ask HN: What is the most effective way to unblur a QR code?
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🌐
HTMX
Researching with Agents
softwaredoug.com
·
2d
·
Discuss:
Hacker News
📦
WebAssembly
How Nexo’s AI Changes Crypto Account Management With Built-In Native Intelligence
hackernoon.com
·
23h
🕸️
Service Mesh
Nexus: Securing MCP Tool Sprawl
grafbase.com
·
2d
·
Discuss:
Hacker News
🔍
eBPF
Loading...
Loading more...
« Page 29
•
Page 31 »