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

Introducing ERNIE 4.5-21B-A3B-Base
digitalocean.com·19h
🌀Brotli Internals
Image Rotation: Mutable Arrays in Haskell
mmhaskell.com·2d
λLambda Encodings
Hardest Question From China’s University Entrance Exam
mindyourdecisions.com·8h
🧮SMT Solvers
IlanCosman/tide
github.com·8h
📟Terminal Typography
Booting EDK2 (UEFI Reference Implmentation) on Hardkernel Odroid M2
blog.3mdeb.com·4d·
Discuss: Hacker News
🎯Emulator Accuracy
More than you wanted to know about how Game Boy cartridges work
abc.decontextualize.com·14h·
Discuss: Lobsters, Hacker News
🎮Gameboy Emulation
Debugging UI with AI: GitHub Copilot agent mode meets MCP servers
github.blog·12h
✨Effect Handlers
Building a fuzzing testing framework with Locust and Docker
lucas-montes.com·13h·
Discuss: Hacker News
📦Container Security
Tactical Trust (1 of 2): Platform Crypto for Developers
tiemoko.com·4d·
Discuss: Hacker News
🌳Archive Merkle Trees
A Practical Comparison of AI Coding Agents
jaredforsyth.com·1d·
Discuss: Hacker News
🔐Capability Systems
LL and LR Parsing Demystified (2013)
blog.reverberate.org·1d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
Mind the Gap: Evaluating the Representativeness of Quantitative Medical Language Reasoning LLM Benchmarks for African Disease Burdens
arxiv.org·6h
✅Formal Methods
FastSmoothSAM: A Fast Smooth Method For Segment Anything Model
arxiv.org·1d
📐Projective Geometry
I Used Arch, BTW: macOS, Day 1
yberreby.com·3d·
Discuss: Hacker News
🖥️Vintage Macintosh
Bazel and action (non-) determinism
jmmv.dev·1d
🔄Reproducible Builds
Complexity of Abduction in \L{}ukasiewicz Logic
arxiv.org·2d
🏗️Constructive Mathematics
AlphaAlign: Incentivizing Safety Alignment with Extremely Simplified Reinforcement Learning
arxiv.org·1d
⚔️Lean Tactics
BIDWESH: A Bangla Regional Based Hate Speech Detection Dataset
arxiv.org·6h
🌀Brotli Dictionary
🛠️ FastAPI in Production: Build, Scale & Deploy - Series B : Services, Queues & Containers
dev.to·7h·
Discuss: DEV
🔌Archive APIs
I am 15 and Built a Dual Backend MLP From Scratch Using CUDA C++, 100% raw, no frameworks
github.com·3h·
Discuss: Hacker News, r/cpp
📊Quantization
Loading...Loading more...
AboutBlogChangelogRoadmap