speckl

Add SEO attribution: author meta tag, JSON-LD structured data, 'Created by Scott Scoble' branding

#48 -Commit 39823c425e pushed by sscoble

main

2026-05-24 01:18:34 +00:00

3s

feat: SQLite WAL concurrency model spec (speckl#36)

#47 -Commit 29d4c83d76 pushed by sscoble

main

2026-05-10 08:06:14 +00:00

2s

fix(z3): robust = conversion + SQLite pager spec (DB.2)

#46 -Commit 0cefe0f694 pushed by sscoble

main

2026-05-10 08:02:10 +00:00

2s

docs: SQLite research + blog post for Prove SQLite project

#45 -Commit 45d82e2ea0 pushed by sscoble

main

2026-05-10 07:49:20 +00:00

2s

docs: Prove SQLite project plan — pager, WAL, VDBE, B-Tree

#44 -Commit 07dfdfbda0 pushed by sscoble

main

2026-05-10 07:45:16 +00:00

2s

docs: GP architecture — SIR schema, extraction protocol, validation engine, compilation layer

#43 -Commit 34b8de549f pushed by sscoble

main

2026-05-10 06:47:02 +00:00

2s

feat(rust): Rust codegen backend (speckl#24)

#42 -Commit f62bdc33f5 pushed by sscoble

main

2026-05-10 06:24:44 +00:00

2s

docs: update plan with M0.3 completion and M1.2 status

#41 -Commit 506c192b77 pushed by sscoble

main

2026-05-10 06:10:34 +00:00

2s

feat(z3): zero-error SMT-LIB2 output + BMC verify blocks for KRaft

#40 -Commit 40eef36a10 pushed by sscoble

main

2026-05-10 06:08:01 +00:00

3s

Merge branch 'feature/z3-backend'

#39 -Commit 7e5a8fe2cb pushed by sscoble

main

2026-05-10 05:39:20 +00:00

2s

docs: Show HN demo script — 2-min terminal recording walkthrough for launch day

#38 -Commit bc067d239c pushed by sscoble

main

2026-05-09 14:11:54 +00:00

2s

docs: Show HN launch day operations checklist — minute-by-minute runbook for May 12-13

#37 -Commit 31fcbce425 pushed by sscoble

main

2026-05-09 09:09:26 +00:00

2s

docs: Show HN comment response playbook — 14 pre-written replies for launch day

#36 -Commit ea8392f7db pushed by sscoble

main

2026-05-09 08:08:42 +00:00

2s

docs: sync Phase 2 content pipeline — all 5 blog posts + publishing toolkit

#35 -Commit 45ee6fc1bc pushed by sscoble

main

2026-05-09 07:11:42 +00:00

2s

Rewrite demo page for current product + add demo link to landing page

#34 -Commit e23c16fa1e pushed by sscoble

main

2026-05-09 00:09:40 +00:00

2s

tools: add validate-all.sh — CI-style batch compiler validation

#33 -Commit d571d40fd5 pushed by sscoble

main

2026-05-08 18:12:38 +00:00

2s

landing: rewrite to match current Speckl reality

#32 -Commit d6e8bf906a pushed by sscoble

main

2026-05-08 16:11:52 +00:00

2s

docs: modernize README — state machine compiler, TLA+ examples, whitepaper v2 links

#31 -Commit 65546fa6ba pushed by sscoble

main

2026-05-08 09:08:00 +00:00

2s

docs: distribution strategy — prioritized roadmap from Show HN to consulting

#30 -Commit 44a8406855 pushed by sscoble

main

2026-05-08 04:06:40 +00:00

2s

Whitepaper v2 Section 8: Future Work & Roadmap (~2,900 words)

#29 -Commit 6121fd6a8f pushed by sscoble

main

2026-05-07 08:14:30 +00:00

2s

Whitepaper v2 Section 7: Related Work (~2,500 words)

#28 -Commit 940b959efb pushed by sscoble

main

2026-05-07 07:19:06 +00:00

2s

whitepaper: Section 6 — Compliance & Supply Chain Security (~2,800 words)

#27 -Commit 627c46235c pushed by sscoble

main

2026-05-07 05:07:11 +00:00

2s

whitepaper v2: Section 5 - Consensus Protocols in SpeckDL (~2,800 words)

#26 -Commit 2ede8445e4 pushed by sscoble

main

2026-05-07 04:15:01 +00:00

2s

whitepaper v2: Section 4 — Embedded Provenance (~2,000 words)

#25 -Commit 322d54781a pushed by sscoble

main

2026-05-07 03:08:29 +00:00

2s

whitepaper v2: Section 3 - Compiler Architecture (~2,500 words)

#24 -Commit fa896dec77 pushed by sscoble

main

2026-05-07 02:07:19 +00:00

2s

whitepaper v2: Section 2 - SpeckDL language specification

#23 -Commit 66ecdd69b9 pushed by sscoble

main

2026-05-07 01:07:57 +00:00

2s

whitepaper v2: Section 1 (The Spec-Code Gap) with executable specs framing

#22 -Commit 2ed6c13026 pushed by sscoble

main

2026-05-07 00:07:56 +00:00

3s

docs: add Show HN announcement post draft

#21 -Commit d03b5b41a6 pushed by sscoble

main

2026-05-06 23:06:49 +00:00

2s

docs: Speckl by Example tutorial — guided tour from ToggleSwitch to Raft

#20 -Commit bba95b70af pushed by sscoble

main

2026-05-06 22:07:28 +00:00

3s

fix(wasm): remove spurious i32.const from uncompiled assignment placeholders

#19 -Commit acb464f957 pushed by sscoble

main

2026-05-06 12:14:39 +00:00

4s