๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿฆ€ Rust Verification

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

SuperRare Exploit Analysis
blog.verichains.ioยท1d
๐ŸŽซKerberos Attacks
Python Scripts โ€“ From Classroom to Community - 1
brezular.comยท1d
๐Ÿ”—Concatenative Programming
ImitationGame - Unconscious Ship Magnet
archiveofourown.orgยท1d
๐Ÿ”ฒCellular Automata
Security updates: IBM Db2 can be attacked in various ways
heise.deยท1d
๐Ÿ”“Hacking
Optimizing training a GPT style Tokenizer with C++
justinhj.github.ioยท4d
โš™๏ธCompression Benchmarking
Top MCP Security Risks (and How to Avoid Them)
prefactor.techยท12hยท
Discuss: Hacker News
๐Ÿ”“Hacking
The Dartboard Sequence
mathpages.comยท3dยท
Discuss: Hacker News
๐ŸŽž๏ธTape Combinatorics
Digest #175: Zero Secrets on GCP, AI Malware in npm, Kubernetes Tips, GitHub Actions with Claude
devopsbulletin.comยท1d
โ„๏ธNix Adoption
Perl Is Dead. Long Live Perl and Raku
raku-advent.blogยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Show HN: Gensee โ€“ Free AI Agent Optimization and Deployment
platform.gensee.aiยท2dยท
Discuss: Hacker News
๐Ÿค–AI Curation
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.ioยท1dยท
Discuss: Hacker News
โŒจ๏ธMechanical Keyboards
Authenticating GitHub Actions without API keys
oblique.securityยท2dยท
Discuss: r/programming
๐Ÿ”PKI Archaeology
AI Thinking, Fast and Slow
danmu.nzยท5hยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Show HN: Production-Ready Agents with the OpenAI Agents SDK and Temporal
temporal.ioยท3dยท
Discuss: Hacker News
โš™๏ธTLA+
When Models Stop Listening: How Feature Collapse Quietly Erodes Machine Learning Systems
towardsdatascience.comยท1d
๐Ÿง Machine Learning
ZeRO by hand with a 4-parameter model
dev.toยท1dยท
Discuss: DEV
โšกSIMD Optimization
MCP Horror Stories: The Security Issues Threatening AI Infrastructure
docker.comยท2dยท
Discuss: DEV
๐ŸŒณArchive Merkle Trees
TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
arxiv.orgยท3d
โœ…Formal Methods
How to Build an MCP Server in TypeScript
dev.toยท2dยท
Discuss: DEV
๐ŸšNordic Shell
Streamline GitHub workflows with generative AI using Amazon Bedrock and MCP
aws.amazon.comยท3d
๐ŸŒŠStreaming Systems
Loading...Loading more...
AboutBlogChangelogRoadmap