🐿️ 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

Microsoft game workers call out company over Israeli military ties
gamefile.news·14h·
Discuss: Hacker News
🌐Distributed systems
Show HN: NoCV – a job platform helping students find part-time work without CVS
nocv.uk·2d·
Discuss: Hacker News
🧩Microservices
Ukrainian Hackers Breach Major Russian Security Service Provider
militarnyi.com·3d·
Discuss: Hacker News
🔐Security Patterns
Steve Wozniak on fighting internet scams
cbsnews.com·3d·
Discuss: Hacker News
🔐Security Patterns
Prediction markets could create a missing incentive for climate action
santiag0m.github.io·2d·
Discuss: Hacker News
🧩Microservices
What I learned spending $851 on Reddit Ads
successfulsoftware.net·3d·
Discuss: Hacker News
🚀Query Engines
Data Shows Only 12% of Ethereum, 25% of Solana Protocols Have Revenue
coindesk.com·4d·
Discuss: Hacker News
📈Timeseries
Reverse Proxy Deep Dive: Why Load Balancing at Scale is Hard
startwithawhy.com·6d·
Discuss: Hacker News, Hacker News, r/devops, r/programming
🌐Distributed systems
Phil Knight gives 2B for cancer research
forbes.com·16h·
Discuss: Hacker News
🌐Edge Computing
Encryption made for police and military radios may be easily cracked
arstechnica.com·6d·
Discuss: r/privacy
🔐Security Patterns
Dual-Crypt – Working AES+RSA Encryption Between Java Spring Boot and React/JS
news.ycombinator.com·3d·
Discuss: Hacker News
📦Data Serialization
Steam payment headaches grow as PayPal is no longer usable for much of the world
pcgamer.com·1d·
Discuss: Hacker News
📊Performance Profiling
Diffusion Language Models Are Super Data Learners
jinjieni.notion.site·5d·
Discuss: Hacker News, Hacker News
📈Time Series ML
Young Australian hospitalised after ChatGPT use
abc.net.au·3d·
Discuss: Hacker News
📈Time Series ML
Go 1.25 is released
go.dev·3d·
Discuss: Hacker News
💻Programming languages
How a once-tiny research lab helped Nvidia become a $4 trillion-dollar company
techcrunch.com·3d·
Discuss: Hacker News
🌐Distributed systems
Mellanox, Nvidia, and the GPU Era
procurefyi.substack.com·3d·
Discuss: Substack
🌐Distributed systems
FedRAMP government cloud software approvals double under new program
theregister.com·3d·
Discuss: Hacker News
🧩Microservices
Breaking through the Senior Engineer ceiling
incident.io·5d·
Discuss: Hacker News
📊Performance Profiling
Streamline CUDA-Accelerated Python Install and Packaging Workflows with Wheel Variants
developer.nvidia.com·2d·
Discuss: Hacker News
🏹Apache Arrow
Loading...Loading more...
AboutBlogChangelogRoadmap