🐿️ 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

PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·16h
⚗️Algebraic Coding
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Does the Code Work or Not?
towardsdatascience.com·11h
📏Code Metrics
Challenges of Pseudocode Expansion
funcall.blogspot.com·20h·
Discuss: www.blogger.com
🔗Lisp
How Rust powers Proton Authenticator
proton.me·8h
🦀Rust Borrowing
In Support Of Shitty Types
lucumr.pocoo.org·8h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·20h·
Discuss: Hacker News
🧪CBOR Fuzzing
Week 31 Status
blogs.gnome.org·4h
🎯Gradual Typing
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Reproducible Go Toolchains: What You Need to Know
hackernoon.com·1d
🔄Reproducible Builds
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
libopencm3/libopencm3
github.com·1d
🦾ARM Assembly
A Gentle Introduction To Fortran
hackaday.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Software flies airplanes. And sometimes software fails (2010)
softwarefreedom.org·3h·
Discuss: Hacker News
💾Persistence Strategies
Running C++ on Cloudflare WASM
saus.app·1d·
Discuss: Hacker News
🧩WASM Components
OWASP ASVS 5.0.0 is here!
scotthelme.ghost.io·17h
🛡️WASM Sandboxing
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Alignment Monitoring
arxiv.org·23h
⚙️Assembly Verification
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·11h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·1d
🦀Rusty Databases
Loading...Loading more...
AboutBlogChangelogRoadmap