Skip to content

Philip Zucker personal blog

SQL, Homomorphisms and Constraint Satisfaction Problems

philipzucker.com published 2024-11-18

Database queries are a pretty surprisingly powerful tool that can solve seemingly intractable problems.

Read on philipzucker.com → Discuss on HN (19) Archived copy

Points: 153
HN comments: 19
Submissions: 1
Cited by: 0 commenters

Databases & Data Math & Algorithms 2024

On Hacker News

Submitted	Title on HN	Points	Comments
Nov 20, 2024	SQL, Homomorphisms and Constraint Satisfaction Problems by xlinux	153	19

More from Philip Zucker

All 7 posts →

The C bounded model checker: criminally underused

2024209 points125 comments Software Engineering details

Compiling with Constraints

2024126 points36 comments Software Engineering details

Computational Category Theory in Python III: Monoids, Groups, and Preorders

2020119 points56 comments Math & Algorithms details

Linear Algebra of Types (2019)

2024115 points8 comments Math & Algorithms details

Translating My Z3 Tutorial to Coq

2021108 points18 comments Software Engineering details

Why I think Haskell is the best general purpose language as of June 22 2019

2019101 points99 comments Programming Languages details

Related posts from the same era

Ingesting PDFs and why Gemini 2.0 changes everything

Sergey's Blog20251,303 points447 comments details

GPT in 500 Lines of SQL

Explain Extended20241,111 points76 commentscited by 3 details

Datomic is Free

Datomic Blog20231,099 points368 commentscited by 5 details

Postgres IDE in VS Code

Microsoft Tech Community20251,040 points407 comments details

My favourite API is a zipfile on the European Central Bank's website

csvbase Blog20231,024 points265 comments details

The DuckDB Local UI

DuckDB Blog2025926 points188 commentscited by 3 details