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

Michael Ossmann Gives A First Look at the HackRF Pro in YouTube Video
rtl-sdr.comยท1d
๐Ÿ“ปHomebrew Protocols
Embedded Systems Roadmap: Bridging the Gap
interrupt.memfault.comยท2dยท
Discuss: Hacker News, r/embedded
๐Ÿฆ€Embedded Rust
Real-time Feature Generation at Lyft // Rakesh Kumar // #334
podcasters.spotify.comยท1d
๐Ÿ“ŠCount-Min Sketch
An emulator test suite for the 286 (github.com)
github.comยท5d
๐ŸŽฏEmulation Accuracy
Google spoofed via DKIM replay attack: A technical breakdown
easydmarc.comยท1dยท
Discuss: Hacker News
๐ŸŽซKerberos Attacks
TPC-H Query 1: Column Storage and Local Aggregation
database-doctor.comยท1dยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
Four score and seven beers ago โ€“ Why AI writing detectors don't work
arstechnica.comยท7hยท
Discuss: Hacker News
๐Ÿค–AI Paleography
Living Memory Attacks: Code Injection Without Files
infosecwriteups.comยท2d
๐Ÿง Memory Forensics
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach
arxiv.orgยท2d
๐ŸŽฏPerformance Proofs
Optimization of Grocery Shop Pricing
github.comยท6hยท
Discuss: DEV, Hacker News
๐Ÿ”ŒOperating system internals
What Vibe Coding Actually Looks Like for a Senior Engineer
dev.toยท2dยท
Discuss: DEV
โšกProof Automation
How to build unified AI interfaces using the Vercel AI SDK
dev.toยท2dยท
Discuss: DEV
๐ŸŽฌWebCodecs API
Byte-Vision delivers powerful Retrieval Augmented Generation by integrating Llama.Cpp and Elasticsearch's vector search.
dev.toยท1dยท
Discuss: DEV
๐Ÿ”BitFunnel
How Rust-Based Zed Built Worldโ€™s Fastest AI Code Editor
thenewstack.ioยท2d
๐Ÿ”“Open Source Software
Why Iโ€™m Starting to Prefer AI-Native IDEs Over Traditional Ones
dev.toยท1dยท
Discuss: DEV
๐ŸŒณIncremental Parsing
Meet Cresca โ€” The AI Email Agent That Designs Stunning Templates From Just One Prompt
dev.toยท5hยท
Discuss: DEV
โšกProof Automation
PDB-Eval: An Evaluation of Large Multimodal Models for Description and Explanation of Personalized Driving Behavior
arxiv.orgยท2d
๐ŸŒ€Differential Geometry
Build an intelligent eDiscovery solution using Amazon Bedrock Agents
aws.amazon.comยท1d
๐Ÿ”„Document Workflows
Beyond Linters: A Deep Dive into AI Code Review Tools for Post-Migration Quality
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Code Metrics
The Migration That Mattered: Moving from Law Books to Code Bases
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ABNF Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap