Record · corpus.blog/posts/01a07d5d-67e4-70ce-a78a-68b4673c1558

What's Easy Now? What's Hard Now?

Marc Brooker · published 18 May 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 brooker.co.za Wayback capture

2blogs citing

First cited: 24 May 2026
Most recent: 18 Jun 2026
Rank this month: not ranked
Links from this post: 15
Words captured: 1,130

Cited by

Blog

In the post

Date

weblog.plexobject.com

Applying Formal Verification to Guard AI-Generated Code Read at the source ↗

18 Jun 2026

Thorsten Ball

Joy & Curiosity #87 Read at the source ↗

24 May 2026

Links from this post

Link

Host

It's time to be right. Read at the source ↗

brooker.co.za

What about juniors? Read at the source ↗

brooker.co.za

My heuristics are wrong. What now? Read at the source ↗

brooker.co.za

https://www.onsemi.com/download/data-sheet/pdf/mc1495-d.pdf

onsemi.com

https://kiro.dev/docs/specs/correctness/

kiro.dev

https://hydro.run/

hydro.run

https://github.com/verus-lang/verus

github.com

https://lamport.azurewebsites.net/tla/tla.html

lamport.azurewebsites.net

https://github.com/p-org/P/

github.com

https://kiro.dev/blog/deep-spec-analysis/

kiro.dev

https://en.wikipedia.org/wiki/Marian_Rejewski

en.wikipedia.org

https://www.circuitlab.com

circuitlab.com

https://electronics.stackexchange.com/a/78298

electronics.stackexchange.com

https://rocksdb.org/

rocksdb.org

https://aws.amazon.com/rds/aurora/dsql/

aws.amazon.com