🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚑ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

We lost something along the way
citizen428.netΒ·4d
πŸ”„Language Evolution
Can 49ers’ rookies Mykel Williams, Alfred Collins and C.J. West recreate a blast from the past?
mercurynews.comΒ·1h
βš”οΈLean Tactics
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.eduΒ·2dΒ·
Discuss: Hacker News
πŸ“‘Network Protocol Design
Phone Is a Snitch – Untraceable Digital Dissident
untraceabledigitaldissident.comΒ·15hΒ·
Discuss: Hacker News
πŸ“ΌCassette Hacking
RunReveal Raises $7M Seed to Build the AI-Native Security Data Platform
blog.runreveal.comΒ·3dΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
Is it possible to safely hike solo in the mountains?
the-independent.comΒ·3h
πŸ’ΎPersistence Strategies
Cheating on Quantum Computing Benchmarks
schneier.comΒ·3dΒ·
Discuss: Hacker News
βš›οΈQuantum Tape
Another one bites the dust as KubeSphere kills open source edition
theregister.comΒ·1d
πŸ”“Open Source Software
The 10 biggest sites you didn't realise are impacted by age verification – and how each will verify your age
techradar.comΒ·7h
πŸ”€EBCDIC Privacy
GitHub - Clivern/Moose: MCP Server Boilerplate In Go.
github.comΒ·3dΒ·
Discuss: r/golang
πŸ”“Open Source Software
Any way at all to manage permissions on Unraid better? Especially for SMB. Maybe a separate docker with a GUI or something? Cockpit in a container? Idk…
reddit.comΒ·13hΒ·
Discuss: r/homelab
πŸ’ΏZFS Internals
So two of the most notable contributors to Rust are looking for jobs...
reddit.comΒ·5dΒ·
Discuss: r/rust
🐧FOSS
Why I Built Tintly.xyz: A Free Tool to Visualize HEX Colors on Real UIs
dev.toΒ·3dΒ·
Discuss: DEV
🌈Color Archaeology
Roboboy, a mobile web application to control and interact with ROS2-based robots
github.comΒ·3dΒ·
Discuss: Hacker News
🎯Emulator Accuracy
Morph: ChirpTransformer-based Encoder-decoder Co-design for Reliable LoRa Communication
arxiv.orgΒ·3d
🌊Streaming Compression
Unpacking MCP Protocols: SSE vs. Streamable HTTP - A Deep Dive into URL-based MCPs
dev.toΒ·3dΒ·
Discuss: DEV
🌐WebSocket Framing
Bolt TechInnovators-Intranet
dev.toΒ·2dΒ·
Discuss: DEV
🌊Stream Processing
Multilingual Self-Taught Faithfulness Evaluators
arxiv.orgΒ·5d
πŸ’»Local LLMs
Dark Reading Confidential: Funding the CVE Program of the Future
darkreading.comΒ·3d
βœ…Archive Fixity
The AI Debugger That Understands My Stack Better Than I Do
dev.toΒ·4dΒ·
Discuss: DEV
πŸ‘οΈSystem Observability
Loading...Loading more...
AboutBlogChangelogRoadmap