🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧠 Separation Logic
Memory Safety, Heap Analysis, Formal Verification, Pointer Reasoning
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
The Chip That Spoke Lisp
jxself.org
·
2d
🤖
Lisp Machines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beating the L1 cache with value speculation (2021)
mazzo.li
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚡
CPU Microarchitecture
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ksmbd - Exploiting CVE-2025-37947 (3/3)
blog.doyensec.com
·
1d
📦
Container Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org
·
3d
🔧
Hardware Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com
·
2d
🔓
Decompilation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com
·
1h
🌐
WASI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We Bet on Rust to Supercharge Feature Store at Agoda
medium.com
·
1d
·
Discuss:
Hacker News
,
r/rust
🦀
Rust Borrowing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io
·
2d
·
Discuss:
Hacker News
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Haskell Weekly Issue 493
haskellweekly.news
·
3h
·
Discuss:
Hacker News
🧬
Functional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org
·
9h
📜
Manuscript Algebras
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We found a bug in Go's ARM64 compiler
blog.cloudflare.com
·
23h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
📜
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com
·
3d
·
Discuss:
r/programming
⚡
Cache Coherence
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Running new applications on old glibc
lightofdawn.org
·
7h
·
Discuss:
Hacker News
🔗
Static Linking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building your MCP server with Laravel
sevalla.com
·
3h
·
Discuss:
Hacker News
🔗
Constraint Handling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to
·
3d
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Alias and references as localized macros
gustedt.wordpress.com
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev
·
22m
·
Discuss:
Hacker News
🔐
Hash Functions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Preventing Invalid Database Access at Compile Time
svix.com
·
2d
·
Discuss:
Hacker News
,
r/rust
🦀
Rust Borrowing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What's new in Python 3.14
docs.python.org
·
1d
·
Discuss:
Hacker News
,
Hacker News
🌳
Incremental Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org
·
9h
🔨
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 1
•
Page 3 »