There’s a special kind of developer fatigue in checking GitHub Actions for the tenth time.
Jumping between repos. Finding the failed job. Digging through logs. Rerunning a flaky workflow that failed for no good reason.
I got tired of it.
So I built Bosun.
#buildinpublic#ios
AI loves em dashes. So I made them executable.
emd: a language written in 8 Unicode dashes.
-‐-‑‑-–‒
That adds 1 and 2. Five different characters. Your font disagrees.
Turing complete, proved in Lean & Rocq... and more.
https://t.co/AtBi2H02MR
AI loves em dashes. So I made them executable.
emd: a language written in 8 Unicode dashes.
-‐-‑‑-–‒
That adds 1 and 2. Five different characters. Your font disagrees.
Turing complete, proved in Lean & Rocq... and more.
https://t.co/AtBi2H02MR
xeerpe for @gleamlang 1.2.0 is out 🎨
→ bundles xeerpe 1.0.5, with animation targets
→ new playground: pick a preset, stack layers, copy the Gleam
Born from chats in the #Arkemis community ✨
https://t.co/cixXI6u3Ts
repo: https://t.co/UjdqBg0WLa
#gleamlang#lustre
xeerpe for @gleamlang 1.2.0 is out 🎨
→ bundles xeerpe 1.0.5, with animation targets
→ new playground: pick a preset, stack layers, copy the Gleam
Born from chats in the #Arkemis community ✨
https://t.co/cixXI6u3Ts
repo: https://t.co/UjdqBg0WLa
#gleamlang#lustre
@0xSero@0xSero >> To continue my experiments with QAT and dLLM. And above all, to get back to writing CUDA code and testing it without the cloud. (It would also be nice to run Inkwell on other hardware) plz
Over the past three weeks of working on skeg, I ended up deviating from the original plan to integrate kani and loom and started using formal verification more often.
Has anyone else had a similar experience?
Still the best decision I made for my own workflow.
Instead of refreshing browser tabs or digging through mails to check CI/CD pipelines, you get a clean, direct view of every workflow in one place.
👉 https://t.co/hEP2oze0qU
#builtinpublic#ios#indiedev
There’s a special kind of developer fatigue in checking GitHub Actions for the tenth time.
Jumping between repos. Finding the failed job. Digging through logs. Rerunning a flaky workflow that failed for no good reason.
I got tired of it.
So I built Bosun.
#buildinpublic#ios
Rboy + a cognitive coprocessor, Ollama, and Qwen3... all working together to bring a little @AnthropicAI Claude Mascot Tamagotchi to life.
All #Rust, memory addresses, and plenty of time to waste.
@rustlang#gameboy#gba#emulation#llm
@foderking@Do_owne@NomadNort A complete replacement seems a bit extreme. I'd really hate to have to run everything through an AI just to do these things.