๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ›ก๏ธ Proof-Carrying Archives

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

IaCConf 2025: Terraform in Depth QA and Fireside Chat
blog.tedivm.comยท3d
๐Ÿ“‹PREMIS Events
New MetaClockClock: Combining Art and Technology in Clocks
mcuoneclipse.comยท1d
๐Ÿ“ŸTerminal Physics
Replacing WriteFreely with eleventy
underlap.orgยท3d
๐Ÿ“ฐRSS Archaeology
Apple iOS 26 beta: How to download the update on your iPhone, new features like Liquid Glass and everything else you need to know
engadget.comยท1h
๐Ÿ–ฅ๏ธVintage Macintosh
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.comยท3dยท
Discuss: Lobsters, Hacker News
๐ŸŒณArchive Merkle Trees
Genius, Rejected: Emergent Ventures Versus the System
marginalrevolution.comยท11hยท
Discuss: Hacker News
๐Ÿ—๏ธConstructive Analysis
Top MCP Security Risks (and How to Avoid Them)
prefactor.techยท2dยท
Discuss: Hacker News
๐Ÿ”“Hacking
sipwise/rtpengine
github.comยท2d
๐Ÿ“žWebRTC
Reverse engineering some updates to Claude
simonwillison.netยท3dยท
Discuss: Hacker News
๐ŸบZIP Archaeology
A Cyberpunk 2077 Themed Terminal Game
dev.toยท1hยท
Discuss: DEV
๐Ÿ“ŸTerminals
10 Best No-Code Analytics Tools in 2025
dev.toยท5hยท
Discuss: DEV
๐ŸŽฏRecommendation Metrics
I Built an AI That Turns Menu Text Into Mouthwatering Food Pics
hackernoon.comยท3d
๐ŸงฎAlgorithmic Cooking
How AI Empowers Programmers
dev.toยท14hยท
Discuss: DEV
โšกProof Automation
Quiz: Skip Ahead in Loops With Python's Continue Keyword
realpython.comยท10h
๐ŸŽฏInteractive Provers
Python Data Structures: Lists, Tuples, and Dictionaries Explained
dev.toยท3dยท
Discuss: DEV
๐Ÿ—‚Data structures
Memorization in Fine-Tuned Large Language Models
arxiv.orgยท6d
๐Ÿ’ปLocal LLMs
Guided Depth Map Super-Resolution via Multi-Scale Fusion U-shaped Mamba Network
arxiv.orgยท18h
๐Ÿค–Advanced OCR
From Individuals to Crowds: Dual-Level Public Response Prediction in Social Media
arxiv.orgยท18h
โš–๏ธFeed Ranking
RL from Teacher-Model Refinement: Gradual Imitation Learning for Machine Translation
arxiv.orgยท4d
๐ŸŽ™๏ธWhisper
CLIPTime: Time-Aware Multimodal Representation Learning from Images and Text
arxiv.orgยท18h
๐Ÿ“ŠLearned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap