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

Program Verification, Certified Compilation, Type Safety, Mobile Code

Let Me Preface Thatโ€ฆ
systemsapproach.orgยท4d
๐ŸŒBGP Security
Losing GPT-4o sent some people into mourning. That was predictable.
technologyreview.comยท1d
๐Ÿ›Digital humanities
The Brain Behind Next-Generation Cyber Attacks
blog.checkpoint.comยท1d
๐ŸŽฏThreat Hunting
Thousands of usersโ€™ personal data โ€” like their IDs โ€” were leaked from a popular male revenge dating app
the-independent.comยท1d
๐Ÿ”คEBCDIC Privacy
Syncing as fast as Shopify will let you with TCP-inspired flow control
gadget.devยท1dยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Lookup Table Madness (2004)
sqlservercentral.comยท3dยท
Discuss: Hacker News
๐ŸบDatabase Archaeology
Claude Opus 4 and 4.1 can now end a rare subset of conversations
anthropic.comยท10hยท
Discuss: Hacker News
โœจEffect Handlers
Air-Gapping and Authentication
fusionauth.ioยท2dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Two sizes fit most: PostgreSQL and ClickHouse
about.gitlab.comยท2dยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
Modifying Other People's Software
natkr.comยท2dยท
Discuss: Lobsters, Hacker News
๐ŸŒฟgit
2025 One Hertz Challenge: A Game Of Life
hackaday.comยท2d
๐Ÿ–ฅ๏ธModern Terminals
How Observability Unifies Workloads in a Hybrid Cloud World
thenewstack.ioยท1d
๐Ÿ“ŠHomelab Monitoring
Tide42 Release 1.2.2 (stable)
dev.toยท2dยท
Discuss: DEV
โŒจ๏ธTerminal Customization
I've reviewed one hundred 3D printers โ€” these are the best features that have become non-negotiable
tomshardware.comยท18h
๐Ÿ–ฅ๏ธModern Terminals
Debiasing Multimodal Large Language Models via Penalization of Language Priors
arxiv.orgยท1d
โง—Information Bottleneck
Back-to-School Made Easy with PDFelement
pdfa.orgยท2d
๐Ÿ“„PDF Archaeology
The plan for Linux after Torvalds has a kernel of truth: there isnโ€™t one
theregister.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.orgยท5d
๐ŸŽฏInteractive Provers
Tech With Tim: Advanced Vibe Coding Tutorial w/ Warp (Build & Deploy Apps)
dev.toยท2dยท
Discuss: DEV
๐ŸŽฎSwitch Archaeology
U.S. CISA adds Microsoft Internet Explorer, Microsoft Office Excel, and WinRAR flaws to its Known Exploited Vulnerabilities catalog
securityaffairs.comยท2d
๐Ÿ”“Hacking
Loading...Loading more...
AboutBlogChangelogRoadmap