Constraint Solvers

Feeds to Scour
SubscribedAll
Scoured 71 posts in 7.6 ms

Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection

聽馃МSMT Solvers 聽Content type: Academic
arxiv.org路

AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons

聽馃搻Formal Methods
4sysops.com路

Becoming a teacher through research: inquiry-based learning and identity formation in Turkish ELT programs

聽馃敩Academic Search 聽Content type: Academic
nature.com路

Research Proposal: Decoupled RISC-LLM Architectures via Circadian Synaptic Consolidation

聽馃搳Benchmarking
aermia.com路路Hacker News

Gene therapy approach reduces muscle spasticity after chronic spinal cord injury

聽馃Robotics
medicalxpress.com路

Models finding software vulnerabilities is not the primary source of cybersecurity risk

聽馃搻Linearizability
lesswrong.com路

Property-based testing | Liam DeVoe

聽馃悰Fuzzing
tybug.dev路路Hacker News

How much do amd64 microarchitecture levels help in Go?

聽馃捑CPU Architecture 聽Content type: Blog
lemire.me路路Lobsters, Hacker News, r/golang

Programming Languages Software Award

聽馃搻Formal Methods
sigplan.org路

Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw

聽馃搻Formal Methods
cointelegraph.com路

New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"

聽馃搻Formal Methods 聽Content type: Discussion
news.ycombinator.com路路Hacker News

Planted-Solution Pauli Hamiltonians as a Quantum Benchmarking Primitive

聽馃МSMT Solvers 聽Content type: Academic
arxiv.org路

Introducing Waymo鈥檚 New Reference Model for Human Collision Avoidance

聽馃Robotics 聽Content type: Blog
waymo.com路路Hacker News

ICYMI: May 2026 @AWS Security

聽馃搻Formal Methods 聽Content type: Blog
aws.amazon.com路

Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years

聽馃搻Formal Methods 聽Content type: News
coindesk.com路

Human Judgment as a Specification

聽馃搻Formal Methods 聽Content type: Blog
blog.brownplt.org路

News for May 2026 | Property Testing Review

聽馃悰Fuzzing
ptreview.sublinear.info路

View from Bangladesh: India forcing people across the border is becoming a test of ties

聽馃搻Formal Methods 聽Content type: News
scroll.in路

SAT-Physical Thermodynamic Framework: treating constraints as a thermal system

聽馃搻Linear Algebra 聽Content type: Code
github.com路路Hacker News
Less-relevant results

Experts weigh in on Anthropic鈥檚 Fable 5, Mythos 5 releases

聽馃搻Formal Methods
sdtimes.com路

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help