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
🧩 Constraint Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5812
posts in
15.9
ms
MysticCodingCat/CUDA-Native-HUBO
: A GPU-native solver for 3-way combinatorial optimization (HUBO). Achieving
digital-annealer-level
performance on a single RTX 3060 Ti
⚡
Tokio
github.com
·
5h
·
Hacker News
Pydantic-resolve
– define relationships once, reuse across REST,
GraphQL
and MCP
⚙️
DataFusion
allmonday.github.io
·
1d
·
Hacker News
Why
Lean
?
∀
Lean4
leodemoura.github.io
·
5d
·
Lobsters
,
Hacker News
Aspect
oriented data quality for
dataflows
🐻❄️
Polars
docs.tabsdata.com
·
14h
·
Hacker News
Show HN: I built an MCP for
finding
SWE
jobs
🚀
MLOps
grepjob.com
·
1d
·
Hacker News
Fast & online
JSON
viewer
for big data
➡️
Apache Arrow
dadroit.com
·
20h
·
Lobsters
Semantic
Search Without
Embeddings
🎯
Vector Databases
softwaredoug.com
·
5d
·
Hacker News
Under one roof:
Rightmove
reinvents
property search with unified data
📊
ClickHouse
cloud.google.com
·
1d
Optimising a
Pipelined
RISC-V Core: From Naive Pipeline to
Near-Superscalar
Performance
⚙️
CPU Microarchitecture
mummanajagadeesh.github.io
·
2d
·
Lobsters
,
Hacker News
Design
Optics
with Python
📊
Scientific Visualization
optiland.org
·
6d
·
Hacker News
Making of
Words.zip
(
Infinite
Word Search)
💻
Creative Coding
luke.zip
·
2d
·
Hacker News
,
r/coding
,
r/programming
,
r/webdev
vijayvkrishnan/openmix
: Open-source framework for computational formulation science from ingredient validation to autonomous mixture optimization. The missing infrastructure layer between single-molecule tools (RDKit) and real-world formulation.
🥗
Nutrition APIs
github.com
·
16h
·
Hacker News
Harnessing
Digital
Twins
And AI/ML For Smarter Semiconductor Test Optimization
👥
Digital Twins
semiengineering.com
·
2d
Turn impressions into
clicks
: AI SEO +
GEO
with real intent
📡
Content Syndication
semsei.io
·
4d
·
Hacker News
New
Chrome
Extension
lets
you see what LLMs you can run on your hardware
🧩
Browser Extensions
chromewebstore.google.com
·
2d
·
Hacker News
Show HN: Content Negotiation in PHP – API Without API (
Symfony
, Laravel,
Temma
)
📡
Content Syndication
news.ycombinator.com
·
4d
·
r/PHP
Testing suggests Google's AI
Overviews
tells millions of
lies
per hour
🏗️
AI Infrastructure
arstechnica.com
·
1d
·
Hacker News
Myth Engine Architecture: Building an
SSA-Based
Declarative
Render Graph
🎨
Shader Programming
github.com
·
5h
·
Lobsters
Show HN:
GovAuctions
lets you
browse
government auctions at once
💾
Database Systems
govauctions.app
·
2d
·
Hacker News
Search
Hundreds
of Millions of
Newsgroup
Posts
💬
NATS
usenetarchives.com
·
3d
·
Hacker News
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
Save / unsave
s
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