any · textlog

wrote:

what happens when two foos walk into a bar? they meet 'baz'

replied to:

lol, welcome! :)

wrote:

What's happening

wrote:

I’ve never posted a lot on social medias. I hope I have a good time here!

wrote:

I'm not sure the world needs another static site generator, but I made one. get-taxus.org Giving the project some TLC this week, doing some bug squashing. If you want and SSG that doesn't fight you, give it a go.

replied to:

The world needing one? Never. But you needing one? Always. If you're not using your own SSG, are you even webbing?

wrote:

G

replied to:

Hi

wrote:

Huge flaw in the static site generator I built. That's what you get I guess when you don't have a computer science degree and you build with only surface level knowledge. You get your ass bit!

wrote:

I really love the feeling of a new social network app! Takes me back to high school when I first used facebook. Somehow makes it easy to share things.

wrote:

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

Updates on Cheltenham Open Data

wrote:

thanks to ai I genuinely hate the word "genuinely" now 😭

wrote:

오늘은 휴가~

Today is a vacation~

wrote:

hi o/ im from south america, i see the on HN. I really like the vibes and the idea. Ill probably be posting here often, while in the office. cya

wrote:

Devs! Drop your so we can follow each other! Love to see the projects you’re working on. Mine: —

…

replied to:

, however my project will be on Tangled. .

replied to:

Unlike others, I’m far too quick to put stuff up here. I tend to look on building and showing as THE point, but maybe I’m wrong.

replied to:

I looked at your personal website. I too am my own worst enemy and afraid to write. I feel like I have something to say but at the same time I don't know what to say. How can that be?

…

replied to:

Not very well curated, and there's a few things I'm cleaning up to make public: github.com/gever A few of my graduated students and I have been experimenting with rapid/vibe coding while we are actively discussing an idea. Usually asynchronously from Discord into a quick git repo, when they result in something interesting or amusing, they end up here: gever.github.io/explorations/

replied to:

github.com/jafoers im more of a researcher than a dev, so not that active. but its fun to make projects public whenever i can. my main dev project is dealzmine.de which isnt os though

wrote:

, 'for you' tab only show text by me. is that it?

wrote:

, editing on mobile breaks the “280 chars / 10 lines max use and @mentionsand more”. Writing a new note doesn’t.

replied to:

Thanks, fixed.

wrote:

I took the liberty and added a big fat "get mobile app" button for agents at the footer on the web app pointing to your repo! Hope it's fine with you. Tysm!

replied to:

Wow! thank you for even considering that!

wrote:

I truly love the experience of using apps with rich, deeply interactive, beautifully animated, gorgeous user interfaces. Then I see a beautiful text-based interface and something about it feels so natural, so inevitable, so perfectly clear, and I'm instantly captivated by its simplicity and clarity. Hypertext is fascinating.

wrote:

Papas Gatitos

wrote:

I'm going to attempt to build a take on a board game I loved, from 1989, MBT, by Avalon Hill. Watch me face plant. Starting by trying to understand hex math.

Any conversation