Sign in

codehakase

@codehakase.com
7 followers 27 following 37 posts

swe: infra, distributed systems, Go, Haskell, FP noob

PostsRepliesMedia
codehakase @codehakase.com · 22/03/2026
codehakase.com/blog/bounded...
codehakase.com
Bounded Execution for AI Coding Agents | Francis Sunday
How I built ALPF to give AI coding tools like Claude Code and Amp deterministic execution with guaranteed termination.
000
codehakase @codehakase.com · 22/03/2026
codehakase.com/blog/the-dat...
codehakase.com
The Database Is a Cache | Francis Sunday
A note on file-first systems where agents derive structured state from source documents, and the database becomes a derived cache.
100
codehakase @codehakase.com · 22/03/2026
Haven’t been on here for a while. Published new posts on my blog, and I’ll share them below:
100
codehakase @codehakase.com · 08/01/2026
👉 Just dropped alpf, a Go-based CLI for deterministic agentic loops with promise-driven success conditions! L AI agents retry tasks automatically until your defined "promise" is met. No more manual continues. Perfect for iterative side projects. Feedback welcome! github.com/codehakase/a...
github.com
GitHub - codehakase/alpf: ALPF (Agentic Loop with Promise Fulfilment) is a deterministic framework for agents to retry tasks until a promise (success condition) is fulfilled.
ALPF (Agentic Loop with Promise Fulfilment) is a deterministic framework for agents to retry tasks until a promise (success condition) is fulfilled. - codehakase/alpf
010
codehakase @codehakase.com · 04/01/2026
I was reading on the Kelly criterion approach and put together a cli/tui with Opus 4.5. I’ll test this out on polymarket and Gowagr. NFA! 👉 github.com/codehakase/k...
000
codehakase @codehakase.com · 23/10/2025
Back on here for a bit, let’s see how it goes.
000
codehakase @codehakase.com · 03/07/2025
I’m going to try to set out 30mins-1hr daily learning nix and porting my configs and device management to it🤞
000
codehakase @codehakase.com · 15/06/2025
New note on the blog: Parsing, Not Guessing Check it out: codehakase.com/shorts/parsi...
codehakase.com
Parsing, Not Guessing | Francis Sunday
Using ASTs over regex to build a predictable, lightweight, theme-aware Markdown renderer in Go.
000
codehakase @codehakase.com · 10/06/2025
New entry on the blog ⭐: codehakase.com/shorts/impor...
codehakase.com
import "reflect" | Francis Sunday
An attempt at a concise explanation of Go's reflection library.
000
codehakase @codehakase.com · 27/05/2025
Just published: "Maps Don't Shrink in Go" - A deep dive into why Go maps keep their memory allocation even after you delete elements, and what you can do about it. Check it out: codehakase.com/blog/maps-do...
000
codehakase @codehakase.com · 19/05/2025
Random, I'm really new in FP and although I use Haskell at work, what resources do you recommend for one to be able to grok through the kind of haskell concepts you write about?
000
codehakase @codehakase.com · 19/05/2025
Bubbling this quick note back up: codehakase.com/shorts/imple...
codehakase.com
Implementing Non-Copyable Embedded Structs | Francis Sunday
While working with embedded structs, I learned that even implicitly promoted fields can be silently copied if the parent struct is passed by value. This becomes dangerous when the embedded struct hold...
000
codehakase @codehakase.com · 07/05/2025
Will try my hands on setting up a mini NAS with a raspberry pi and an ssd for storage in my home network.
000
codehakase @codehakase.com · 07/05/2025
Synced some new notes to the "shorts" section of my blog. codehakase.com/shorts
000
codehakase @codehakase.com · 01/05/2025
Wrote a short post of scripting self-updating Github README. codehakase.com/shorts/scrip...
000
codehakase @codehakase.com · 30/04/2025
Jumblie #210 🔴🟠🔵🟢 5 guesses in 1m 15s jumblie.com
jumblie.com
Jumblie
A word search game with new words and themes daily
000
codehakase @codehakase.com · 29/04/2025
Gruvbox is one goated theme. I haven't had the need to switch to anything new, it just works.
000
codehakase @codehakase.com · 27/04/2025
The number of technical content I consumed last week were a lot and all I can say is that there are really brilliant writers, and I can’t wait to read all their works.
000
codehakase @codehakase.com · 25/04/2025
My notes from reading @thorstenball.com's article on building ai agents. codehakase.com/blog/2025-04...
codehakase.com
Notes on building a coding agent | Francis Sunday
My personal reflections on Thorsten's Ampcode article, which reveals how building AI coding agents can be more about leveraging powerful models than complex, custom code.
051
codehakase @codehakase.com · 24/04/2025
Revived my old mx keys and did a quick test on @raycast.com
000
codehakase @codehakase.com · 24/04/2025
Made the switch from spotlight to @raycast.com today, and my experience so far has been great.
A screenshot of my desktop with the Raycast launcher centred to my screen.
000
Reposted by codehakase
Una Kravets @una.im · 23/04/2025
The 3 different types of popover in one toolbar UI:
3713
codehakase @codehakase.com · 23/04/2025
Still digging deep into this. ampcode.com/how-to-build...
ampcode.com
How To Build An Agent | Amp
Building a fully functional, code-editing agent in less than 400 lines.
000
codehakase @codehakase.com · 12/04/2025
Cool!
000
codehakase @codehakase.com · 11/04/2025
I find this very interesting. I’m curious, do you have the agent watch for changes and intermittently give feedback or you have to feed it new context?
100
codehakase @codehakase.com · 11/04/2025
Sorry about this.
000
codehakase @codehakase.com · 11/04/2025
Working a full stack role has made me really relearn web uis from first principles, lots of unlearning along the way
000
codehakase @codehakase.com · 11/04/2025
😂😂 it really does sound better
000
codehakase @codehakase.com · 10/04/2025
Great! Good luck.
040
codehakase @codehakase.com · 31/03/2025
This looks really good, is this a self hosted game?
000
codehakase @codehakase.com · 31/03/2025
Congrats!!
000
codehakase @codehakase.com · 27/03/2025
currently, feat/* | fix/* | docs/* | test/*
000
codehakase @codehakase.com · 26/03/2025
New blog post: codehakase.com/blog/2025-03... #haskell
codehakase.com
Functors: Identity, Composition, and fmap | codehakase
An introduction to Functors in Haskell, exploring how fmap allows function application within wrapped contexts like Maybe and lists.
010
Reposted by codehakase
Matt Boyle @mattboyle.bsky.social · 25/03/2025
Today I'm proud to launch your new favourite Go book in early access! This book will go to a depth not seen before in Go books, and the first three chapters are available right now: www.bytesizego.com/books/anatom...
27820
codehakase @codehakase.com · 18/03/2025
I intermittently look at the graphql engine (Haskell) code from Hasura, the in-code documentation, use of monads, monad transformers, and other FP stuff I'm yet to wrap my around is mind blowing.
000
codehakase @codehakase.com · 14/03/2025
codehakase.com/blog/2025-02...
codehakase.com
Largest product in a series | Francis Sunday
A short note on my haskell solution to Project Euler's problem 8
000
codehakase @codehakase.com · 14/03/2025
Did a redesign of my website:/blog, and added a links blog section codehakase.com/2025
A screenshot of my links blog page. In the image you can see a link to an article by Redowan titled The diminishing half-life of knowledge
010
codehakase @codehakase.com · 13/03/2025
Gave my personal website and blog a new look, and added a dedicated link blog section. codehakase.com
000
codehakase @codehakase.com · 12/02/2025
Hello, world!
000