Top
Best
New

Posted by david927 1 day ago

Ask HN: What Are You Working On? (March 2026)

What are you working on? Any new ideas that you're thinking about?
276 points | 1026 commentspage 20
chhs 1 day ago|
I'm working on JRECC, a Java remotely executing caching compiler.

It's designed to integrate with Maven projects, to bring in the benefits of tools like Gradle and Bazel, where local and remote builds and tests share the same cache, and builds and tests are distributed over many machines. Cache hits greatly speed up large project builds, while also making it more reliable, since you're not potentially getting flaky test failures in your otherwise identical builds.

https://jrecc.net

tompccs 23 hours ago||
I'm building this: https://teeming.ai/jobs. It aggregates jobs in AI startups enriched with investor-grade info. Can be navigated with a chat agent, filters, and has automatic CV/Linkedin matching.
kameama 1 day ago||
A 16×16 multiplication table that encodes quoting, evaluation, branching, recursion, an 8-state counter, and IO — all as lookups in the same table. 83 Lean theorems, zero sorry. The project asks: can a finite algebra with a single binary operation be forced by axioms to contain its own representation layer? The answer is yes. Axiom-driven SAT search finds the constraints, Lean verifies the witness. I should be upfront: Claude wrote most of the Lean proofs and Z3 search scripts. My role was the ontological framework, the axiom design, and deciding what to search for and why. The AI-human split was roughly: I provided the "what should exist and why," Claude provided the "here's the code that proves/finds it." Every Lean theorem compiles independently regardless of who typed it. Universal results (hold for all satisfying algebras, not just this table): every model is rigid, judgment and synthesis provably cannot commute, and the tester's acceptance partition carries irreducible information that structure alone can't determine. The specific table fits in 256 bytes and can be recovered from a shuffled black-box oracle in 62 probes. https://github.com/stefanopalmieri/Kamea
auggierose 1 day ago|
That is interesting. Do you have a paper / book or anything like that which explains your work?
meandave 1 day ago||
Crew Chief (https://crewchief.cc) — a Vehicle diagnostic and management tool. Plug in your OBD2 codes (or just describe symptoms) and get a structured diagnosis in under 30 seconds: ranked probable causes, DIY vs. shop cost estimates, severity rating, and matched parts/repair videos.

I have too many project cars and bikes, I wanted one place to store vin numbers for searching parts, and then just kept adding useful features.

Supports 16 vehicle types (cars, trucks, motorcycles, boats, tractors, ATVs, RVs, etc.), not just cars. Also includes maintenance tracking, a browser extension that auto-fills your vehicle info on parts sites like RockAuto and AutoZone, a community-vouched trusted shops map, and a vehicle selling wizard with state-specific bill of sale generation.

Free tier gives you 1 vehicle with a full diagnostic.

francink 17 hours ago||
I am working on https://baolib.org.

Applications on the public cloud raise strong concerns about data protection. As an architect, I spend a meaningful part of my time ensuring the security of customers’ data in the cloud.

Bao introduces an innovative approach where data remains on local devices while the cloud provides encrypted storage for synchronization and peer exchange. Because cloud providers cannot access the data, the need for due diligence is reduced.

Any feedback is welcome.

bionsystem 17 hours ago|
Any connection with bao or openbao, the fork of hashicorp vault ? I fail to see any reference on the site
yuppiepuppie 1 day ago||
Keep on chugging away at The HN Arcade :) https://hnarcade.com

Over the past weeks, we consistently get 5-6 submissions per week. The newsletter and number of visitors are growing.

I’ve come to treat this as a pet project but realized that for indie devs who get very little marketing attention, being featured in the newsletter, top of the daily list, etc. can be another burst of users.

wan23 14 hours ago||
https://hobbybot.net

I'm trying to see how far I can get using AI to help me track pre-owned items for sale, starting with watches. I started with an OpenClaw agent that was looking for specific things I wanted to buy, and then I figured might as well make a whole site for it so I can share with others.

css_apologist 21 hours ago||
I got a few ideas which will probably never get done at this point

1 - actual css static analysis -- consume html + css, and provide tooling to preview what properties are inherited given the context you're in -- what you're overwriting, what display mode you're in. If there's inconsistent display modes depending on where in the html you are.

2 - a reactive html scripting language which using html as the source of truth, and synchronizes html elements through their relationships to each other

i only have prototypes, and unfortunately given the climate i feel i am the only person who wants these tools.. but every few weeks i get to sit down and get some progress and that's nice

edgecraftstudio 1 day ago|
The ProxyBox Zero (https://pbxz.io) - a zero-config hardware solution for connecting your modern web apps to your printers, usb devices, legacy hardware. Provides local and public internet access - print to your local printers from anywhere.
More comments...