Tycho
@tycho.blue
Building software
Working on
shoutbox.net - reliable email delivery without the cost
github.com/tluyben
Working on
shoutbox.net - reliable email delivery without the cost
github.com/tluyben
Is Google take out the most anti user interface possible? I have not often seen worse than that.
August 1, 2025 at 4:30 PM
Is Google take out the most anti user interface possible? I have not often seen worse than that.
Get a JSON of free models from OpenRouter gist.github.com/tluyben/1963...
Get free models from OpenRouter as JSON
Get free models from OpenRouter as JSON . GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
July 19, 2025 at 9:50 AM
Get a JSON of free models from OpenRouter gist.github.com/tluyben/1963...
Good job to our team upgrading shoutbox.net to @nextjs.org 15.14! Hope v16 will be this easy! @vlad.blue
July 17, 2025 at 11:21 AM
Good job to our team upgrading shoutbox.net to @nextjs.org 15.14! Hope v16 will be this easy! @vlad.blue
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
June 27, 2025 at 10:57 AM
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
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...
Beamrider - Web Edition | Claude
Beamrider - Web Edition - interactive HTML page created with Claude.
claude.ai
June 26, 2025 at 12:07 PM
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...
Reposted by Tycho
We just launched the new landing page for shoutbox.net. Would love to hear what you think about it
June 24, 2025 at 7:54 PM
We just launched the new landing page for shoutbox.net. Would love to hear what you think about it
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 - 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
github.com
June 23, 2025 at 5:20 PM
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)
Reposted by Tycho
The Common Lisp Cheat Sheet. ~ Ashok Khanna. github.com/ashok-khanna... #CommonLisp
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
github.com
January 31, 2025 at 8:51 AM
The Common Lisp Cheat Sheet. ~ Ashok Khanna. github.com/ashok-khanna... #CommonLisp
Reposted by Tycho
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...
It takes time but we’ll get there. I can see the end of the tunnel.
github.com/chshersh/git...
GitHub - chshersh/github-tui: 🌒 A TUI for GitHub
🌒 A TUI for GitHub. Contribute to chshersh/github-tui development by creating an account on GitHub.
github.com
February 4, 2025 at 1:12 PM
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...
It takes time but we’ll get there. I can see the end of the tunnel.
github.com/chshersh/git...
Reposted by Tycho
A comprehensive survey of the Lean 4 theorem prover: Architecture, applications, and advances. ~ Xichen Tang. arxiv.org/abs/2501.18639 #ITP #LeanProver
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...
arxiv.org
February 3, 2025 at 8:47 AM
A comprehensive survey of the Lean 4 theorem prover: Architecture, applications, and advances. ~ Xichen Tang. arxiv.org/abs/2501.18639 #ITP #LeanProver
Reposted by Tycho
The cloud hosting roulette: where your $10 hobby project can suddenly turn into a $3,000 adventure overnight
December 9, 2024 at 7:27 PM
The cloud hosting roulette: where your $10 hobby project can suddenly turn into a $3,000 adventure overnight
Reposted by Tycho
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’m a little bit nervous but mostly excited.
Preparing the course contents was quite difficult tho.
December 8, 2024 at 10:01 AM
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’m a little bit nervous but mostly excited.
Preparing the course contents was quite difficult tho.
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!
Shoutbox.net
Shoutbox.net
shoutbox.net
December 6, 2024 at 5:13 PM
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!
Reposted by Tycho
I just finished building this pricing selector in React for shoutbox.net. It took longer than I expected, but I’m really proud of how it turned out.
What do you think?
What do you think?
December 3, 2024 at 1:00 PM
I just finished building this pricing selector in React for shoutbox.net. It took longer than I expected, but I’m really proud of how it turned out.
What do you think?
What do you think?
Reposted by Tycho
My list is almost full of great builders, indie hackers, and marketers, ...
Still have some slots here
👉 Share what you are working on
❤️Like this post
🔄 And Repost
to be added to the list 😘
Still have some slots here
👉 Share what you are working on
❤️Like this post
🔄 And Repost
to be added to the list 😘
Created a starter pack for builders and marketers🥳
If you want to learn how to bootstrap your SaaS/business, follow people here
Feel free to join if you're an indie hacker, a solopreneur, or a marketer. 😘
👉 Share what you are working on
❤️Like this post
🔄 And Repost
go.bsky.app/3C4BqQF
If you want to learn how to bootstrap your SaaS/business, follow people here
Feel free to join if you're an indie hacker, a solopreneur, or a marketer. 😘
👉 Share what you are working on
❤️Like this post
🔄 And Repost
go.bsky.app/3C4BqQF
December 1, 2024 at 4:55 AM
My list is almost full of great builders, indie hackers, and marketers, ...
Still have some slots here
👉 Share what you are working on
❤️Like this post
🔄 And Repost
to be added to the list 😘
Still have some slots here
👉 Share what you are working on
❤️Like this post
🔄 And Repost
to be added to the list 😘
Reposted by Tycho
can I code fast? no. but can I code well? also no. but does my code work? alas, no
November 30, 2024 at 9:39 PM
can I code fast? no. but can I code well? also no. but does my code work? alas, no
Reposted by Tycho
Seems like a safe bet that object storage as a foundation of data systems architecture is here to stay blog.colinbreck.com/predicting-t...
Predicting the Future of Distributed Systems
There are significant changes happening in distributed systems.
blog.colinbreck.com
November 30, 2024 at 4:31 PM
Seems like a safe bet that object storage as a foundation of data systems architecture is here to stay blog.colinbreck.com/predicting-t...
Bunch of issues today with personal stuff, but managed to do day one of #AoC24 anyway while on the go. The solutions luckily worked on the full dataset on the laptop as well.
December 1, 2024 at 12:07 PM
Bunch of issues today with personal stuff, but managed to do day one of #AoC24 anyway while on the go. The solutions luckily worked on the full dataset on the laptop as well.
Reposted by Tycho
Created my 'Building in Public' starter pack! 📦
Here is how to suggest new entries 👇
👉 Share your projects in replies
🔄 Like and Repost for visibility
go.bsky.app/A8VkfwV
Here is how to suggest new entries 👇
👉 Share your projects in replies
🔄 Like and Repost for visibility
go.bsky.app/A8VkfwV
Building in Public 🔥🚀
Join the conversation
go.bsky.app
November 29, 2024 at 3:06 PM
Created my 'Building in Public' starter pack! 📦
Here is how to suggest new entries 👇
👉 Share your projects in replies
🔄 Like and Repost for visibility
go.bsky.app/A8VkfwV
Here is how to suggest new entries 👇
👉 Share your projects in replies
🔄 Like and Repost for visibility
go.bsky.app/A8VkfwV
Reposted by Tycho
Reposted by Tycho
99 little bugs in the code, 99 little bugs in the code. Take one down, patch it around 117 little bugs in the code.
November 29, 2024 at 2:06 PM
99 little bugs in the code, 99 little bugs in the code. Take one down, patch it around 117 little bugs in the code.