[dead]
Ask HN: What Are You Working On? (December 2025)
981–990 of 1001 posts
Re: Ask HN: What Are You Working On? (December 2025)
#982I've released a new version of CoAP_SPARK, my formally verified implementation of this IoT protocol. The implementation language is SPARK, the verifiable subset of Ada. https://github.com/mgrojo/coap_spark
Re: Ask HN: What Are You Working On? (December 2025)
#983Working in TuxSEO (https://tuxseo.com/). The product is good, but no paying customers. I'm working on setting up a cold email campaign to hopefully diversify my outreach.
So in other words, since I'm an introvert developer, i'm trying to grow some balls to start reaching out to people.
Re: Ask HN: What Are You Working On? (December 2025)
#984https://tryscrawl.com - minimal handwritten note-taking app for the iPad with optional, built-in AI querying (using handwritten/spoken interfaces instead of typed text).
Intention is to make a free, local, and simple notetaking app for the iPad since Notability/Goodnotes seem to have become overly bloated, and then add optional AI features that are actually useful, and which stay out of the users way unless really needed.
launched v1 on the App Store about a week or so ago, currently have about 130 downloads and 2 users paying for the AI tier
Re: Ask HN: What Are You Working On? (December 2025)
#985https://apps.apple.com/us/app/echu/id6755234919
echu – a tiny app that turns long reads, books, and youtube videos into short, readable cards. helped me process my 3yo 'learn later' backlog in just one week.
Re: Ask HN: What Are You Working On? (December 2025)
#986I created a simple app that lets your kid call Santa AI via video call. Parents can use this webpage to schedule a 5-minute or 10-minute call with Santa, who will speak to their child.
Very, very realistic and could support a dialogue, ask questions, and even tell if there is a gift for a kid.
I use the HeyGen AI avatar, and I DO NOT record any video. Would you show this to your kid? Could you give me some feedback?
Re: Ask HN: What Are You Working On? (December 2025)
#987https://www.tonediff.com
Building ToneDiff — a free tool for instant A/B testing of audio gear.
Got fed up with 20 YouTube tabs and endless scrubbing when choosing speakers, mics, or guitar pickups — so I built this.
Two main modes: Upload your own audio files and have basic analytics (waveform, spectrum). YouTube video-based virtual tracks (no more 1 hour- timeline seek)
I'm going to add blind test, match mode, user track reorder. Very much a pet project, still rough around the edges. Feedback and feature ideas very welcome!
Re: Ask HN: What Are You Working On? (December 2025)
#988https://3dpack.ing
Online 3d container planner.
Re: Ask HN: What Are You Working On? (December 2025)
#989Outing planner.
Route weather forecasting based on date/time, speed/pace, ideal conditions in Settings. As also go/no go callout windows, AI nutrition/gear list. Deterministic engine of fitness readiness, being able to see progress and fitness and overall body health.
Used it for: Skiing, hiking, cycling. Any outing with a route.
Import a route from Strava, RideWithGPS, GPX/FIT, Apple fitness. Plan for weather forecasting! Fitness readiness is obtained from metrics collected from a smart watch.
I actually turned it free recently. Consumer market is hard and I'm more interested in learning about AI and a full stack side project.
Re: Ask HN: What Are You Working On? (December 2025)
#990I'm building all the missing features from kubectl in different utilities; kimspect (https://github.com/koithos/kimspect) to help you inspect the images and registries used in your cluster and fakos (https://github.com/koithos/fakos) to easily fetch metadata from different resources of the cluster.