Constraint Solvers

Feeds to Scour
SubscribedAll
Scoured 40 posts in 7.0 ms

Multi-ResNets for Subspace Preconditioning in Constrained Optimization

 🧮SMT Solvers  Content type: Academic
arxiv.org·

Introducing Soteria: A New Generation of Static Analysis for Rust

 ⚙️Compilers  Content type: Blog
soteria-tools.com··Hacker News

Proof System Timelines

 📐Mathematics  Content type: Blog
klatz.co·

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

 🔓Lock-Free Structures  Content type: Code
github.com··Hacker News

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

 ⚙️Compilers  Content type: Blog
blog.quarkslab.com·

Introducing Waymo’s New Reference Model for Human Collision Avoidance

 📝Database WAL  Content type: Blog
waymo.com··Hacker News

Property-based testing | Liam DeVoe

 🧮SMT Solvers
tybug.dev··Hacker News

New comment by xk4rim in "Ask HN: Who wants to be hired? (June 2026)"

 🧮SMT Solvers  Content type: Discussion
news.ycombinator.com··Hacker News
Less-relevant results

Show HN: JazzBench, an LLM reasoning benchmark using jazz improvisation

 📏ANN Benchmarks  Content type: Blog
flatnine.co··Hacker News

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

 🧮SMT Solvers  Content type: Academic
arxiv.org·

How much do amd64 microarchitecture levels help in Go?

 ⚡SIMD Optimization  Content type: Blog
lemire.me··Lobsters, Hacker News, r/golang

Bloom Filter Trick Reduces 170 Object-Storage Reads to One (2.6s → 89ms)

 📚Index Structures  Content type: Blog
openobserve.ai··Hacker News

Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise

 🔄Replication
newrepublic.com·

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

 ⚡Hardware Transactional Memory
aermia.com··Hacker News

News for May 2026 | Property Testing Review

 📐Mathematics
ptreview.sublinear.info·

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

 🧮SMT Solvers  Content type: Academic
arxiv.org·

Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me

 🤖ML  Content type: Blog  Content type: Discussion
tildalice.io·

Mankirat47/Dao-Heart-3.13: An inspectable, symbolic value governance layer for AI, simulate then commit guards for warmth, agency, identity, and honesty, with falsifiable benchmarks.

 🤝Paxos Consensus  Content type: Code
github.com··Hacker News

#401

 🔗Combinatorics
weeknotes.barrucadu.co.uk·

PL-KKT-hPINN: Enforcing Nonlinear Equality Constraints on Neural Networks via Piecewise-Linear Projection

 🧮SMT Solvers  Content type: Academic
arxiv.org·

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