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
🔍 Type Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74031
posts in
1.02
s
The
JSNLV
Receptacle
jsnlxndrlv.neocities.org
·
2d
🕰️
Hybrid Logical Clocks
Pydantic
Monty
: A Secure Python Interpreter for AI Agents
pydevtools.com
·
2d
🏗️
Pavex
Decidability
of
Interpretability
arxiv.org
·
6d
🎯
Hindley-Milner
Layered
Modal ML: Syntax and Full
Abstraction
arxiv.org
·
5d
🌳
Pratt Parsing
NUASM
— Neuro‑Universal‑ASM: The World's First Native Multi‑Language
Assembler
dev.to
·
1d
·
Discuss:
DEV
🏗️
NUMA
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
3d
🎭
Program Synthesis
From Turbo
Pascal
to TypeScript: Anders
Hejlsberg
on Language Design, Scale, and AI
dev.to
·
2d
·
Discuss:
DEV
🔨
Compiler Design
Hamming
Distance for Hybrid Search in
SQLite
notnotp.com
·
4d
·
Discuss:
r/programming
📋
Columnar Storage
Finding the needle in the
logstack
: Reducing LLM context with
TF-IDF
eliseomartelli.it
·
3d
🦙
Ollama
language games
ascara.bearblog.dev
·
3d
📖
Interactive Fiction
Dynamic Reports: Natural Language
Queries
with
On-the-Fly
Code Generation
angulararchitects.io
·
3d
🏗️
Pavex
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
6d
·
Discuss:
Substack
,
r/programming
,
r/webdev
λ
Functional Programming
Kadajett/blECSd
: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)
github.com
·
2d
·
Discuss:
Hacker News
,
r/javascript
🧊
Iced
Implementing
Automated Rules-Based
Evaluations
for LLM Applications
github.com
·
3d
·
Discuss:
DEV
🦙
Ollama
*Efficient Symbolic–Numerical Computation of Poisson Cohomology for Complex Algebraic Surfaces with Nodal
Singularities
* — ### Abstract Poisson
cohomol
...
freederia.com
·
2d
📐
Computational Geometry
**Abstract:** The increasing volume and complexity of international standards across diverse fields
necessitate
efficient translation and harmonization
strat
...
freederia.com
·
3d
🔍
Meilisearch
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🔨
Compiler Design
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔄
Memory Disambiguation
Build LLM-Powered
Documentation
that Always Stays True to latest
codebeases
pub.towardsai.net
·
3d
📚
Technical Writing
Episodic
memory in AI agents
poses
new safety risks
lesswrong.com
·
4d
🧮
Algebraic Effects
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