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

Software Freedom Conservancy gives its first Distinguished Service Award in Software Freedom to Lance Albertson
sfconservancy.orgยท1d
๐Ÿ”“Open Source Software
3D Printed Tactile Maps
maproomblog.comยท3h
โœ‹Tactile Computing
DCP-o-matic โ€ข Re: Cloudflare / Anubis
dcpomatic.comยท1d
โšกgRPC
Going to DEFCON? See my talk, "We are currently clean on OPSEC": The Signalgate Saga
micahflee.comยท2d
๐Ÿ•ณ๏ธInformation Leakage
Cybersecurity Snapshot: AI Security Trails AI Usage, Putting Data at Risk, IBM Warns, as OWASP Tackles Agentic AI App Security
tenable.comยท2d
๐Ÿ”“Hacking
AI Tools Gave False Information About Tsunami Advisories
slashdot.orgยท23h
๐Ÿง Intelligence Compression
Ana Marie Cox on the Shaky Foundation of Substack as a Business
newsletter.anamariecox.comยท1dยท
Discuss: Hacker News
๐Ÿ“กRSS
More From Casual
irreal.orgยท3d
๐Ÿฆ€Rust Macros
Nova: A New Web Framework for Erlang
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Show HN: Voltpeek โ€“ A Vim inspired oscilloscope software
github.comยท19hยท
Discuss: Hacker News
๐Ÿ“บVT100 Emulation
Model Context Protocol, Product Demos, and the New App Store
wjgilmore.comยท3dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
Show HN: Demitter โ€“ Distributed Node.js Event Emitter (Pub/Sub)
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Top LLM Evaluation Tools in 2025
dev.toยท2dยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Programming Is Becoming Prompting
dev.toยท2dยท
Discuss: DEV
๐ŸŒณIncremental Parsing
Survey of NLU Benchmarks Diagnosing Linguistic Phenomena: Why not Standardize Diagnostics Benchmarks?
arxiv.orgยท5d
โš™๏ธCompression Benchmarking
Top 10 Mistakes When Hiring a Software Dev Agency
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Code Metrics
Memory vs. Context in AI: Why ChatGPT Is Ahead , and Why That Matters
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Towards Locally Deployable Fine-Tuned Causal Large Language Models for Mode Choice Behaviour
arxiv.orgยท4d
๐Ÿ’ปLocal LLMs
Streamline GitHub workflows with generative AI using Amazon Bedrock and MCP
aws.amazon.comยท4d
๐ŸŒŠStreaming Systems
Growing my first Homelab - but could do with some Advice...
i.redd.itยท2dยท
Discuss: r/homelab
๐Ÿ HomeLab
Loading...Loading more...
AboutBlogChangelogRoadmap