Viewing profile — reubenmorais

The proposition reminds me of Rama by Red Planet Labs: https://redplanetlabs.com/

This reminds me of the classic "Growing a Language" talk by Guy Steele: https://www.youtube.com/watch?v=_ahvzDzKdB0

That's nice if you're starting from scratch, but if you have existing code to deal with, you don't have the privilege of ignoring the insane subset.

Claude Code already does this, you can access it with /resume, /rewind and /fork. I'd imagine building a version that saves in the repo instead of in the home folder would take ver…

I'm using it on a large set of existing codebases full of extremely ugly legacy code, weird build systems, tons of business logic and shipping directly to prod at neckbreaking grow…

If you watch the demo video you can see how they would get this: the model is not aggressive enough. While it doesn't cut you off, which is nice, it also always waits an uncanny am…

I hate to be the first one commenting to say this, but here it goes: the flashy LLM writing style, "Apple Event Dialect" in the README and in this comment is very recognizable and …

Nobody has to do anything, least of all massive corporations with country-sized revenues. It's /always/ a choice to comply or to put up a fight and deal with the consequences.

Maybe rather an interactive explanation and exploration environment with embedded programming?

All life is basically refining energy - standing up to entropy and temporarily winning the fight.

From my perspective, if it quacks like a duck...

I can transfer money from Europe to Brazil in seconds with Wise. I press the button and the money is nearly instantly available in the Brazilian account via PIX. The same in the re…

Google has been working on auctioning token-level influence during LLM generation for years now: https://research.google/blog/mechanism-design-for-large-lang...

1.0 is not an upgrade, it's the first stable release. Usually it signifies the arrival of some amount of feature completeness and stability compared to the fast paced 0.x days. Of …

Two examples that come to mind are: https://discuss.python.org/t/pep-692-using-typeddict-for-mor... and: https://github.com/python/typing/issues/1252

This is a weakness of the Python typing system and not necessarily of individual typecheckers. Pyright has a policy of only implementing what's standardized, and the Python type sy…

Git natively supports excludes in all pathspecs, e.g. `git log -- ':!generated/'` to exclude files in the `generated/` folder from showing up in the log.

In a practical example you'd create a named intermediate type which becomes a new base for reasoning. Once you convinced yourself that the first part of the chain responsible for c…

https://en.m.wikipedia.org/wiki/The_Emperor's_New_Clothes

> * Can it expand into the layman market? Maybe it's more enthusiast than layman, and I guess it's also not much of a market, but in the video arrrchival space it's pretty widespre…

I remember never quite getting into Counter-Strike: Source because of the difference in inertia. I had friends who were masters of movement there so I know it wasn't a sloppy game,…

> Would also say what a tryhard is attempting on a server playing every day is going to be a fair bit off from the bulk of people who played through the main game. Fair, my point i…

> And then there are an awful lot of jumping puzzles, shoehorned into a game engine that has way more slop in it than is ideal for such things. I was taken aback by this comment. T…