@bolusmjak.bsky.social
Currently programming in #elm and #prolog. (Be safe or be all powerful, no fence sitting).
Game Design & Analysis.
Photography #Sigma DP2 Merrill, #Fuji X, #Olympus TG-5
Game Design & Analysis.
Photography #Sigma DP2 Merrill, #Fuji X, #Olympus TG-5
Reposted
ChatCop: *about to arrest me*
Me: hey, you can't arrest me. I didn't do anything wrong
ChatCop: I'm sorry! You're absolutely right. I was going to arrest you, but I didn't check whether you broke any laws. I'll do better next time
ChatCop: *arrests me*
Me: hey, you can't arrest me. I didn't do anything wrong
ChatCop: I'm sorry! You're absolutely right. I was going to arrest you, but I didn't check whether you broke any laws. I'll do better next time
ChatCop: *arrests me*
August 23, 2025 at 3:50 PM
ChatCop: *about to arrest me*
Me: hey, you can't arrest me. I didn't do anything wrong
ChatCop: I'm sorry! You're absolutely right. I was going to arrest you, but I didn't check whether you broke any laws. I'll do better next time
ChatCop: *arrests me*
Me: hey, you can't arrest me. I didn't do anything wrong
ChatCop: I'm sorry! You're absolutely right. I was going to arrest you, but I didn't check whether you broke any laws. I'll do better next time
ChatCop: *arrests me*
More 1D Cellular Automata from my Playdate app.
June 20, 2025 at 4:33 PM
More 1D Cellular Automata from my Playdate app.
Working on a 1D Cellular Automata Explorer for Playdate
June 14, 2025 at 4:36 AM
Working on a 1D Cellular Automata Explorer for Playdate
Type philosophy hot-take:
Because I can determine whether or not a list is non empty before I ask for its first/head, the return type of the ask should be Result, not Maybe. (In non-lazy languages).
Because I can determine whether or not a list is non empty before I ask for its first/head, the return type of the ask should be Result, not Maybe. (In non-lazy languages).
June 2, 2025 at 7:06 PM
Type philosophy hot-take:
Because I can determine whether or not a list is non empty before I ask for its first/head, the return type of the ask should be Result, not Maybe. (In non-lazy languages).
Because I can determine whether or not a list is non empty before I ask for its first/head, the return type of the ask should be Result, not Maybe. (In non-lazy languages).
Reposted
Even accepting the premise that AI produces useful writing (which no one should), using AI in education is like using a forklift at the gym. The weights do not actually need to be moved from place to place. That is not the work. The work is what happens within you.
April 15, 2025 at 2:56 AM
Even accepting the premise that AI produces useful writing (which no one should), using AI in education is like using a forklift at the gym. The weights do not actually need to be moved from place to place. That is not the work. The work is what happens within you.
Reposted
DEMO TIME
SupGen is a generative coding AI... except it isn't an AI.
There is no model, there is no pre-training. You just give it some examples, and it gives you a program. It runs locally, in a single-core CPU. Oh, and it can also prove theorems.
www.youtube.com/watch?v=Gddk...
SupGen is a generative coding AI... except it isn't an AI.
There is no model, there is no pre-training. You just give it some examples, and it gives you a program. It runs locally, in a single-core CPU. Oh, and it can also prove theorems.
www.youtube.com/watch?v=Gddk...
SupGen: an AI-free code synthesis tool (demo)
YouTube video by VictorTaelin
www.youtube.com
January 20, 2025 at 7:24 PM
DEMO TIME
SupGen is a generative coding AI... except it isn't an AI.
There is no model, there is no pre-training. You just give it some examples, and it gives you a program. It runs locally, in a single-core CPU. Oh, and it can also prove theorems.
www.youtube.com/watch?v=Gddk...
SupGen is a generative coding AI... except it isn't an AI.
There is no model, there is no pre-training. You just give it some examples, and it gives you a program. It runs locally, in a single-core CPU. Oh, and it can also prove theorems.
www.youtube.com/watch?v=Gddk...
Reposted
NEW: CycleToronto and other citizens have launched a Charter challenge of the Ford government's law to remove bike lanes. CT's executive director is not present at the Queen's Park announcement because... he was doored on Monday in a painted bike lane and is hospitalized.
December 11, 2024 at 2:06 PM
NEW: CycleToronto and other citizens have launched a Charter challenge of the Ford government's law to remove bike lanes. CT's executive director is not present at the Queen's Park announcement because... he was doored on Monday in a painted bike lane and is hospitalized.
In the future will we have shredded cheese that sticks to its frozen pizza?
December 6, 2024 at 11:40 PM
In the future will we have shredded cheese that sticks to its frozen pizza?
Photo post test.
Taken with a #SigmaDP2Merrill
Taken with a #SigmaDP2Merrill
December 6, 2024 at 6:19 PM
Photo post test.
Taken with a #SigmaDP2Merrill
Taken with a #SigmaDP2Merrill
#AdventOfCode 2024, Day 5 solution in #Prolog
I've added comments for those unfamiliar to Prolog.
gist.github.com/z5h/166c9e5b...
I've added comments for those unfamiliar to Prolog.
gist.github.com/z5h/166c9e5b...
December 5, 2024 at 2:52 PM
#AdventOfCode 2024, Day 5 solution in #Prolog
I've added comments for those unfamiliar to Prolog.
gist.github.com/z5h/166c9e5b...
I've added comments for those unfamiliar to Prolog.
gist.github.com/z5h/166c9e5b...
I've completed "Print Queue" - Day 5 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/5
77 lines of #Prolog to be tidied and shared later.
77 lines of #Prolog to be tidied and shared later.
December 5, 2024 at 6:17 AM
I've completed "Print Queue" - Day 5 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/5
77 lines of #Prolog to be tidied and shared later.
77 lines of #Prolog to be tidied and shared later.
I will happily mute all of the political-echochamber-prospectors who have moved to Bluesky to stake their claim.
December 4, 2024 at 5:49 PM
I will happily mute all of the political-echochamber-prospectors who have moved to Bluesky to stake their claim.
December 4, 2024 at 2:58 PM
I've completed "Ceres Search" - Day 4 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/4
In 65 lines of Prolog ... I'll share later.
In 65 lines of Prolog ... I'll share later.
December 4, 2024 at 6:04 AM
I've completed "Ceres Search" - Day 4 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/4
In 65 lines of Prolog ... I'll share later.
In 65 lines of Prolog ... I'll share later.
December 3, 2024 at 4:08 PM
#AdventOfCode 2024 in #Prolog
Day 1: gist.github.com/z5h/166c9e5b...
Day2:
gist.github.com/z5h/166c9e5b...
Day 1: gist.github.com/z5h/166c9e5b...
Day2:
gist.github.com/z5h/166c9e5b...
December 2, 2024 at 3:03 PM
#AdventOfCode 2024 in #Prolog
Day 1: gist.github.com/z5h/166c9e5b...
Day2:
gist.github.com/z5h/166c9e5b...
Day 1: gist.github.com/z5h/166c9e5b...
Day2:
gist.github.com/z5h/166c9e5b...
December 1, 2024 at 11:58 PM
Obviously I'm using #Prolog for #AdventOfCode.
December 1, 2024 at 10:35 PM
Obviously I'm using #Prolog for #AdventOfCode.