Live data from Hacker News

Ask HN: What are you working on? (May 2026)

news.ycombinator.com

351–360 of 1001 posts

Re: Ask HN: What are you working on? (May 2026)

#351
I'm mostly diving head first into formal methods again. Mostly TLA+, but a bit more Isabelle as well.

I haven't really forgiven myself for dropping my PhD; I think it was the right decision at the time, but I also kind of wish I had pushed through it. I'm going to see if I can at least get a few papers published.

I've also had some fun getting Claude to create LSP servers for different languages, which it has been pretty good at, and that's nice; having good integration with Vim makes a language a lot more fun for me.

Oh, I also presented at LinuxFest two weeks ago: https://youtu.be/HmcVJWyOwJQ?t=6623

Re: Ask HN: What are you working on? (May 2026)

#353
Working on https://tapitalee.com

  - Deploy containerized apps to your own AWS account with minimal config!
  - CLI tool with instant console sessions
  - Set up SQL/Redis instantly with Heroku-like add-ons.
  - For enterprise: Autoscaling, preview apps, audit trail, release approvals.

Re: Ask HN: What are you working on? (May 2026)

#354
I've been working on https://www.photogenesis.app

It's an iOS & Android app that applies various generative art effects to your photos, letting you turn your photos into creative animated works of art. It's fully offline, no AI, no subscriptions, no ads, etc.

I'm really proud of it and if you've been in the generative art space for a while you'll instantly recognise many of the techniques I use (circle packing, line walkers, mosaic grid patterns, marching squares, voronoi tessellation, glitch art, string art, perlin flow fields, etc.) pretty much directly inspired by various Coding Train videos.

Re: Ask HN: What are you working on? (May 2026)

#355

* This is my first time actually posting anything on HN. I've been making a DSL for writing sheet music specifically for drums as raw text, inspired by ABC Notation (but of course just for drums). Now writing this I noticed that it's kind of complicated to explain and having a landing page would make my life so much easier. But the gist of it is, you write notation that looks like this: https://gist.github.com/Luigi1…

oo interesting.

is this intended for drummers, or electronic music composers?

Re: Ask HN: What are you working on? (May 2026)

#356
Working on https://gigspool.com

- Building a platform where talented people can list the services and skills they're experienced in. Clients can book paid sessions with them directly through the platform, and once a session is booked, they both meet online to discuss, collaborate, or get advice based on expertise.

Re: Ask HN: What are you working on? (May 2026)

#358
https://www.triviascroll.com

I wanted to make it easier to quickly see/study trending articles on Wikipedia because they tend to make good topics to know before going to trivia night.

I've had the domain for awhile, but just made the app recently on a whim.

I use Wikimedia's api to get the trending articles, curate them a bit, add some annotations to provide some context, then push to deploy the static site.

Post reply on HN