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

The prophecy in the pi decimals
earth.hoyd.net·2h
📐Interval Arithmetic
AIOps - A Multifaceted Challenge
blog.raymond.burkholder.net·2d
🦋Format Evolution
Why Is There a Date of 1968 in the Intel Chipset Device Software Utility?
intel.com·4h·
Discuss: Hacker News
🧲RISC-V Archaeology
LSM-2: Learning from incomplete wearable sensor data
research.google·1d·
Discuss: Hacker News
🎵Spectral Hashing
Comparing a red-black tree to a B-tree
nibblestew.blogspot.com·10h·
Discuss: Hacker News, nibblestew.blogspot.com
🌲B-tree Variants
A Quantum Leap Forward
cacm.acm.org·1d
⚛️Quantum Error Correction
MCP C# SDK Gets Major Update: Support for Protocol Version 2025-06-18
devblogs.microsoft.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Make Your Agent Listen: Tactics for Obedience
blog.pamba.app·6h·
Discuss: Hacker News
⚔️Lean Tactics
Kimi K2 vs Sonnet 4 for Agentic Coding (Tested on Claude Code)
composio.dev·6h·
Discuss: Hacker News, r/LocalLLaMA
🔌Interface Evolution
Quantum Blockchain Survey: Foundations, Trends, and Gaps
arxiv.org·2d
🔐Quantum Security
The Invisible Leash: Why RLVR May Not Escape Its Origin
arxiv.org·1d
✨Effect Handlers
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Elon Musk says xAI is targeting 50 million 'H100 equivalent' AI GPUs in five years — 230k GPUs, including 30k GB200s already reportedly operational for training...
tomshardware.com·4h
🖥️Terminal Renaissance
ToFe: Lagged Token Freezing and Reusing for Efficient Vision Transformer Inference
arxiv.org·17h
🤖Advanced OCR
Python Fundamentals: class variables
dev.to·2d·
Discuss: DEV
🐛Fuzzing
China's CXMT reportedly delays mass production of DDR5 chips to late 2025 — state-backed manufacturer could still be disruptive market force
tomshardware.com·11h
⚡Hardware Transactional Memory
I wrote 2000 LLM test cases so you don't have to: LLM feature compatibility grid
getkiln.ai·1d·
Discuss: Hacker News
🔍Concolic Testing
Closing the complexity gap of the double distance problem
arxiv.org·17h
🧮Kolmogorov Complexity
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·9h·
Discuss: Hacker News
💧Liquid Types
Spatial 3D-LLM: Exploring Spatial Awareness in 3D Vision-Language Models
arxiv.org·17h
📐Projective Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap