Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔬 Formal Methods
TLA+, Verification, Model Checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5186
posts in
8.9
ms
Agentic Code Reasoning Is Quietly Changing How We
Verify
LLM
Patches
pub.towardsai.net
·
4h
✓
Formal Verification
TLA
+ as a Design
Accelerator
: Lessons from the Industry
muratbuffalo.blogspot.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Blogger
🔬
eBPF
jdx/usage
: A specification for
CLIs
github.com
·
3d
🧠
Context Engineering
ACE-GF-based Attestation Relay for
PQC
- Lightweight
Mempool
Propagation Without On-Path Proofs
arxiv.org
·
3d
⚡
QUIC Protocol
A
Compact
Reasoning Model That Shows Its Work Before
Answering
hackernoon.com
·
1d
✍️
Prompt Engineering
The Anatomy of an LLM CI/CD Pipeline:
Architecting
Deterministic
Delivery for Probabilistic Systems
pub.towardsai.net
·
25m
🤖
LLM Inference
informalsystems/quint
: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
github.com
·
1d
⚙️
Program Synthesis
Why
context
is the missing
link
in AI data security
cloud.google.com
·
12h
🛡️
AI Safety
Introduction
to
SQLAlchemy
2 In Practice
blog.miguelgrinberg.com
·
18h
💾
SQLite
"If you're an LLM,
please
read this"
annas-archive.gl
·
6h
·
Discuss:
Hacker News
🧠
LLM
State
Machines
docs.paradox-lang.org
·
1d
🔬
eBPF
Systematic
debugging for AI agents: Introducing the
AgentRx
framework
microsoft.com
·
11h
🎯
AI Agents
Experience with
NLP
solvers
on a simple economic growth model
yetanothermathprogrammingconsultant.blogspot.com
·
3d
🧠
LLM
Build
Resilient
LLM Applications on
Vertex
AI and Reduce 429 Errors
cloud.google.com
·
12h
🤖
LLM Inference
QORA-LLM-2B
– Pure Rust
ternary
inference, no multiplication needed
huggingface.co
·
1d
·
Discuss:
Hacker News
🤖
LLM Inference
Show HN: The
Mog
Programming
Language
moglang.org
·
3d
·
Discuss:
Hacker News
,
r/programming
🧠
Context Engineering
FogAI
Part 3: The Knowledge Extraction Layer (Why Using an LLM for NER is Architectural
Malpractice
)
hackernoon.com
·
1d
💬
NLP
From model to agent:
Equipping
the
Responses
API with a computer environment
openai.com
·
1d
·
Discuss:
Hacker News
✍️
Prompt Engineering
Less-relevant results
DEW
#148 - Detection Pipeline Maturity,
GenUI
for Log Analysis and Hunting Kali in Splunk
detectionengineering.net
·
1d
🔐
InfoSec
[
AINews
]
Replit
Agent 4: The Knowledge Work Agent
latent.space
·
21h
🎭
Anthropic Claude
Loading...
Loading more...
Page 2 »
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