My point was: I play Factorio for fun and it reminds of me of what programming was like before AI coding. In Factorio, all the automations you build are proper abstractions that you yourself actually designed.
2,358 karma · joined August 8, 2012
jouke [at] waleson.com
meet.hn/city/nl-Utrecht
My point was: I play Factorio for fun and it reminds of me of what programming was like before AI coding. In Factorio, all the automations you build are proper abstractions that you yourself actually designed.
That night around 8pm we drove to a random pick, called Willy's Hot Springs, very tired and hungry. We had no idea what it was and had never been to a hot springs. After confirming we could stay there, we drove for dinner and a beer at Mammoth. When we got back, we were curious and went along the wooden path to see the hot springs.
It was around midnight, there was no moon and 0 light pollution. It was magical. You sit in the cold night in natural hot water, in the middle of pretty barren country. There's all the stars and the milky way. Then all of a sudden it got pretty bright. The moon rose over the horizon. It was the first and only moonrise I've ever seen.
This was the most magical night in nature I've ever experienced. A friend of mine said "oh, Willy's Hot Springs, I've been there too, it was kind of mid." I think we experience the world in different ways.
Funny that the opposite approach is now considered with Canada. I can see it though.
Great whiteboarding tool though.
For the forges, what the sibling said.
However, what I see cooking at Cursor is way more promising than the others. Things like full system understanding, their own forge, multi-repo support. I'd put them as way more visionary in the Gartner magic Quadrant ;)
We currently use rocksdb with storage on the same node, and hit rocksdb 1000s of times per second during our analysis. About 20% writes, 80% reads. The issue is that we need to start scaling horizontally, for burstable workers and zero-downtime deployment. So we're thinking to offload to an external kv service instead of a local rocksdb.
TiKV seems a good replacement, about 3-4x slower, but very scalable. Reading this article, I think a separate postgres cluster with unlogged tables might be a good idea. If anyone has some experience to share, let me know!
When reasoning about a bit of code, types and effects are two things that help me grok it. However, there are a lot more. Like: how much memory can this use, does it process any PII, how quickly should it respond, which users are allowed to run it. Our "type" system could then alert us when we call a function that takes 20 seconds straight from a button without a loading spinner.
I'm very curious to see whether a language with many annotations this could work. Probably a language stored in a database approach like Unison is needed.
Other than that, I'm also curious to know if Jacquard works well with LLMs in practice. How well does providing the language docs into the prompt actually work? The models are trained on mainstream languages so I've been doubtful whether new languages will be able to compete.
We're running a fork that supports a "sidecar" server for running multiple integration tests against. So if any tests that need the server are included, it spawns the server, runs the integration tests, and then shuts it down. By re-using the same server we speed up our runs tremendously.
Discussion thread on gh: https://github.com/nextest-rs/nextest/discussions/3330
Good luck coming up with a new language and getting enough content out there that LLMs will be fluent with it.
If true, I think that's a shame. There's plenty of innovation still to be done.
At first the delay was 30 minutes. Then 2 hours. After 1h30 with zero updates we decided to bail. Just checked and nothing is moving yet, so we made the right call.