🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📜 Proof Carrying Code

Program Verification, Certified Compilation, Type Safety, Mobile Code

Sequential
inkdroid.org·1d
ℹ️Information Theory
Installing CircuitPython on a Freenove ESP32-S3-WROOM CAM Board
mikecoats.com·2d
🔌Single Board PC
ORC-AxE.FINAL_.pdf at Koboldpress
koboldpress.com·2d
✅Document Verification
Why I Quit Competitive Programming
ahmedhosssam.github.io·3d·
Discuss: Hacker News
🔩Systems Programming
MCP Vulnerabilities Every Developer Should Know
composio.dev·5d·
Discuss: Hacker News
🔓Hacking
Show HN: GEDKeeper – Personal Genealogical Database
github.com·3d·
Discuss: Hacker News
📜Family History Data
Ubuntu 25.10 Continues Preparing For RISC-V RVA23 Baseline Requirement
phoronix.com·3d·
Discuss: Hacker News
🛡️RISC-V Security
GenHuzz: An Efficient Generative Hardware Fuzzer
usenix.org·4d
🧪RISC-V Fuzzing
One of the world's biggest mobile firms has launched a $170 AI smartphone which includes a free 18-month sub to Perplexity Pro worth $360 - I wonder what happen...
techradar.com·2d
🖥️Terminal Renaissance
Long time lurker, half baked photo and a questions
i.redd.it·1d·
Discuss: r/homelab
💾Floppy Imaging
LangGraph 101: Let’s Build A Deep Research Agent
towardsdatascience.com·2d
🕸️Neo4j
If Google wants the Pixel 10 to beat the iPhone 17, I think it should bring back its best-ever feature
techradar.com·3h
🎬WebCodecs
derive_hash_fast: Over 2x faster hashing than #[derive(Hash)]
reddit.com·5d·
Discuss: r/rust
🦀Rust Borrowing
Personalized Feature Translation for Expression Recognition: An Efficient Source-Free Domain Adaptation Method
arxiv.org·3d
📊Learned Metrics
Sample More to Think Less: Group Filtered Policy Optimization for Concise Reasoning
arxiv.org·3d
🧠Intelligence Compression
Jules 2.0: Google's Asynchronous AI Coding Agent That Works While You Code
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Top 7 AI Coding Tools 2025
dev.to·6d·
Discuss: DEV
⚡Proof Automation
Syncthing 2.0 Released
github.com·5d·
Discuss: Lobsters, Hacker News, r/linux
📲syncthing
Improving Diversity in Language Models: When Temperature Fails, Change the Loss
arxiv.org·3d
🧠Intelligence Compression
The Looming Threat of AI-Powered Malware: Could Machines Out-Hack Us?
dev.to·1d·
Discuss: DEV
🦠Malware Analysis
Loading...Loading more...
AboutBlogChangelogRoadmap