corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0879b-b981-7182-ab4e-dae6e79d92aa

What’s Actually Broken

llama.gs · published 8 April 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at llama.gs Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
22
Words captured
2,162

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.theregister.com/2026/03/10/amazon_ai_coding_outages/
theregister.com
Diagnosing Circuits into Existence Read at the source ↗
llama.gs
https://gitlab.llama.gs/logic/qbf-designer
gitlab.llama.gs
https://gitlab.llama.gs/constraints/lydia
gitlab.llama.gs
https://en.wikipedia.org/wiki/Diagnosis_(artificial_intelligence
en.wikipedia.org
https://en.wikipedia.org/wiki/Delft_University_of_Technology
en.wikipedia.org
https://gitlab.llama.gs/logic/llogic
gitlab.llama.gs
https://llama.gs/blog/wp-content/uploads/2026/04/lydia_demo.mp4
llama.gs
https://gitlab.llama.gs/constraints/lydia/-/blob/main/examples/diagnosis/2adder-weak.sys
gitlab.llama.gs
https://en.wikipedia.org/wiki/Adder_(electronics
en.wikipedia.org
https://gitlab.llama.gs/constraints/lydia/-/blob/main/examples/diagnosis/2adder.obs
gitlab.llama.gs
https://en.wikipedia.org/wiki/Automatic_test_pattern_generation
en.wikipedia.org
https://en.wikipedia.org/wiki/ISCAS
en.wikipedia.org
https://en.wikipedia.org/wiki/Sharp-P
en.wikipedia.org
https://en.wikipedia.org/wiki/Sharp-P-complete
en.wikipedia.org
https://en.wikipedia.org/wiki/John_von_Neumann
en.wikipedia.org
https://en.wikipedia.org/wiki/Grover%27s_algorithm
en.wikipedia.org
https://www.cnbc.com/2026/02/12/trucking-and-logistics-stocks-tumble-on-release-of-ai-freight-scaling-tool.html
cnbc.com
https://en.wikipedia.org/wiki/PSPACE-complete
en.wikipedia.org
https://en.wikipedia.org/wiki/Alan_Turing
en.wikipedia.org
https://en.wikipedia.org/wiki/Stephen_Cook
en.wikipedia.org
https://en.wikipedia.org/wiki/SAT_solver
en.wikipedia.org