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

Preserving the Irreplaceable: Why Oversized Digitization Matters More Than Ever
andersonarchival.comยท20h
๐Ÿ“„Document Digitization
CVE-2024-12029 โ€“ InvokeAI Deserialization of Untrusted Data vulnerability
offsec.comยท1d
๐ŸŒWASI
Some Researchers Are Hiding Secret Messages in Their Papers, but They're Not Meant for Humans
smithsonianmag.comยท2d
๐Ÿ’งManuscript Watermarks
Exposing the Unseen: Mapping MCP Servers Across the Internet
knostic.aiยท1dยท
Discuss: Hacker News
๐ŸบKerberos Archaeology
I was wrong about robots.txt
evgeniipendragon.comยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Online Curation
The great misunderstanding of the DRY principle
pmatteo.comยท5dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Supervised Fine Tuning on Curated Data Is Reinforcement Learning
independentresearch.aiยท23hยท
Discuss: Hacker News
๐Ÿ“ŠFeed Optimization
Wrote a blog about using Dapr and mirrord together
metalbear.coยท2d
๐Ÿ“ฆContainer Security
MCP with Postgres โ€“ Querying my data in plain English
punits.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Effective Practices for Coding with a Chat-Based AI
infoq.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
sync.Once โ€” Go's simple pattern for safe one-time execution.
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Lens Laws
Easy Agents: Build autonomous agents with just natural language
github.comยท17hยท
Discuss: Hacker News
โšกProof Automation
A puzzling and pleasant first experience with Google AI Studio
dev.toยท17hยท
Discuss: DEV
โšกProof Automation
How Kiro Supercharged My NLP Project ๐Ÿš€ kiro
dev.toยท4hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
WasmEdge/WasmEdge
github.comยท1d
โš™๏ธWASM Runtime
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.orgยท2d
๐Ÿ“ABNF Parsing
SQL CASE Statements: The Order Matters!
dev.toยท17hยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Vector Dimensionality
Agent Memory with Spring AI & Redis
dev.toยท2dยท
Discuss: DEV
โšกRedis Internals
My favorite use-case for AI is writing logs
vickiboykis.comยท3d
๐ŸŒณIncremental Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap