🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Format Verification
Structure Validation, Binary Correctness, Schema Checking, Parser Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
From Code That Works to Code That Matters: A PDF Security Feature Story
alfy.blog
·
21h
✅
Archive Validation
Elephants for breakfast
bitfieldconsulting.com
·
17h
🦀
Rust Macros
Building Ahead: A Multi-Tool AI Travel Agent with OpenAI and SerpApi
serpapi.com
·
16h
·
Discuss:
Hacker News
🧠
Query Planners
Notepad – The internet's most versatile HTML editor
notepad.org
·
10h
·
Discuss:
Hacker News
📝
Punctuation Engines
My service was played in Enowars 9: Here is how it went
stoffregen.io
·
1d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Mojo Roadmap Document
docs.modular.com
·
18h
·
Discuss:
Hacker News
💻
Programming languages
AMD MI300X for LLM Serving Disaggregating Prefill and Decode with SGLang
rocm.blogs.amd.com
·
1d
·
Discuss:
Hacker News
🌊
Streaming Compression
Why Vibe-Coding Doesn't Work on an Existing Codebase
blog.reffie.me
·
9h
·
Discuss:
Hacker News
📏
Code Metrics
How we oops-proofed infrastructure deletion on Railway
blog.railway.com
·
2d
·
Discuss:
Hacker News
📋
PREMIS Events
Hops Fibration Explorer
dynamicmath.xyz
·
1d
·
Discuss:
Hacker News
🕸️
Algebraic Topology
The Grammar According to West
dwest.web.illinois.edu
·
2d
·
Discuss:
Hacker News
🔬
Lean
How we made Kagi Assistant load twice as fast
jacobwinters.com
·
13h
·
Discuss:
Hacker News
🗄️
Database Internals
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to
·
4d
·
Discuss:
DEV
🔒
Type Safety
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org
·
1d
💎
Information Crystallography
Orchestrating Multi-Agent Systems: Google ADK, A2A, and Temporal
medium.com
·
14h
·
Discuss:
Hacker News
⚙️
TLA+
Optimising for maintainability – Gleam in production at Strand
gleam.run
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
Intro to Java FFM - Foreign Function & Memory Access API (Project Panama)
roray.dev
·
1d
·
Discuss:
Hacker News
⚡
gRPC
Chicken Scheme internals: the garbage collector
more-magic.net
·
13h
·
Discuss:
Hacker News
🧠
Separation Logic
Enhanced Bio-Oil Upgrading via Catalytic Pyrolysis Optimization with AI-Driven Kinetic Modeling
dev.to
·
14h
·
Discuss:
DEV
⚡
Proof Automation
Using LLMs for Intel Processor Code Trace Analysis
alansguigna.com
·
11h
·
Discuss:
Hacker News
🔩
Systems Programming
Loading...
Loading more...
« Page 2
•
Page 4 »