[flagged]
Ask HN: What are you working on? (September 2026)
931–940 of 1001 posts
Re: Ask HN: What are you working on? (September 2026)
#932[flagged]
Re: Ask HN: What are you working on? (September 2026)
#933Optimized my blog a bit
https://www.bboy.app
Re: Ask HN: What are you working on? (September 2026)
#934I'm working on a programming language for agents to write and humans to read. Think Lean4 but built for software engineering. It's dependently typed based on Observational Type Theory. A few key differences from Lean4:
1. Constructivist rather than propositional logic, so propositions can be true or false or unknown.
2. Compiler which targets the Linux ABI (in progress). An interpreter exists and acts as an oracle for tests.
3. Built-in row polymorphic effect model.
4. Fine-grained capability and resource-based security.
I aspire for it to have a comprehensive first-party software catalog.
Re: Ask HN: What are you working on? (September 2026)
#935Still plugging away on https://flopper.io Added models and pricing there recently too. Aiming to be a huge place for all GPU data when it comes to mathematical performance. Things like FP8 for AI inference etc. Tempted to make the infrastructure a bit more sound. Aside from that I'm working on https://solarable.org - which is aiming to provider understanding of solar panels before finding an installer and plotholes.a…
Would be cool if you could add coverage, for each GPU, of both rental price as well as purchase price (i.e. buy price := one of the spectrum of completed transactions on ebay, liquidator price, second hand price, new price, MSRP).
Always found the relationship between rental price and purchase price a bit peculiar.
Re: Ask HN: What are you working on? (September 2026)
#936I have been exploring reverse engineering using LLMs and Ghidra. A particular interest is in trying to understand how complexity can affect the process. I’m still learning but it’s been a fun way to explore LLMs. Here are my results using opencode https://alexander-hanel.github.io/StressingLLMs/opencode.htm...
Re: Ask HN: What are you working on? (September 2026)
#937Yaak [1] is a local-first desktop API client (Postman alternative) and I've been building MCP workflows around growth lately. I already have one for product that takes in a bunch of sources (feedback, PRs, my own tasks, etc) and makes it trivial for an agent to guide me through the day's tasks. Now I'm doing the same thing for growth by taking in web/social triggers, web analytics, and other signals to spin up market…
I love Yaak! my favorite HTTP client!
Re: Ask HN: What are you working on? (September 2026)
#938https://github.com/t0rsion/leone Working on my local LLM runtime Leone. It has a CPU path that verifies the CUDA kernels.
why not just compare against a Pytorch reference instead of comparing the kernels to a separate scalar Rust implementation?
(is it for perf reasons because bottleneck becomes verification? Though in that case perhaps it's better to just run a Pytorch reference on the GPUs, which should be good enough. Though, perhaps if you could get this current design to the point where `overlap(CPU, GPU cuda) < GPU cuda + GPU reference` that would be pretty awesome.
Re: Ask HN: What are you working on? (September 2026)
#939I'm working on an old-school "multiplayer" FPS with clowns and demons fighting it out. It's single player or invite co-op for friends. Multiplayer is simulated with virtual players so the server is always full. There are clans, chat, trash talking, all that, but all simulated (aside from co-op friends of course).
I used to love Team Fortress Classic, Counter Strike, Call of Duty, etc. back in the day. I don't play multiplayer anymore being in my mid-fifties with worse reflexes and no desire to be continually one-shotted by 24/7 players. This game is my answer to that and I'm having a blast so far making it and playing it.
It'll launch on Steam when finished, hopefully early 2027.
Re: Ask HN: What are you working on? (September 2026)
#940A model based on the econometric studies of Thorp and Kassouf (pre-Black-Scholes) for Bitcoin derivatives arbitrage using a low-frequency strategy.