๐Ÿฟ๏ธ 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

US Tariffs as Network Shocks โ€“ and why the world won't fight back
everythingisanetwork.comยท19hยท
Discuss: Hacker News
๐ŸŒDistributed systems
Jury Holds Meta Accountable in 'Landmark' Privacy Decision
bankinfosecurity.comยท2dยท
Discuss: Hacker News
๐ŸงฉMicroservices
TiXL โ€“ Free and Open Source Motion Graphics
tixl.appยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Consistency over Availability: How rqlite Handles the CAP theorem
philipotoole.comยท6dยท
Discuss: Hacker News
๐ŸŒDistributed systems
Taking on Qualtrics and Building the Survey Platform We Needed
sunbeam.cxยท1dยท
Discuss: Hacker News
๐Ÿ“ŠSystems Monitoring
DEA agent used IL cop's Flock ALPR password for immigration enforcement searches
unraveledpress.comยท1dยท
Discuss: Hacker News
โœจGleam lang
This quantum radar could image buried objects
technologyreview.comยท2dยท
Discuss: Hacker News
๐ŸŒDistributed systems
From hard refusals to safe-completions: toward output-centric safety training
openai.comยท6dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Once an AI world leader, Canada is now losing the AI startup race
theglobeandmail.comยท1dยท
Discuss: Hacker News
๐ŸงฉMicroservices
Johns Hopkins is building classified versions of its AI wargaming tools for DoD, IC
breakingdefense.comยท4dยท
Discuss: Hacker News
๐Ÿ“ˆTime Series ML
Vulnerabilities in EG4 Inverters
cisa.govยท5dยท
Discuss: Hacker News
๐Ÿ”Security Patterns
Show HN: Veo 3: AI Video with Built-In Sound
veo3-ai.coยท20hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Is the A.I. Boom Turning Into an A.I. Bubble?
newyorker.comยท1dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Internals
Show HN: I made a Chrome extension for doing LeetCode with spaced repetition
github.comยท5dยท
Discuss: Hacker News
๐ŸนApache Arrow
SecretShare: Secure One Time Secret Sharing
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฆData Serialization
Avoid Python SAST scanners based on AI
nocomplexity.comยท5dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Tell HN: C and C++ are absolute beasts when it comes to performance efficient
news.ycombinator.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Ripple (XRP) Price Prediction: $7โ€“$13 Soon, Viral Memecoin Pepeto Targets 10,000% in 2025
hackernoon.comยท13h
๐Ÿ“ฎMessage Queues
Wikimedia Foundation Challenges UK Online Safety Act Regulations
wikimediafoundation.orgยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Building with Midnight: Privacy for Devs, Not Just Suits
hackernoon.comยท5d
๐Ÿ”Security Patterns
Loading...Loading more...
AboutBlogChangelogRoadmap