🐿️ 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
Guided Learning in Gemini: From answers to understanding
blog.google
·
5h
·
Discuss:
Hacker News
🗄
Database Systems
To defend against malicious AI, US needs to build a robust digital immune system
thebulletin.org
·
21h
·
Discuss:
Hacker News
🔐
Cryptography
UK's Ministry of Defence pins hopes on AI to stop the next massive email blunder
theregister.com
·
9h
·
Discuss:
Hacker News
👁️
Observability
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com
·
21h
·
Discuss:
Lobsters
🔄
Compiler Design
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol
·
6d
·
Discuss:
Hacker News
🔄
Compiler Design
Encapsulated Collaboration: Using Closures to Extend Class Behavior Without Violating Interface Boundaries [OC]
medium.com
·
1d
·
Discuss:
r/programming
📦
WebAssembly
The Model Is the Product
pleias.fr
·
7h
·
Discuss:
Hacker News
🚢
DevOps
Trends in LLM-Generated Citations on ArXiv
spylab.ai
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
Speaking in "LLM Idioms"
blog.promptlayer.com
·
2d
·
Discuss:
Hacker News
🔄
Compiler Design
Boundaries Are in the Eye of the Beholder (2024)
planktonvalhalla.com
·
9h
·
Discuss:
Hacker News
🔄
Compiler Design
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.com
·
1d
·
Discuss:
Hacker News
🔐
Cryptography
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com
·
1d
📦
WebAssembly
There is only one agent in August 2025
backnotprop.substack.com
·
1h
·
Discuss:
Substack
📡
Distributed Systems
“A Programmer Who Reads Is Worth Two”: Tech Books for Summer 2025
codemotion.com
·
1d
·
Discuss:
r/programming
🚢
DevOps
Ask HN: Do you struggle with flow state when using AI assisted coding tools?
news.ycombinator.com
·
8h
·
Discuss:
Hacker News
🚢
DevOps
How to Manage Security Vulnerabilities Using Budibase—No Code Required
hackernoon.com
·
14h
🚢
DevOps
Towards Automating Scientific R&D
ghofrani.net
·
1d
·
Discuss:
Hacker News
📡
Distributed Systems
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com
·
2d
🔌
Network Programming
How should we learn from bugs?
typesanitizer.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com
·
3d
·
Discuss:
Hacker News
📡
Distributed Systems
Loading...
Loading more...
« Page 6
•
Page 8 »