๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

Show HN: Plonky โ€“ A physics-based browser game, no login or download needed
plonky.ccยท5hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
A leap toward lighter, sleeker mixed reality displays
news.stanford.eduยท1dยท
Discuss: Hacker News
๐ŸŒDistributed systems
You might not need a Python class
adamgrant.micro.blogยท4dยท
Discuss: Hacker News, r/programming
๐Ÿ’ปProgramming languages
An AI-Generated Protein Helps T Cells Kill Cancer
the-scientist.comยท3dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
The Ethical Minefield of Genetic Testing for All
medscape.comยท2dยท
Discuss: Hacker News
๐Ÿ”Security Patterns
Embedded Systems Roadmap: Bridging the Gap
interrupt.memfault.comยท4dยท
Discuss: Hacker News, r/embedded
๐ŸงฉMicroservices
RIP iThoughts โ€“ Choosing a New iOS Mind Mapping Tool (2024)
podfeet.comยท2dยท
Discuss: Hacker News
๐ŸนApache Arrow
I won three competitive grants in a row. Hereโ€™s how I learnt what to do
nature.comยท4dยท
Discuss: Hacker News
๐ŸงฉMicroservices
Are We Going to Become the "Workless" Generation?
hackernoon.comยท15h
๐ŸŒDistributed systems
Stop promising "unlimited", when you mean "until we change our minds"
blog.kilocode.aiยท3hยท
Discuss: Hacker News
๐ŸนApache Arrow
Context Management UI in AI Products
lukew.comยท3dยท
Discuss: Hacker News
๐Ÿง Memory Management
EU's privacy supervisor clears Commission's use of Microsoft
euractiv.comยท17hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.comยท4dยท
Discuss: Hacker News
๐ŸนApache Arrow
Agentic AI Threat Modeling Framework: Maestro
cloudsecurityalliance.orgยท4dยท
Discuss: Hacker News
๐Ÿ“ŠSystems Monitoring
Ask HN: Building an Overengineered Chicken Coop with Hybrid Energy Harvesting
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸŒDistributed systems
API tests as the single source of truth for docs, SDKs, and AI agents
scheduleddowntime.comยท6dยท
Discuss: Hacker News
๐Ÿ”ทTypescript
Ask HN: Any recommended classes/trainings for an already-talented junior SWE?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŠPerformance Profiling
Building a Modern and Frugal Kubernetes Network with Cilium ClusterMesh
medium.comยท1dยท
Discuss: Hacker News
๐ŸŒDistributed systems
Forget Prompt Engineering โ€” The Real Skill Is Specification Writing
hackernoon.comยท6d
๐Ÿ’ปProgramming languages
Open source repositories are seeing a rash of supply-chain attacks
arstechnica.comยท3dยท
Discuss: Hacker News
๐Ÿ”ทTypescript
Loading...Loading more...
AboutBlogChangelogRoadmap