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
📐 Standard ML
Module System, Type Safety, Pattern Matching, Formal Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123524
posts in
751.1
ms
About the Information System on Graph
Classes
and their
Inclusions
graphclasses.org
·
2d
🔗
Graph Rewriting
Fluent
mlajtos.github.io
·
10h
·
Discuss:
Lobsters
🎯
Finite Automata
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
1h
·
Discuss:
Hacker News
🗺️
Region Inference
SAST vs DAST vs (
IAST/RASP
): Quick AppSec Checklist
codereviewlab.com
·
1d
·
Discuss:
DEV
🛡️
Parser Security
The feature space for
drifting
models
breno.bearblog.dev
·
3h
🔄
Loop Optimization
Writing a
ONNX
Neural Network Inference Engine from Scratch in C to run image classification with
MobileNetV2
flexw.github.io
·
2d
·
Discuss:
r/C_Programming
🗺️
Region Inference
bpftrace
in C++
kuniga.me
·
1d
🔄
Tail Call Analysis
Let's Build a Simple
Database
cstack.github.io
·
1d
·
Discuss:
Hacker News
💾
Minimal Databases
The State of Rust 2025:
Popularity
,
Trends
, and Future
blog.jetbrains.com
·
2h
🚂
Cranelift IR
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
1d
🧠
Semantic Parsing
I don't like
imports
kevincox.ca
·
1d
·
Discuss:
Hacker News
⚙️
TOML Parsers
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
2d
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Tip of the Week #49:
Argument-Dependent
Lookup
abseil.io
·
3d
🔗
Lexical Scoping
— ### Abstract We present a fully‐
specifiable
,
commercially
viable research framework that integrates Bayesian program synthesis with formal safety ver...
freederia.com
·
4d
📈
Monotonic Logic
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
1d
🌐
Network Protocols
[
AINews
] "Sci-Fi with a touch of
Madness
"
latent.space
·
1d
·
Discuss:
Hacker News
📡
Erlang BEAM
A Senior
Engineer
’s Guide to Learning a New
Codebase
dustin.boston
·
11h
🚚
Code Migration
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
jack-clark.net
·
2d
🪜
Recursive Descent
JOVIAL(
J73
) compiler targeting LLVM, built from
MIL-STD-1589C
github.com
·
1d
·
Discuss:
Hacker News
⚙️
TOML Parsers
Hey guys! I've been working on solving the bootstrap problem in
epistemic
uncert
...
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔄
Bootstrapping
Loading...
Loading more...
« Page 12
•
Page 14 »
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