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

Engineers Shake Tallest Steel-Framed Building Ever on an Earthquake Simulator
today.ucsd.eduยท18hยท
Discuss: Hacker News
๐Ÿ“ŠSystems Monitoring
Algebra Gatekeepers: Schools deny advanced math to the highest-scoring students
educationprogress.orgยท3dยท
Discuss: Hacker News
๐ŸŒDistributed systems
Global ocean simulations examine tritium release from Fukushima
physicsworld.comยท2hยท
Discuss: Hacker News
๐Ÿ“ŠSystems Monitoring
Security Incident at Orange Group
newsroom.orange.comยท20hยท
Discuss: Hacker News
๐Ÿ“ŠSystems Monitoring
Ubiquiti Launches UniFi OS Server for Self-Hosting
lazyadmin.nlยท23hยท
Discuss: Hacker News
๐ŸŒDistributed systems
YouTuber Stores 176KB Drawing of a Bird Inside a Bird's Song
iflscience.comยท2dยท
Discuss: Hacker News
๐ŸนApache Arrow
What Can a Cell Remember?
quantamagazine.orgยท2dยท
Discuss: Hacker News, Hacker News
๐ŸงฉMicroservices
The King is Watching condenses kingdom-building strategy to a single screen
arstechnica.comยท4h
๐Ÿ“ฎMessage Queues
LLMs Force Engineering Discipline We Should Have Had All Along
kore-nordmann.deยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Monitoring Heroku Applications with OpenTelemetry
dash0.comยท3dยท
Discuss: Hacker News
๐ŸงฉMicroservices
How to Future-Proof Your Work and Life with a Personal OS
thenextshift.beehiiv.comยท3dยท
Discuss: Hacker News
๐Ÿ“ŠSystems Monitoring
Windows 10 @ 10: How Microsoft led developers round in circles
theregister.comยท5hยท
Discuss: Hacker News
๐ŸŒDistributed systems
DeployFast: One-command Next.js deployments on AWS without cold starts
deployfast.cloudยท2dยท
Discuss: Hacker News
๐ŸงฉMicroservices
Microsoft's Azure AI Speech needs just seconds of audio to spit out a convincing deepfake
theregister.comยท21hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
The Mask-Off Moment for Digital Identity
newdesigncongress.orgยท4dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Security Patterns
Most developers use AI in their daily workflows โ€“ but they don't trust it
zdnet.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Show HN: Gradient-Free ML Algorithm (Available for Contract Work)
news.ycombinator.comยท2dยท
Discuss: Hacker News
โšกSIMD Optimization
As AI Booms, Data Centers Threaten Energy Grid and Water Supplies
newswise.comยท22hยท
Discuss: Hacker News
๐ŸŒDistributed systems
Caveat Lector โ€“ A Generic List of Caveats for Any Essay or Article
taylor.glยท2dยท
Discuss: Hacker News
๐Ÿ“ฎMessage Queues
Show HN: Empromptu.ai โ€“ No code, AI app builder with RAG, model, evals etc.
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฎMessage Queues
Loading...Loading more...
AboutBlogChangelogRoadmap