Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
Interest not found: Type Theory
Close
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
📐 formal specification
tla+, p-lang, property-based testing, simulations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122413
posts in
603.3
ms
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
1d
·
Discuss:
Hacker News
🤖
AI
Mastra
: Build AI agents with a modern
TypeScript
stack
producthunt.com
·
1d
🤖
AI
Setting
Up the Perfect Mac Development
Environment
in 2026
jonathansblog.co.uk
·
4h
🔍
Symbolic Execution
Nation-State Actors
Exploit
Notepad
++ Supply Chain
unit42.paloaltonetworks.com
·
16h
🔍
Static Analysis
wordchipper
- my next-gen LLM tokenizer; looking for
LTR
release help
docs.rs
·
2d
·
Discuss:
r/rust
🔎
Semantic Analysis
AGI
v1.0 Will Be
Harness
and Skills
languageops.com
·
1d
·
Discuss:
Hacker News
🤖
AI
Measure
Twice
, Prompt Once
ignasibosch.com
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
Coding
assistants
pouet.net
·
8h
🤖
AI
How I
learnt
to stop
worrying
and love AI
tweag.io
·
15h
🤖
AI
The Agents Are Here and They Want to
Transact
:
Powering
the AI Economy with Lightning
lightning.engineering
·
22h
🔍
Symbolic Execution
2025
Q4
and 2026 Q1
Newsletter
odin-lang.org
·
1d
🔍
Refinement Types
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
2d
·
Discuss:
r/LLM
🔍
Symbolic Execution
Maintaining
Skills During the AI
Advent
saadnaveed.com
·
15h
·
Discuss:
Hacker News
🔍
Symbolic Execution
When the Matrix Breaks: Failure
Modes
of Early
Matching
Systems
linkedin.com
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
CasDoc
: Intelligent
spec
workspace for builders
producthunt.com
·
2d
🔍
Symbolic Execution
AI
Inference
Needs A
Mix-And-Match
Memory Strategy
semiengineering.com
·
7h
🔍
Refinement Types
Securing
GenAI
: Vol 4 — Fundamentals of AI model security
pub.towardsai.net
·
2d
🔍
Refinement Types
The Seven
Qualification
Tests for an AI
Scientist
hackernoon.com
·
1d
🔧
PLT
DRAMPyML
: A Formal Description of DRAM Protocols with Timed
Petri
Nets
arxiv.org
·
10h
🔄
Concurrency Models
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