Tycho

Is Google take out the most anti user interface possible? I have not often seen worse than that.

Happy #Sysadmin Appreciation Day 25/07/2025

Vibe or Fuse @vlad.blue ?

Yeah, and 'Success! All tests are running correctly now! A few tests are failing because of Typescript type errors.'

Get free models from OpenRouter as JSON Get free models from OpenRouter as JSON . GitHub Gist: instantly share code, notes, and snippets.

Get a JSON of free models from OpenRouter gist.github.com/tluyben/1963...

Make complicated things easy to use... until revenue exceeds some amount, then move on to the new directive: make it all as difficult as possible to use to lock in clients. barf.

Good job to our team upgrading shoutbox.net to @nextjs.org 15.14! Hope v16 will be this easy! @vlad.blue

80s vibing!

Netherlands is *very* expensive for almost all the country, you can visit most of ES & PT for very little.

it shall be free!!!!

ha! does that count if I wanted to make it forever?

(it's Nemesis on the MSX, my first love, or Gradius on the arcade. Sure a lot of work to do, but the basics all work, which is amazing)

I procrastinated for many decades to reproduce my favourite game of all time and I am really surprised how this one shot #Claude came out. I keep saying; whatever this AI is, it is, by far, the best way to get away from procrastination! @anthropic.com

Thanks, another timesink! 😅

Beamrider - Web Edition | Claude Beamrider - Web Edition - interactive HTML page created with Claude.

Did a few minutes of prompting @anthropic.com #Claude to get to a classic game Beamrider, came out pretty well and playable claude.ai/public/artif...

We just launched the new landing page for shoutbox.net. Would love to hear what you think about it

GitHub - tluyben/go-smtp-cli: A go version of the mighty (Perl) smtp-cli (easier to just download/use) A go version of the mighty (Perl) smtp-cli (easier to just download/use) - tluyben/go-smtp-cli

We need to check a lot of smtp at high/low level on different machines and need a binaries to check without installing / configuring anything, so built github.com/tluyben/go-s... (with @vlad.blue for shoutbox.net)

GitHub - ashok-khanna/lisp-notes: Repo for Common Lisp by Example and all other useful resources I found online Repo for Common Lisp by Example and all other useful resources I found online - ashok-khanna/lisp-notes

The Common Lisp Cheat Sheet. ~ Ashok Khanna. github.com/ashok-khanna... #CommonLisp

GitHub - chshersh/github-tui: 🌒 A TUI for GitHub 🌒 A TUI for GitHub. Contribute to chshersh/github-tui development by creating an account on GitHub.

Honestly, my main motivation for building GitHub TUI is to prove you can build useful, complex, beautiful, scalable apps with Functional Programming.

It takes time but we’ll get there. I can see the end of the tunnel.

github.com/chshersh/git...

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances This comprehensive survey examines Lean 4, a state-of-the-art interactive theorem prover and functional programming language. We analyze its architectural design, type system, metaprogramming capabili...

A comprehensive survey of the Lean 4 theorem prover: Architecture, applications, and advances. ~ Xichen Tang. arxiv.org/abs/2501.18639 #ITP #LeanProver

not soon

The cloud hosting roulette: where your $10 hobby project can suddenly turn into a $3,000 adventure overnight

Document things you tried and that didn't work ; when you see code and you think ; wow that's crazy, that can be so much easier and then days-weeks later you end up concluding it doesn't work. As in; put comments that explain not what's there but why other things are not there.

Tomorrow, I’ll be teaching OCaml at Bloomberg for the first time officially in front of 40 people (sold out btw).

I’m a little bit nervous but mostly excited.

Preparing the course contents was quite difficult tho.

I used Contabo for a long time, but this year (and for me only this year), they have too many issues (mostly networking issues, not even server issues) to recommend them for anything anymore. We still have VPSs there and even though very high machine uptime, are reachable about 90% of the week.

Instead of doing the problems, I actually went down an editor and tooling rabbit hole instead.

Instead of doing the problems, I actually went down an editor and tooling rabbit hole instead.

A whole day of dotting the i's on developer libraries for many programming languages for shoutbox.net. And more to go in the weekend!

not yet!