Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
PLT
馃敡 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
76
posts in
7.0
ms
ICYMI: May 2026 @AWS Security
聽
馃攳
Static Analysis
聽
Content type:
Blog
aws.amazon.com
路
2d
2 days ago
Actions for ICYMI: May 2026 @AWS Security
Where the f*ck is the Excalidraw markup table?
聽
馃
AI
聽
Content type:
News
聽
Content type:
Blog
larkmatter.substack.com
路
4d
4 days ago
路
Substack
Actions for Where the f*ck is the Excalidraw markup table?
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
聽
馃
AI
聽
Content type:
Discussion
news.ycombinator.com
路
1d
1 day ago
路
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left
聽
馃攳
Symbolic Execution
ethresear.ch
路
4d
4 days ago
Actions for Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left
Discovering Multiscale Deep Formulas in Complex
Systems
via Neural-Guided
Lambda
Calculus
聽
馃攳
Symbolic Execution
聽
Content type:
Academic
arxiv.org
路
2d
2 days ago
Actions for Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus
Mental causation is not load-bearing
聽
馃攳
Symbolic Execution
lesswrong.com
路
3d
3 days ago
Actions for Mental causation is not load-bearing
Release Pyrefly v1.1.0-dev.2 路 facebook/pyrefly
聽
馃攷
Semantic Analysis
聽
Content type:
Code
github.com
路
3h
3 hours ago
Actions for Release Pyrefly v1.1.0-dev.2 路 facebook/pyrefly
Focus is Motivation
聽
馃攳
Symbolic Execution
聽
Content type:
Blog
scotthyoung.com
路
6d
6 days ago
Actions for Focus is Motivation
Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN
聽
馃搻
formal specification
聽
Content type:
Blog
medium.com
路
5d
5 days ago
Actions for Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN
SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
聽
馃攷
Semantic Analysis
universetoday.com
路
4d
4 days ago
路
Hacker News
Actions for SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
nCMD: Benign-Anchored Feature Selection for Imbalanced Network Intrusion Detection
聽
馃攷
Semantic Analysis
聽
Content type:
Academic
arxiv.org
路
20h
20 hours ago
Actions for nCMD: Benign-Anchored Feature Selection for Imbalanced Network Intrusion Detection
Inside the New X Labs Funding Model for Quantum and Photonics
聽
馃攳
Refinement Types
spectrum.ieee.org
路
6d
6 days ago
Actions for Inside the New X Labs Funding Model for Quantum and Photonics
Formal
verification
of the S-two AIR
聽
馃搻
formal specification
聽
Content type:
Academic
arxiv.org
路
6d
6 days ago
Actions for Formal verification of the S-two AIR
rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to
come
聽
馃獪
Scala
聽
Content type:
Code
github.com
路
3d
3 days ago
路
Hacker News
Actions for rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
Syntax-driven Incremental Program
Verification
of Matching Logic Properties
聽
馃搻
formal specification
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Syntax-driven Incremental Program Verification of Matching Logic Properties
Reversible Numeric Composite Key (RNCK)
聽
馃攳
Refinement Types
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Reversible Numeric Composite Key (RNCK)
Release Release Candidate v1.6.6-rc.157 路 abhigyanpatwari/GitNexus
聽
馃搻
formal specification
聽
Content type:
Code
github.com
路
2d
2 days ago
Actions for Release Release Candidate v1.6.6-rc.157 路 abhigyanpatwari/GitNexus
A Normative Intermediate Representation for ASP-Based Compliance Reasoning
聽
馃搻
formal specification
聽
Content type:
Academic
arxiv.org
路
6d
6 days ago
Actions for A Normative Intermediate Representation for ASP-Based Compliance Reasoning
What Your Posts Reveal: A Benchmark and Agentic Framework for User-Level Privacy Leakage on Social Media
聽
馃攷
Semantic Analysis
聽
Content type:
Academic
arxiv.org
路
2d
2 days ago
Actions for What Your Posts Reveal: A Benchmark and Agentic Framework for User-Level Privacy Leakage on Social Media
Abduction Prover in Isabelle/HOL
聽
馃攳
Symbolic Execution
聽
Content type:
Academic
arxiv.org
路
6d
6 days ago
Actions for Abduction Prover in Isabelle/HOL
Sign up or log in to see more results
Sign Up
Login
« Page 2
Log in to enable infinite scrolling
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
Save / unsave
s
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