πΏοΈ 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
Today 476AD Romulus Augustulus, Last Western Roman Emperor, Abdicates
romanancienthistory.blogspot.com
Β·
2d
Β·
Discuss:
Hacker News
π¦
Rust
Ghost sharks grow forehead teeth to help them have sex
news.ufl.edu
Β·
11h
Β·
Discuss:
Hacker News
π
HTMX
Diverted mode
xenodium.com
Β·
5d
Β·
Discuss:
Hacker News
π
HTMX
Attorney Mark Zuckerberg suing Meta over repeated Facebook suspensions
wthr.com
Β·
2d
Β·
Discuss:
Hacker News
π
HTMX
EU fines Google $3.5B for anti-competitive ad practices
bleepingcomputer.com
Β·
1d
Β·
Discuss:
Hacker News
π
eBPF
Show HN: How to create and use Tesseract OCR in Rust programming language?
aiviewz.com
Β·
6d
Β·
Discuss:
Hacker News
π¦
Rust
Scientist May Have Discovered a New Drug That Makes Up for Lost Sleep
nad.com
Β·
4d
Β·
Discuss:
Hacker News
π
Cryptography
Revolut to make over 200 employees paper millionaires with latest share sale
sifted.eu
Β·
2d
Β·
Discuss:
Hacker News
π
Cryptography
HeyGuru: A Quiet Space for Your Big Questions
abhinov.xyz
Β·
4d
Β·
Discuss:
Hacker News
π
HTMX
You Can Now Download the Tesla Robotaxi App, but It Only Does One Thing
au.pcmag.com
Β·
2d
Β·
Discuss:
Hacker News
π‘
Distributed Systems
AI Darwin Awards
aidarwinawards.org
Β·
3d
Β·
Discuss:
Hacker News
π‘
Distributed Systems
Lies We Tell Kids
paulgraham.com
Β·
5d
Β·
Discuss:
Hacker News
βοΈ
Engineering
Why Donβt We Take Nuclear Weapons Seriously?
newyorker.com
Β·
4d
Β·
Discuss:
Hacker News
βοΈ
Engineering
Why It Took So Long to Invent the Wheel (2012)
scientificamerican.com
Β·
2d
Β·
Discuss:
Hacker News
βοΈ
Engineering
LegalPwn: Tricking LLMs by burying badness in lawyerly fine print
theregister.com
Β·
5d
Β·
Discuss:
Hacker News
π
Cryptography
Anthropic to Pay $1.5 Billion to Settle Book Piracy Class Action Lawsuit
variety.com
Β·
1d
Β·
Discuss:
Hacker News
π
HTMX
ICE reactivates contract with spyware maker Paragon
techcrunch.com
Β·
4d
Β·
Discuss:
Hacker News
πΈοΈ
Service Mesh
Math Moments: Blaise Pascal
kidswholovemath.substack.com
Β·
5d
Β·
Discuss:
Substack
π¦
Rust
MIT Study Finds AI Use Reprograms the Brain, Leading to Cognitive Decline
publichealthpolicyjournal.com
Β·
3d
Β·
Discuss:
Hacker News
π
Compiler Design
Ask HN: How do you protect against malicious links in user-generated content?
news.ycombinator.com
Β·
4d
Β·
Discuss:
Hacker News
π
HTMX
Loading...
Loading more...
« Page 83
β’
Page 85 »