🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ RISC-V Verification

ISA Formal Methods, Hardware Proofs, Instruction Semantics, Open Architecture

Google Debuts OSS Rebuild Project
linuxiac.com·14h
🔓Open Source Software
Bypassing Watermark Implementations
blog.kulkan.com·7h·
Discuss: Hacker News
🌊Audio Watermarks
Beyond accelerators: Lessons from building foundation models on AWS with Japan’s GENIAC program
aws.amazon.com·7h
👁️Observatory Systems
Show HN: GhostLM, private, multi-model Mac LLM app, collecting waitlist signups
ghostlm.app·9h·
Discuss: Hacker News
🔄Sync Engine
Vitalik Buterin's response to AI 2027
vitalik.eth.limo·18h·
Discuss: Hacker News
🔲Cellular Automata
LL and LR Parsing Demystified (2013)
blog.reverberate.org·1d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
Bazel and action (non-) determinism
jmmv.dev·1d
🔄Reproducible Builds
IConMark: Robust Interpretable Concept-Based Watermark For AI Images
arxiv.org·1d
💧Digital Watermarking
Swift and C++ Interoperability in Practice
arturgruchala.com·1d·
Discuss: Hacker News
✅Format Verification
GEMINUS: Dual-aware Global and Scene-Adaptive Mixture-of-Experts for End-to-End Autonomous Driving
arxiv.org·19h
🌀Riemannian Computing
Colodebug: A simple way to improve bash script debugging
johannes.truschnigg.info·1d·
Discuss: Hacker News
🐚Shell Optimization
Claude Code Is a Game Changer
probably.co.uk·7h·
Discuss: Hacker News
🌳Incremental Parsing
Functional Documentation
dzombak.com·10h·
Discuss: Hacker News
📜Proof Carrying Code
Vibe Coding an SMTP Server, in Rust
mailpace.com·2h·
Discuss: Hacker News
🦀Rust Macros
Bottom-up Domain-specific Superintelligence: A Reliable Knowledge Graph is What We Need
arxiv.org·1d
🗺️Competency Maps
Comparison of MGR, SunView, OpenWindows and X11R6 (2022)
oldvcr.blogspot.com·1d·
Discuss: Hacker News
🕸️WASM Archives
should v0.1.0 – New assertion library for Go with more readable error messages
reddit.com·1d·
Discuss: r/golang
📜Proof Carrying Code
Fmtlib / fmt A modern formatting library
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
DeSamba: Decoupled Spectral Adaptive Framework for 3D Multi-Sequence MRI Lesion Classification
arxiv.org·19h
📊Learned Metrics
Crafting a dependent typechecker, part 1
blueberrywren.dev·3d·
Discuss: Hacker News
🔗Functional Compilers
Loading...Loading more...
AboutBlogChangelogRoadmap