🐿️ 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·9h·
Discuss: Hacker News
🔓Hacking
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
Let the Kaleidoscope Turn
shabie.github.io·2d·
Discuss: Hacker News
🧠Learned Indexing
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
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev·2d·
Discuss: Hacker News
🎯Gradual Typing
Authenticating GitHub Actions without API keys
oblique.security·1d·
Discuss: r/programming
🔐PKI Archaeology
AI Thinking, Fast and Slow
danmu.nz·2h·
Discuss: Hacker News
🧮SMT Solvers
Show HN: Production-Ready Agents with the OpenAI Agents SDK and Temporal
temporal.io·3d·
Discuss: Hacker News
⚙️TLA+
Build AI Game Characters and Robots That Outsmart You
thenewstack.io·2d
🔲Cellular Automata
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·3d·
Discuss: Lobsters, Hacker News
🧲RISC-V Preservation
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
Loading...Loading more...
AboutBlogChangelogRoadmap