Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔗 Unification
Pattern Matching, Type Inference, Constraint Solving, Algorithms
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81868
posts in
335.5
ms
Topological
Semantics
for Common
Inductive
Knowledge
arxiv.org
·
18h
⚖️
Inference Rules
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
18h
📋
Souffle Datalog
eBPF
Gives You
Packets
. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com
·
15h
·
Discuss:
Substack
🌍
HTTP Servers
Fundamentals
of Data
Visualization
clauswilke.com
·
1d
🔥
Flamegraphs
How I Built My Project in
Haskell
dev.to
·
1d
·
Discuss:
DEV
🌱
Minimal Languages
SectorC
: a C compiler in 512
bytes
blog.adafruit.com
·
1h
🔄
Forth Metacompiler
From Simple RAG to Agentic RAG:
Unlocking
Smarter AI
Workflows
as an AI Engineer
pub.towardsai.net
·
17h
🌱
Minimal ML
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧩
Constraint Solvers
Fragments
: February 9
martinfowler.com
·
3h
🎨
Domain-Specific Languages
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
3d
💓
Live Variable Analysis
Operations
on a B+-
Tree
: How the Search Works
dev.to
·
19h
·
Discuss:
DEV
🌳
B+ Trees
Type
Variance
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🎭
Polymorphic Variants
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
6h
·
Discuss:
Hacker News
🏰
Capability Machines
On the Tension Between
Object-Oriented
and
Generic
Programming in C++
artima.com
·
2d
🗂️
Type Indexing
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
12h
·
Discuss:
Hacker News
🎮
Language Ergonomics
Expectation
and
Copysets
buttondown.com
·
4h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Andersbakken/rtags
: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
github.com
·
4h
📇
Symbol Tables
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
16h
·
Discuss:
Hacker News
,
r/golang
🐹
Go Internals
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
importai.substack.com
·
9h
·
Discuss:
Substack
🪜
Recursive Descent
Anthropics
Compiler
Challenge
corsix.org
·
1d
🚀
Code Motion
Loading...
Loading more...
« Page 5
•
Page 7 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help