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

Patching A Homebrew Emacs
irreal.org·10h
💧Liquid Types
Week #753 & #754
optional.is·12h
🌀Brotli Dictionary
Reuters says at least a dozen Shenzhen firms repair banned Nvidia H100 and A100 AI chips
the-decoder.com·12h
⚡Circuit Archaeology
How to Learn the Swift Source Code
blog.jacobstechtavern.com·3d·
Discuss: Hacker News
📜Proof Carrying Code
Show HN: Configurable parser from binary message to JSON (and viceversa)
gitubo.github.io·10h·
Discuss: Hacker News
🔧Binary Parsers
Why Gleam Deserves a Spot in Your 2025 Toolkit: Beyond the Syntax
lozdev.com·1d·
Discuss: Hacker News
🔄Language Evolution
Linux Kernel: I Just Wanted the File List Now I'm Neck-Deep in Makefiles
carminatialessandro.blogspot.com·19h·
Discuss: Hacker News
❄️Nix Flakes
The Algorithmic con: Is Our AI-Powered World Becoming The Matrix?
hackernoon.com·19h
🧲Magnetic Philosophy
Vortex: A Prompting Protocol to Test for a 'Self' in LLMs
habr.com·19h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: UniversalBit – A new binary protocol to connect voice, video and DNA
github.com·15h·
Discuss: Hacker News
👂Audio Evidence
Data-Driven Model Order Reduction for Continuous- and Discrete-Time Nonlinear Systems
arxiv.org·22h
✨Algebraic Effects
10 Best LangChain Alternatives You Must Know in 2025
dev.to·20h·
Discuss: DEV
🌀Brotli Internals
Computational Performance Bounds Prediction in Quantum Computing with Unstable Noise
arxiv.org·1d
⚛️Quantum Compilers
Vintage computing boffin releases expansive Intel 286 test suite
theregister.com·4d·
Discuss: r/hardware
🎯Emulation Accuracy
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·22h
🧮Vector Embeddings
Machine Learning Fundamentals: gradient descent
dev.to·1d·
Discuss: DEV
🎵Audio ML
Python implementation of Apple PQ3 protocol
github.com·1d·
Discuss: Hacker News
🔐Quantum Security
Let's Learn x86-64 Assembly! Part 4 - More About Jumps Than You Wanted To Know
gpfault.net·5d·
Discuss: Hacker News
🔧RISC-V Assembler
🚀 Claude Code just changed my entire workflow
dev.to·4h·
Discuss: DEV
🦀Rust Macros
2025 One Hertz Challenge: 16-Bit Tower Blinks at One Hertz
hackaday.com·2d
🖥️Modern Terminals
Loading...Loading more...
AboutBlogChangelogRoadmap