๐ฟ๏ธ 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
Hackers breach cancer screening data of almost 500k women
dutchnews.nl
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
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
Building Secure API Key Management with Supabase, Ksuid and PostgreSQL
blog.mansueli.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
Show HN: OS X Mavericks Forever
mavericksforever.com
ยท
2d
ยท
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
ยท
4h
ยท
Discuss:
r/programming
๐
eBPF
Prophet Arena: A Live Benchmark for Predictive Intelligence
prophetarena.co
ยท
3d
ยท
Discuss:
Hacker News
โก
Performance Engineering
2.4 Wi-Fi's and Counting
reloadin.net
ยท
2d
ยท
Discuss:
Hacker News
๐ธ๏ธ
Service Mesh
OpenAI vs. Microsoft vs. Google: Wiring AI Within Products
docs.google.com
ยท
6h
ยท
Discuss:
Hacker News
๐
HTMX
Dirty Coding Tricks
gamedeveloper.com
ยท
4d
ยท
Discuss:
Lobsters
๐ฆ
WebAssembly
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Compiler Design
Big Jobs โ How to Thrive in the "AI Jobs Apocalypse"
fluxus.io
ยท
3h
ยท
Discuss:
Hacker News
๐ข
DevOps
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
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
Loading...
Loading more...
« Page 28
โข
Page 30 »