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

Reading List 07/26/25
construction-physics.com·35m
🖥️Modern Terminals
How to Learn the Swift Source Code
blog.jacobstechtavern.com·3d·
Discuss: Hacker News
📜Proof Carrying Code
What Is a Terminal?
wezterm.org·2d·
Discuss: Hacker News
📟Terminals
Show HN: Configurable parser from binary message to JSON (and viceversa)
gitubo.github.io·20h·
Discuss: Hacker News
🔧Binary Parsers
From Async/Await to Virtual Threads
lucumr.pocoo.org·12h·
Discuss: Lobsters, Hacker News
🌊Stream Processing
The Decade of Deep Learning (2019)
bmk.sh·2d·
Discuss: Hacker News
🧠Machine Learning
Ancient way of coding helps boost popular video encoder by 100x — but is it too good to be true?
techradar.com·2d
🎬AV1 Encoding
ASP-Assisted Symbolic Regression: Uncovering Hidden Physics in Fluid Mechanics
arxiv.org·1d
✨Effect Handlers
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
arxiv.org·2d
📏Linear Logic
Data-Driven Model Order Reduction for Continuous- and Discrete-Time Nonlinear Systems
arxiv.org·1d
✨Algebraic Effects
OpenAI's Sam Altman is dreaming of running 100 million GPUs in the future - 100x more than it plans to run by December 2025
techradar.com·33m
🖥️Terminal Renaissance
Computational Performance Bounds Prediction in Quantum Computing with Unstable Noise
arxiv.org·2d
⚛️Quantum Compilers
Show HN: UniversalBit – A new binary protocol to connect voice, video and DNA
github.com·1d·
Discuss: Hacker News
👂Audio Evidence
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·1d
🧮Vector Embeddings
Interfacing HLK LD2420 24GHz Radar Sensor with Arduino
hackster.io·3d
🔍FPGA Verification
10 Best LangChain Alternatives You Must Know in 2025
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Vintage computing boffin releases expansive Intel 286 test suite
theregister.com·4d·
Discuss: r/hardware
🎯Emulation Accuracy
Python implementation of Apple PQ3 protocol
github.com·1d·
Discuss: Hacker News
🔐Quantum Security
Machine Learning Fundamentals: gradient descent
dev.to·1d·
Discuss: DEV
🎵Audio ML
Percentile-Based Deep Reinforcement Learning and Reward Based Personalization For Delay Aware RAN Slicing in O-RAN
arxiv.org·1d
⧗Information Bottleneck
Loading...Loading more...
AboutBlogChangelogRoadmap