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
✅ Model Checking
Formal Methods, State Space Exploration, Temporal Logic, SPIN
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74620
posts in
1.16
s
HyPER: Bridging Exploration and
Exploitation
for Scalable LLM Reasoning with
Hypothesis
Path Expansion and Reduction
arxiv.org
·
23h
📱
Edge AI
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
3d
🔓
Lock-Free Programming
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
5d
🔄
Concurrency
How I Built My Project in
Haskell
dev.to
·
2d
·
Discuss:
DEV
👻
Phantom Types
Pydantic
Monty
: A Secure Python Interpreter for AI Agents
pydevtools.com
·
3d
🏗️
Pavex
Is Your Machine Learning
Pipeline
as Efficient as it Could Be?
kdnuggets.com
·
3d
📱
Edge AI
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
🎯
WASM Runtime
Building
Scalable
AI Applications: Architecture
Patterns
That Actually Work
dev.to
·
1d
·
Discuss:
DEV
🎭
Program Synthesis
Waterloo
Style
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
Hacker News
⚙️
Systems Programming
The dynamic
frontier
of artificial intelligence
nature.com
·
3d
🎭
Program Synthesis
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
3d
·
Discuss:
Hacker News
🔥
PyTorch
Your Agent Is
Slow
Because of
Inference
futureagi.com
·
3d
·
Discuss:
DEV
💬
Prompt Engineering
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧮
SMT Solvers
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
3d
·
Discuss:
Hacker News
📱
Edge AI
SyntagmaNull/synthetic-phenomenology
: A foundational framework for AI consciousness, structural
psychodynamics
, and transparency-based ethics. Co-authored by Human and AI.
github.com
·
3d
·
Discuss:
Hacker News
🔀
Procedural Generation
**Abstract:** The hierarchy problem, stemming from the unexpectedly low
electroweak
scale compared to the Planck scale, necessitates novel theoretical
framew
...
freederia.com
·
3d
⚓
Anchors
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
💬
Prompt Engineering
marzhall/BBL
: A couple of tools for
OpenEdge
ABL
github.com
·
3d
🎯
Lance
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
4d
·
Discuss:
r/golang
🔤
Suffix Automata
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
3d
·
Discuss:
Hacker News
🌊
CALM Theorem
Loading...
Loading more...
« Page 9
•
Page 11 »
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