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
🐫 OCaml
Type Inference, Pattern Matching, Modules, Compiler Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
113033
posts in
498.2
ms
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
2d
🔧
Functional Programming
Instruction
decoding in the Intel 8087
floating-point
chip
righto.com
·
2h
·
Discuss:
Hacker News
,
Blogger
🤖
AI Agent
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
1d
·
Discuss:
Hacker News
🔧
Functional Programming
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
1d
·
Discuss:
Hacker News
🔧
Functional Programming
A Note on Flat
Abstract
Syntax
Trees
gist.github.com
·
5d
·
Discuss:
Hacker News
🔧
Functional Programming
Zig
“Better C”: 1.0 Push, C++
medium.com
·
1d
🔧
Functional Programming
Hands-On With
Lilidog
Linux 26.02.06, the New Debian-Based
Openbox
Distro
tcaf.com
·
10h
🤖
LLM
Scientific
Computing in Rust
Monthly
#15
scientificcomputing.rs
·
1d
🔧
Functional Programming
CodeCraft
IDE: An Open Source Platform for Interpretation, Conversion and Modernization of Legacy Systems in
Informix
4GL
dev.to
·
1d
·
Discuss:
DEV
🔧
Functional Programming
🤖AI Agents Weekly: GPT-5.3-Codex-Spark,
GLM-5
, MiniMax M2.5, Recursive Language Models, Harness Engineering,
Agentica
, and More
nlp.elvissaravia.com
·
3h
🤖
AI Agent
davidgiven/ack
: The Amsterdam Compiler Kit
github.com
·
1h
·
Discuss:
Hacker News
🔧
Functional Programming
Finding
and
trusting
the meaning
forher.casa
·
1h
🔧
Functional Programming
REPL-Driven
Development Is Back (
Thanks
to AI)
llbbl.blog
·
1d
🔧
Functional Programming
Quick and
dirty
linting
phpied.com
·
1d
🔧
Functional Programming
SnowBall
:
Iterative
Context Processing When It Won't Fit in the LLM Window
enji.ai
·
13h
·
Discuss:
Hacker News
🤖
LLM
vindarel
: 🖌️
Lisp
screenshots: today's Common
Lisp
applications in action
lisp-journey.gitlab.io
·
2d
🔧
Functional Programming
Alignment
at its
Weakest
Link
futurisold.github.io
·
1h
·
Discuss:
Hacker News
🤖
AI Agent
On
watching
code
fly
by
natemeyvis.com
·
4h
🔧
Functional Programming
Compiler-Guided
Inference-Time Adaptation: Improving GPT-5 Programming Performance in
Idris
arxiv.org
·
1d
🔧
Functional Programming
Addendum
: Data splitting against information leakage with
DataSAIL
nature.com
·
1d
🔧
Functional Programming
Sign up or log in to see more results
Sign Up
Login
« Page 2
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