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
λ Functional Programming
Lambda Functions, Immutability, Higher-Order Functions, Recursion
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9236
posts in
1.33
s
How to Stay
Valuable
When AI
Writes
All The Code
pathtostaff.com
·
2d
·
Discuss:
r/programming
🤖
Program Synthesis
So we have any for
interface
{} and
nil
reddit.com
·
3d
·
Discuss:
r/golang
❓
Existential Types
I built a Python
LSP
in Go!
reddit.com
·
3d
·
Discuss:
r/golang
🏢
Jane Street Core
NUASM
— Neuro‑Universal‑ASM: The World's First Native Multi‑Language
Assembler
dev.to
·
3d
·
Discuss:
DEV
⚙️
Compiler Design
A much
needed
wrapper
dev.to
·
2d
·
Discuss:
DEV
🌐
Network Protocols
Intermediate
Results on the Complexity of
STRIPS
$_{1}^{1}$
arxiv.org
·
1d
🧮
SMT Solvers
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
1d
🎯
GADT
stdlib
v7.2
erlang.org
·
4d
·
Discuss:
Hacker News
🎯
GADT
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
6d
·
Discuss:
Hacker News
🧩
Parser Combinators
Human-like Search for Modern
Applications
anvitra.ai
·
3d
·
Discuss:
Hacker News
📐
Linear Algebra
Autonomous
PRD
Agent
minicodemonkey.github.io
·
2d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Type
Variance
en.wikipedia.org
·
5d
·
Discuss:
Hacker News
🎯
GADT
Code only says what it does
brooker.co.za
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
"
Compiled
"
Specs
deepclause.substack.com
·
3d
·
Discuss:
Substack
🔍
Formal Verification
LLMs Are Prediction
Machines
kaelandt.github.io
·
2d
·
Discuss:
Hacker News
📚
Automata Learning
AI
Orchestrators
Decision
Table
gist.github.com
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Experiments
in building
bespoke
tools with AI
knlb.dev
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Show HN: Engineering Perception with
Combinatorial
Memetics
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🔧
ppx
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
2d
·
Discuss:
Hacker News
🔤
Language Design
Loading...
Loading more...
« Page 10
•
Page 12 »
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