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
🧮 Lambda Calculus
Combinatory Logic, Church Encoding, Beta Reduction, Type Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9832
posts in
205.6
ms
Reactive
Knowledge Representation and
Asynchronous
Reasoning
arxiv.org
·
22h
🧠
Automated Reasoning
Capture the Flags: Family-Based Evaluation of Agentic LLMs via
Semantics-Preserving
Transformations
arxiv.org
·
22h
🔍
CBMC
Scalable Power Sampling: Training-Free Reasoning for LLMs via
Distrib
Sharpening
medium.com
·
6d
·
Discuss:
Hacker News
📚
Automata Learning
MBEL
: A programmable localization
DSL
for Go. Stop fighting with JSON merge conflicts and lack of context.
reddit.com
·
6d
·
Discuss:
r/golang
🔤
DSLs
How I Use LLMs for
ML
Research
nirsd.substack.com
·
5d
·
Discuss:
Substack
📦
Module Systems
Introduction to
Algorithms
and Machine Learning from
Sorting
to Strategic Agents
justinmath.com
·
6d
·
Discuss:
Hacker News
🎮
Verification Games
How to Run Claude Code for Free with Local and Cloud Models from
Ollama
towardsdatascience.com
·
6d
📦
Opam
Beating context
rot
in Claude Code with
GSD
thenewstack.io
·
6d
·
Discuss:
Hacker News
🛡️
seL4
Hermes-Lekkas/Kalynt
: Privacy‑first AI Agent IDE with offline LLMs, end‑to‑end encrypted P2P collaboration, and open‑core architecture for teams.
github.com
·
5d
·
Discuss:
Hacker News
📦
OPAM
Emotions
and
Reality
lesswrong.com
·
5d
≤
Order Theory
Cycle
Time for
Agentic
Coding
cameronwestland.com
·
6d
·
Discuss:
Hacker News
🔄
Reproducible Builds
io-s2c/s2c
: A cloud native, zero-ops
replicated
state machine built atop S3.
github.com
·
6d
·
Discuss:
Hacker News
,
r/compsci
,
r/programming
🖥️
Self-hosted Infrastructure
Crazy shit
linkers
do:
Relaxation
fzakaria.com
·
6d
·
Discuss:
Hacker News
⚙️
Compiler Design
A More Perfect Union
symmetrybroken.com
·
6d
·
Discuss:
Hacker News
🔲
Cellular Automata
Manual
Programming
illegalcode.net
·
6d
·
Discuss:
Lobsters
,
Hacker News
🤖
Program Synthesis
TI-99/4A
:
Revisiting
Implementation Strategies
bumbershootsoft.wordpress.com
·
6d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Show HN:
PolyMCP
– Expose
Python/TS
functions as MCP tools easily
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
📦
Module Systems
Narrowing
the
Cone
of Error in AI Development Workflows
drew.thecsillags.com
·
6d
·
Discuss:
Hacker News
📐
Hoare Logic
How similar AI assisted coding is
compared
to
declarative
coding
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🤖
Program Synthesis
# From Postgres
Migrations
to AI
Pipelines
: How PostgreSQL Shaped How I Think About AI Systems
medium.com
·
6d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Loading...
Loading more...
« Page 13
•
Page 15 »
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