corpus.blog
Most cited
Talked about
Blogs
41554 blogs · [ { "id": "01a08723-85d0-73c3-9c12-b3449817aeab", "title": "Solving Knight-Knave-Spy Puzzles with Z3", "url": "https://alexanderbass.com/posts/25/z3-knight-knave-spy/", "published_at": "2025-11-29T00:00:00+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792b81d7fb", "title": "Virtual 8-bit Computer", "url": "https://alexanderbass.com/show/2025/virtual-8bit-computer/", "published_at": "2025-11-09T00:00:00+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792bbf93cf", "title": "A Mandelbrot plotter ChatGPT cannot explain", "url": "https://alexanderbass.com/posts/25/obtuse-mandelbrot-chatgpt/", "published_at": "2025-11-04T00:00:00+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792c6e3e3d", "title": "Send More Money Puzzle", "url": "https://alexanderbass.com/posts/25/send-more-money/", "published_at": "2025-09-07T00:00:00+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792ca1eec7", "title": "Strange is_even(x)", "url": "https://alexanderbass.com/posts/25/rust-is-even/", "published_at": "2025-09-03T00:00:00+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792cf4e6a6", "title": "Mandelbrot Sans Arithmetic", "url": "https://alexanderbass.com/show/2025/no-arithmetic-mandelbrot/", "published_at": "2025-08-29T00:00:00+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792dafb496", "title": "Destructuring as Multiple Assignment", "url": "https://alexanderbass.com/posts/25/destructuring-multiple-assign/", "published_at": "2025-08-19T16:08:13+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792ddb8f4f", "title": "New Text Emphasis Methods for the Web", "url": "https://alexanderbass.com/posts/25/new-text-emphasis/", "published_at": "2025-08-18T00:00:00+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792de2ce91", "title": "Calculator Puzzle Algorithm Optimization", "url": "https://alexanderbass.com/posts/25/calculator-problem/", "published_at": "2025-08-05T00:00:00+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792e5b2c13", "title": "Geodesy for the Layman", "url": "https://alexanderbass.com/show/2025/geodesy-for-layman/", "published_at": "2025-07-02T20:26:20+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792e9a9c2e", "title": "Symmetry Playground", "url": "https://alexanderbass.com/show/2025/symmetry-playground/", "published_at": "2025-01-29T00:00:00+00:00" }, { "id": "01a08723-85d1-7003-91c9-c3792eeb5acb", "title": "Composing Python built-ins to make text", "url": "https://alexanderbass.com/posts/24/python-amongus-sus/", "published_at": "2024-10-14T00:00:00+00:00" } ] posts
Claim your blog
Back to alexanderbass.com
Blog · corpus.blog/blogs/alexanderbass.com/posts
alexanderbass.com
alexanderbass.com
2025
Solving Knight-Knave-Spy Puzzles with Z3
original ↗
29 Nov 2025
Virtual 8-bit Computer
original ↗
9 Nov 2025
A Mandelbrot plotter ChatGPT cannot explain
original ↗
4 Nov 2025
Send More Money Puzzle
original ↗
7 Sept 2025
Strange is_even(x)
original ↗
3 Sept 2025
Mandelbrot Sans Arithmetic
original ↗
29 Aug 2025
Destructuring as Multiple Assignment
original ↗
19 Aug 2025
New Text Emphasis Methods for the Web
original ↗
18 Aug 2025
Calculator Puzzle Algorithm Optimization
original ↗
5 Aug 2025
Geodesy for the Layman
original ↗
2 Jul 2025
Symmetry Playground
original ↗
29 Jan 2025
2024
Composing Python built-ins to make text
original ↗
14 Oct 2024