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
🔧 PLT
Type Theory, Lambda Calculus, Semantics, Compiler Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81812
posts in
284.7
ms
SVRepair
:
Structured
Visual Reasoning for Automated Program Repair
arxiv.org
·
18h
🔍
Symbolic Execution
Implementing
Grassroots
Logic Programs with
Multiagent
Transition Systems and AI
arxiv.org
·
18h
🔄
Concurrency Models
OWNED (
hollanov
dom/sub-verse) -
vividblossom
(dirtymudblood) - Game Changers Series
archiveofourown.org
·
2d
🤖
AI
learning by
reverse
engineering
clymup.com
·
2d
🔍
Static Analysis
A Tale of Two Standards,
POSIX
and
Win32
(2005)
samba.org
·
2d
·
Discuss:
Hacker News
🔍
Refinement Types
OpenAI launches GPT‑
5.3-Codex
with faster and
broader
agentic coding capabilities
alternativeto.net
·
2d
🤖
AI
Sukr
: A minimal static site
compiler
in Rust with zero-JS output
lobste.rs
·
4d
·
Discuss:
Lobsters
🔍
Static Analysis
Revisiting
DSA
Through Mini Projects #2: HTML Syntax
Validator
amelia2802.github.io
·
4d
·
Discuss:
DEV
🔎
Semantic Analysis
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
3d
·
Discuss:
Hacker News
🔎
Semantic Analysis
glossolalia
. or...
lnebres.bearblog.dev
·
2d
🔎
Semantic Analysis
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
The
Intelligibility
Advantage in an Era of
Infinite
Code
dev.to
·
1d
·
Discuss:
DEV
🔎
Semantic Analysis
The
Coder
's
Apprentice
: Learning Programming with Python 3
spronck.net
·
6d
🔍
Refinement Types
java
sucks
(2000)
jwz.org
·
6d
·
Discuss:
Lobsters
🪜
Scala
Python 3.14.3 and 3.13.12 are now available!
pythoninsider.blogspot.com
·
6d
·
Discuss:
Blogger
🔍
Static Analysis
Install Python with NumPy
SciPy
Matplotlib
on macOS Big Sur (Apple Silicon arm64 version)
solarianprogrammer.com
·
2d
🐫
Ocaml
Crafting
the Eyes for Thinking Machines: The “White Box”
VLM
pub.towardsai.net
·
2d
🔍
Symbolic Execution
grpc/grpc
: C++ based
gRPC
(C++, Python, Ruby,
Objective-C
, PHP, C#)
github.com
·
2d
🔍
Static Analysis
Show HN:
ZigZag
– A Bubble Tea-Inspired
TUI
Framework for Zig
github.com
·
2d
·
Discuss:
Hacker News
⚡
Zig
Performance
Tip
of the Week #93: Robots never
sleep
abseil.io
·
2d
🔍
Symbolic Execution
Loading...
Loading more...
« Page 21
•
Page 23 »
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