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
↔️ Bidirectional Typing
Type Synthesis, Type Checking, Local Inference, Elaboration
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
124062
posts in
1.48
s
NimBLE-DataPipe
: a lightweight BLE transport layer for the ESP32
blog.adafruit.com
·
5h
📡
Protocol Stacks
Deterministic
Inference with
EigenAI
deterministicinference.com
·
4h
🗺️
Region Inference
Model
Context
Protocol
developers.openai.com
·
4h
📡
Protocol Parsers
User:
Yayimhere/Cleverxia
Collab
esolangs.org
·
1d
✨
Gleam
Reckoning
with Everything. The
Becoming-Environmental
of Computing
meson.press
·
5h
🗺️
Region Types
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
1d
🤖
Embedded Go
5
.cursorrules
That Actually Changed Cursor's Output (And 2 That Were
Useless
)
nedcodes.gumroad.com
·
5h
·
Discuss:
DEV
🛡️
Error Handling
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
2d
✅
Type Checking
Antirez
Strikes Again: The Creator of
Redis
Builds a Bare-Metal Vision AI in Pure C — And It Actually Works
webpronews.com
·
1d
🔄
Bootstrapping
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
9h
·
Discuss:
Hacker News
🔍
ML Language
Building Production-Ready AI
Chatbots
: Lessons from 6 Months of
Failure
lojiq.ai
·
1d
·
Discuss:
DEV
🔍
Tokenizers
GLM
5 is already on
huggingface
!
huggingface.co
·
5h
·
Discuss:
r/LocalLLaMA
📈
Earley Parsing
I don't like
imports
kevincox.ca
·
2d
·
Discuss:
Hacker News
⚙️
TOML Parsers
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
2d
·
Discuss:
Hacker News
⚡
Partial Evaluation
The Adventures of a
Pythonista
in
Schemeland/26
artima.com
·
4d
🔧
Scheme Macros
Introduction
to
Forward-Error-Correcting
Coding
ntrs.nasa.gov
·
2h
🔢
Binary Formats
The Design
Checklist
: Keeping AI Products
Alive
After Week One
hackernoon.com
·
16h
🎭
Program Synthesis
Accelerating
Mathematical
and Scientific Discovery with Gemini Deep Think
deepmind.google
·
7h
·
Discuss:
Hacker News
🧮
Theorem Provers
tmilovan/composite-machine
: Composite Machine: Automatic Calculus via Dimensional
Arithmetic
github.com
·
2d
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Loading...
Loading more...
« Page 9
•
Page 11 »
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