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
🎯 Constraint Solving
SAT Solvers, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80124
posts in
1.37
s
LLM-FSM
: Scaling Large Language Models for Finite-State Reasoning in
RTL
Code Generation
arxiv.org
·
9h
🎯
Finite Automata
Free(): Learning to
Forget
in
Malloc-Only
Reasoning Models
arxiv.org
·
9h
🗺️
Region Inference
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
📐
Standard ML
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🌙
Lua
SaaS
System Design
dev.to
·
1d
·
Discuss:
DEV
⚡
Live Coding
**Abstract:** This paper proposes a novel framework for quantifying the inherent logical
incompleteness
present in
Gödelian
systems by dynamically mapping ax...
freederia.com
·
3d
📜
Proof Languages
Private Data Space Model
privatedata.space
·
5d
🪢
Rope Data Structures
**Abstract:** This paper introduces a novel framework for automated verification of deformations applied to Hilbert
polytopes
, a crucial step in
understandin
...
freederia.com
·
4d
🧩
Constraint Solvers
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
·
3d
🚂
Cranelift IR
Clearing
caches
artima.com
·
2d
🔗
Weak References
New MIT Framework Uses Search to
Handle
LLM
Errors
in AI Agents
hpcwire.com
·
4d
🔄
Subinterpreters
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
The control
layer
for AI
blog.dottxt.ai
·
3d
·
Discuss:
Hacker News
🔀
Control Structures
Beyond
Jailbreaking
: Why Direct Prompt Injection is Now
Arbitrary
Code Execution
pub.towardsai.net
·
1d
🎲
Parser Fuzzing
How To Go
Slow
artima.com
·
2d
⏭️
Skip Lists
Optimized
LLM Inference
Engines
rishirajacharya.com
·
5d
🗺️
Region Inference
From Questions to
Insights
: Data Analysis with
LangChain
’s Built-In Tools
pub.towardsai.net
·
4d
📊
DataFrame Types
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
3d
📋
JSON Parsers
Tip
of the Week #143: C++11
Deleted
Functions (<code>= delete</code>)
abseil.io
·
2d
🔧
Scheme Macros
Performance
Tip
of the Week #7: Optimizing for application
productivity
abseil.io
·
2d
⚡
Performance
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