astrostl (u/astrostl)

astrostl commented on Coursera to combine with Udemy investor.coursera.com/new... · Posted by u/throwaway019254

astrostl · 5 hours ago

It's such an amazing business model:

- create a platform to host content others create

- get employees to ask for company-provided access

- almost none of these employees really use it

- collect subscription revenue indefinitely

astrostl commented on AI will make formal verification go mainstream martin.kleppmann.com/2025... · Posted by u/evankhoury

roadside_picnic · a day ago

I very much agree, and believe using languages with powerful types systems could be a big step in this direction. Most people's first experience with Haskell is "wow this is hard to write a program in, but when I do get it to compile, it works". If this works for human developers, it should also work for LLMs (especially if the human doesn't have to worry about the 'hard to write a program' part).

> The next step up from that is a good automated test suite.

And if we're going for a powerful type system, then we can really leverage the power of property tests which are currently grossly underused. Property tests are a perfect match for LLMs because they allow the human to create a small number of tests that cover a very wide surface of possible errors.

The "thinking in types" approach to software development in Haskell allows the human user to keep at a level of abstraction that still allows them to reason about critical parts of the program while not having to worry about the more tedious implementation parts.

Given how much interest there has been in using LLMs to improve Lean code for formal proofs in the math community, maybe there's a world where we make use of an even more powerful type systems than Haskell. If LLMs with the right language can help prove complex mathematical theorems, they it should certain be possible to write better software with them.

astrostl · a day ago

This is why I use Go as much as reasonably possible with vibe coding: types, plus great quality-checking ecosystem, plus adequate training data, plus great distribution story. Even when something has stuff like JS and Python SDKs, I tend to skip them and go straight to the API with Go.

astrostl commented on Carrier Landing in Top Gun for the NES relaxing.run/blag/posts/t... · Posted by u/todsacerdoti

jordigh · 3 days ago

The information to properly land the plane is in the manual. The required air speed and altitude have never been a secret, if you read the manual (which I guess most kids didn't).

The real difficulty, not explored in this disassembly, is that the game has semi-realistic physics! My older brother was in flight school at the time and was able to easily land the plane and taught me how to do it.

As the article states, "Altitude and speed are both controlled by throttle input and pitch angle". So you can't just hit the engines or air brakes button to change your speed. If you lower the nose of the plane, you'll speed up and vice versa! So you have to carefully juggle your speed and altitude by altering both your pitch and your engines/air brakes.

My brother taught me that my speed wouldn't reduce if I'm nosediving, so raise the nose a little while opening my air brakes for a quick reduction in speed and then level out to maintain altitude. The game actually models this somewhat accurately!

astrostl · 3 days ago

> The information to properly land the plane is in the manual

Look, I already liked the nerdy blog post! I don't need even more reasons to like it.

astrostl commented on Ask HN: What Are You Working On? (December 2025) · Posted by u/david927

astrostl · 3 days ago

Most recently (yesterday), vibe coding a better interface for Roblox screen time: https://github.com/astrostl/blockblox . Claude Code crushes, and I'm preferring Go for everything I can to take advantage of typing, quality ecosystem, and distribution. Still need to implement the QE side on this as I have on other things.

astrostl commented on Kimi K2 1T model runs on 2 512GB M3 Ultras twitter.com/awnihannun/st... · Posted by u/jeudesprits

Aurornis · 4 days ago

RDMA over Thunderbolt. New feature in the latest macOS.

astrostl · 3 days ago

The OP confirmed that it isn't:

"is this using RDMA?" "No. It will be faster with that in the next release" [1]

1: https://x.com/awnihannun/status/2000243131779023329

astrostl commented on Writing a good Claude.md humanlayer.dev/blog/writi... · Posted by u/objcts

dexwiz · 17 days ago

Do you have any proof that AI written instructions are better than human ones? I don't see why an AI would have an innate understanding on how best to prompt itself.

astrostl · 17 days ago

Having been through cycles of manual writing with '#' and having it do it itself, it seems to have been a push on efficacy while spending less effort and getting less frustrated. Hard to quantify except to say that I've had great results with it. I appreciate the spirit of OP's, "CLAUDE.md is the highest leverage point of the harness, so avoid auto-generating it" but you can always ask Claude to tighten it up itself too.

astrostl commented on Writing a good Claude.md humanlayer.dev/blog/writi... · Posted by u/objcts

astrostl · 17 days ago

I have Claude itself write CLAUDE.md. Once it is informed of its context (e.g., "README.md is for users, CLAUDE.md is for you") you can say things like, "update readme and claudemd" and it will do it. I find this especially useful for prompts like, "update claudemd to make absolutely certain that you check the API docs every single time before making assumptions about its behavior" — I don't need to know what magick spell will make that happen, just that it does happen.