I made sdf2stl.saej.in

You can use it design 3D objects with mathematics and bring them into the real world with 3D printing.

You can use it to create 3D models that are impossible to create with CAD, CSG, sculpting, or mesh-based tools.

You can build on a decade of community SDF development on Shadertoy because sdf2stl uses the same language.

A few days ago I may have become the first person to 3D print the equation x^4+y^4+z^4-x^2-y^-z^2+.4=0 (Goursat's surface) https://www.printables.com/model/1713835-goursats-surface

Please try it out and tell me what you think.

https://sdf2stl.saej.in

Striga (https://www.striga.ai/) - Source code auditing built on artificial intelligence. Auditing source code with local LLMs, ensuring full data sovereignty. The latest noteworthy discovery - Double Free and possible RCE vulnerability in Apache HTTP Server with the HTTP/2 (CVE-2026-23918)

I've just published my first book. The central argument is simple: software development is a design activity, not a construction activity — and confusing the two is the root cause of most project failures. Written for developers, managers, and anyone who has ever wondered why building software is so much harder than it looks.

It's on Amazon in both Kindle and paperback formats.

https://www.amazon.com.au/Code-Design-software-projects-deve...

I'm working on https://docx-editor.dev/, the open-source, mit licensed word editor library.

We are building this because we such library it in our core business, and a lot of other engineers seem to need it too. We have contributors showing up with bug reports and fixes, and real interest from people building apps around .docx docs.

My previous show hn post (https://news.ycombinator.com/item?id=46947229) got a lot of skepticism because we're developing heavily with AI, but with active community feedback and proper ai oversight (mostly me), I'm super proud of what we have now.

A paid social media platform called TerraRose.

https://terrarose.org

I was tired of algorithms running my feed, my data being sold, ads, being tracked.

So I built TerraRose.

Current User Count: 2.

Maybe it will turn into something maybe it won't.

Research grade orbital mechanics, specifically of asteroids/comets. I've been working on it for 4 years now, finally tried using some AI tooling the last few months and ended up vibe coding a fun little visualization.

(Desktop Strongly recommended) https://dahlend.github.io/ketev/

https://validity.ai - A tool to help validate that generated code is complete

https://blunders.ai - Chess improvement platform

I've started watching soccer more seriously in prep for the world cup (I'm in Canada) and watching live games is never going to happen, so I only watch replays.

There's so many games played per week, I want to find the best/most exciting games to watch, without spoilers. I built a little model to classify games and give me control over the level of spoilers shown so I can watch the best games of the week.

https://nospoilersclub.com

I had an idea about explaining ML predictions without direct access to the data or the model: provide basic stats about your data, use them to generate synthetic data, then train a surrogate to predict your model's predictions on the synthetic data.

Could be handy for model risk management and governance, e.g. if you need a challenger model for SR 11-7 without all the hassle of getting access to the original data, getting the black box model set up, and so on. I wrote it because I remember having to create "throwaway" models to show why I needed a better model; it would have been nice to just make a couple of API calls instead.

SDK: https://github.com/proxyml/proxyml-sdk-python

Schema builder: https://github.com/proxyml/schema-builder

Landing page: https://proxyml.ai/

I am trying to build a simulation that lets a simulated organism come up with its own small language, purely learned from sensory input: https://github.com/JoergStrebel/VirtualZoo/blob/main/compute... I would like to implement the ideas put forward by Stevan Harnad in his symbol grounding problem paper (Harnad, 1990).