alt Hacker NewsAsk HN: What are you working on? (June 2026)
What are you working on? Any new ideas that you're thinking about?
Comments
Trying to write a formally verified simplified (1D) implementation of Ruckig, more to learn the tools than for the result, although I want that too. Some fun challenges with numeric stability (using the big hammer of arbitrary precision to address that for now), etc. Still don’t have a real path to bridge correctness arguments through a formalization of Sturm’s theorem or similar, accepting it as an axiom for now.
Compiled agents: http://squig.com/
It takes your instructions, write a versioned spec, then generates a hybrid workflow of code+LLM calls and protects it with tests/evals
The result is that the agents run much faster (90% of it is code), cheaper (LLM steps are scoped tightly and uses smaller models) and reliably (specs get turned into coded state-machine)
Currently working on HN Alerts — a simple free site I made to alert me (via email) to trending stories on Hacker News.
It sends me an email once a story hits a certain number of upvotes per minute, so it's useful for keeping track of breaking news.
It'll also soon allow you to get alerted to specific words or phrases in titles. (I have one set up so the monthly hiring threads notify me as soon as they appear.)
I have been building https://longhorizon.dev
It let's developer do test planning and testing automation using their coding agents. The records of the testing sessions are then shareable and can be added to PRs, giving the reviewers visibility into how the feature works, what scenarios are handled and tested and what might have been missed.
A way to access social media content read only without an account, with HTML, RSS/Atom and at some point ActivityPub probably. I will probably post here in a few weeks when PoC will up.
I think that the IoT open source software landscape is missing a simple middleware to abstract the various network providers. I'm trying to fill that gap and hope to author a "show HN" soon about that :-)
Working on Margin Points (https://www.marginpoints.com/): a daily essay series on business and tech. Already over 80 essays in. I'm playing around with a daily live call-in show for readers who want to discuss ideas while the essays are rough drafts and help shape the thinking.
A very simple idea: when you eat more than your maintenance calories, you gain weight; when you eat less than your maintenance calories, you lose weight.
By using an algorithm, we can accurately figure out your maintenance calories more accurately than traditional regression based formulas like katch mc ardle.
It's way more accurate than calorie burn tracking devices like fitness bands and watches. (garmin/apple watch etc...)
MacroCodex helps you spot dips in maintenance calories from metabolic adaptation, then auto adjusts your calorie target and macros so your plan stays aligned with your real maintenance calories (TDEE).
It's very useful to those who find it hard to gain or lose weight.
it's a completely free app, no paywall, no unnecessary data collection.
Already reached 13,000+ users
I enjoy creating new benchmarks for LLMs. Lately, combining scientific computing tasks (n-body sim, Monte Carlo, etc) with Apple Metal GPU kernels (evolved through LLMs) led to a curious benchmark I believe: https://github.com/vicgalle/metal-sci-kernels
Working on caddy-snake, a python plugin for Caddy: https://github.com/mliezun/caddy-snake
And on a new post about how to design web apps for the AI-era for my blog: https://mliezun.com
A few tools to de-enshittify/enhance specific websites.
I don't have to tell the Hacker News crowd how junked up the web has become.
* Bookmarklet to cleanly extract lyrics from Genius.com. * Firefox add-on to cleanly display lead sheets and guitar tabs on UltimateGuitar.com * Firefox add-on to show Distance From City on TrustedHousesitters.com. https://versastudio.com/projects
I'm working on https://docx-editor.dev/, open-source, .docx editor library for building document apps.
For fun: https://squishy.franzai.com/
For curiosity: https://airplane-ai.franzai.com/ based on Gemma
For profit: optimizing my virtual desktop in the cloud setup for AI First workshops
I'm using an old domain to put together a curation of film edits set to music
Attemping to write my own CDCL SAT solver right now. I've experimented in the past with a DP & DPLL SAT solver. I'm currently somewhat mentally stuck on how to create the derived clause after a conflict, but I'll get there :)
I am working on https://coderscreen.com/
an open source technical interview platform built for modern interview workflows like takehomes, agent coding sessions, as well as the standard leetcode-style questions.
Been building a file manager for almost four years that combines the best of Notion and Obsidian while remaining a competent file manager in the process. It's called Phials.
Not technically released even though the site is live, but close enough to a beta at this point.
A DSL for machine learning programs: https://pypie.dev/ Embedded in Python, written like Python, but with static type safety (e.g. it catches tensor shape mismatches at compile time)
I'm working on Kronotop, an open-source, distributed, transactional document database built on FoundationDB, featuring Redis protocol compatibility and a MongoDB-style query language.
Vinyl-Tags: a set of command line tools to facilitate the process of preparing analog recordings for addition to music libraries. Fetch metadata and cover art from Discogs (or generate your own); co-run with Audacity to locate track boundaries efficiently; add the metadata to the audio tracks.
Making it possible to share a deck in my flashcard app https://texeditor.com
Been deep diving into visual model architectures. Currently running some small evaluations on an idea around unlabeled mask segmentation that will run efficiently on mobile phone hardware. Looking promising so far!
Im currently working solo on the only autopilot agent and thinking partner for android. Its called twent.xyz . Wait. I got more to show you. Im also building signupdoggy.pages.dev which is an API based service that blocks fake signups. Could be temp emails, could be temp phone numbers, we block it all.
https://github.com/gagarwal304/meridian - Simplest way to analyze your opentelemetry data from claude code to optimize claude.md for better prompting
I’m beta testing a small abstract strategy game I invented and for which I trained an alphazero style AI, https://span.game
I’m making a baby book for my son Henri featuring famous Henri’s through history.
I’m also building a zigbee free/busy eink display that only needs to powered once a year or so
I am researching Proof of Possession for API authentication as a means of reducing the impact of credential their:
Still chipping away on Raygum! Like Letterbox for music.
I’m working on "Fetch", a native macOS client for ClickHouse.
The idea is to make querying ClickHouse feel more like using a polished desktop with ClickHouse native features :
It’s built in Swift/SwiftUI with Monaco as the SQL editor.
Screenshot: https://ibb.co/gbW4rW7G
I’m still working on filepond v5. A JavaScript file upload library that supports client side image manipulation, chunked uploading, various file sources, and is procedurally animated.
I’m working on Snapy, a system that helps secondhand retail stores digitize and broadcast their live inventory across Google, Facebook Marketplace, Craigslist, eBay, and more.
We’re live in 3 stores and it’s working great.
The system has two parts: a mobile app that lets employees snap photos of products to generate and publish listings, and a hardware box that sits inline between the barcode scanner and POS to track in-store sales and automatically remove the corresponding listing when something sells.
I’m working on Snapy, a system that helps secondhand retail stores digitize and broadcast their live inventory across Google, Facebook Marketplace, Craigslist, eBay, and more.
We’re live in 3 stores and it’s working great.
The system has two parts: a mobile app that lets employees snap photos of products to generate and publish listings, and a hardware box that sits inline between the barcode scanner and POS to track in-store sales and automatically remove the corresponding listing when something sells
My little project for today is sort of hardware hacking of Chinese Aubess WiFi switch with power monitor so I can reflash it without desoldering anything. :)
Preparing the nursery.
In the odd times working on my workout app, which now has agentic chat, analysis, charting abilities, workout proposals and whatnot.
Snapshot-fork microVM sandboxes for AI agents on Kubernetes.
Mostly offboarding stuff from “the cloud” due to geopolitical instability and sovereignty issues.
Working on the theory to unify all existing fragmented ideas on human psychology.
I’m working on my developer portfolio that deeply incorporates the forgejo API, which is where I host my code. It basically gives a personalized dashboard for my personal projects.
A share collab rich text editor: https://collabedit.duckdns.org/ and trying get back to open source contrbutions.
MathBreakers, Your Limitless Math Universe. It's a math game platform teaching fundamental grade school concepts like Fractions in an immersive 3D world with virtual manipulatives (no equations or worksheets).
Re-reading the Lean Startup to hone our GTM, market validation and growth engine.
(mathbreakers.com)
5T OTA to use as a gm/VCA cell primitive for my Tiny Tapeout FPAA.
Specs/area are not the focus currently. I just want to build a few useful blocks with it (e.g. analog summer, filter, ...).
teale.com - distributed ai inference using networked devices essentially folding@home but sharing underutilized ram (when you're asleep, someone else in the world is awake)
would really appreciate testers but also any companies thinking about distributed inference powered by their own company devices on a private network. my own company has 200+ 16gb ram machines that we're using for inference.
Running a Kickstarter for an ergonomic keyboard
https://www.kickstarter.com/projects/taikohub/taiko-01-keybo...
I’m working on a package that exposes Apple’s local model as a provider in Opencode and Raycast: https://github.com/localcodeai/localcode
Still working on a Reservation System I'm thinking of making FOSS. Not trying to plug it, but it's all I've been working on lately (next to the job that brings in the bread).
I have made elderflower syrup, and I'm now trying it in different cocktails/mocktails.
If you have a business that relies on reviews, I'm looking for a beta tester!
GetSetReply.com aims to:
1. Get you more reviews
2. Avoid negative reviews
3. Respond to reviews
You can email me via my email in my profile.
Worked on awardlocker.com for a while, an award flight search engine. I ended up buying a bunch of business flights with points so my interested died down a bit, but quite useful!
https://proxybase.xyz - No Kyc residential proxies, Xmr accepted.