🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔧 Hardware Verification
Formal Methods, Circuit Correctness, Model Checking, Silicon Validation
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
OCZ Vertex 2 dies?
forums.anandtech.com
·
22h
💾
Floppy Imaging
No, Your Domains and Bounded Contexts Don’t Map 1 on 1
verraes.net
·
19h
🔢
Denotational Semantics
GPUPrefixSums – state of the art GPU prefix sum algorithms
github.com
·
6h
·
Discuss:
Hacker News
⚡
Cache Coherence
A safer C++ pointer class
techblog.rosemanlabs.com
·
9h
·
Discuss:
Hacker News
🔒
Type Safety
SNIC bifurcation and its Application to MEMS
arxiv.org
·
15h
⚙️
Cassette Mechanics
Design and Analysis of the Tail Sequence for Short LDPC-Coded Space Communications
arxiv.org
·
15h
🌊
Stream Ciphers
Automated Assessment of Data Integrity via Multi-Modal Semantic Graph Analysis
dev.to
·
20h
·
Discuss:
DEV
🛡️
Archive Verification
What Is Mojo?
harshal.is-cool.dev
·
8h
·
Discuss:
Hacker News
💧
Liquid Types
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com
·
1d
·
Discuss:
Hacker News
🔍
Information Retrieval
Nvidia Data Center GPUs Explained: From A100 to B200 and Beyond
bentoml.com
·
4h
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
Model Merging – A Biased Overview
crisostomi.github.io
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
On Joining the Mojo Compiler Team
verdagon.dev
·
2h
·
Discuss:
Hacker News
🎯
Gradual Typing
Real-Time Anomaly Detection in Friction Stir Welding using Multi-Modal Sensor Fusion and Bayesian Inference
dev.to
·
21h
·
Discuss:
DEV
📄
Document Digitization
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com
·
1d
·
Discuss:
Hacker News
👑
Isabelle
Checkpoints for Claude Code
apps.apple.com
·
15h
·
Discuss:
Hacker News
🚀
Compiler Optimizations
Transforming Digital Reliability Through Quality Engineering Services
dev.to
·
14h
·
Discuss:
DEV
🔗
Supply Chain
Let's Build a Hypervisor with KVM
evilcookie.de
·
7h
·
Discuss:
Hacker News
📺
VT100 Emulation
Long context GPT-OSS fine-tuning
unsloth.ai
·
1h
·
Discuss:
Hacker News
🎯
Emulator Accuracy
The Emacs thread-related code needs a maintainer
lists.gnu.org
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
Anything can be a message queue if you use it wrongly enough
xeiaso.net
·
4h
·
Discuss:
Hacker News
,
r/programming
🌐
DNS Security
Loading...
Loading more...
« Page 2
•
Page 4 »