Viewing profile — alxmng

Hmm maybe I misunderstand. All the rules must be applied to fixpoint or elimination, for every input right? And the larger the program (rule set) the worse the performance since mo…

I think the issue is performance. A true term rewriting system has to essentially operate on text, right?

What I've noticed is if there's 1 product, 500 sellers will buy the product on Alibaba, create 500 different "brands", and when searching Amazon it appears there's thousands of pro…

This is essentially the RPC vs REST debate. Do you want your API to be a schema of data types (REST), or a list of function signatures (RPC)?

There's plenty of available gardening space in unused yards. Ask your neighbors if you can garden their unused yard in exchange for them getting a cut of the produce or flowers.

Check out the paper "Dedalus: Datalog in Time and Space". It formalizes a Datalog to include time, specifically to handle async behavior. It explores exactly what you seem to be do…

Did you consider writing a nicer language that compiles to Nix? A "friendly" tool on the outside with Nix inside.

When I first started the project, URLs needed certain constraints enforced in my business logic. So I thought "Great, let me create a type for URLs". This is the type that parses U…

This is my experience as well. Referential transparency and immutability have many advantages, with few disadvantages (if any). Type checking is great as a way to enforce constrain…

What's productive? Measured in purely financial terms selling cigarettes, junk food, and fentanyl is productive. Figuring out how to get teenagers to scroll TikTok all day is produ…

One option is to outlaw asking for a tip at a place of business. No screen prompting for a tip, no slot on a receipt to accept a tip, etc. Nothing could be displayed conditional on…

Any details? What part is AI generated? Which model? What tools? What was the process?

I find it helpful to first assess uncertainty. 1 = I’ve done this before 2 = Someone else in the organization has done this before 3 = Someone outside the organization has done thi…

https://en.m.wikipedia.org/wiki/Software_crisis

I enjoyed “Endurance” by Alfred Lansing, and would recommend it if anyone wants to read a riveting and mostly accurate account of Shackleton’s famous voyage.

You might enjoy Sabine Hossenfelder's video exploring this "I recently learned that waste heat will boil the oceans in about 400 years": https://www.youtube.com/watch?v=9vRtA7STvH4…

“I Am That” by Sri Nisargadatta Maharaj

"Individual Contributor" is corporate speak for non-managers (someone who does not manage others).

Someone could take ownership of the project and make decisions instead of letting a monkey run around.

Everything. Rails, Haskell, Rust… I care about speed/performance above all and Helix is just faster than everything else. Zero config is icing on the cake.

Thank you. I love Helix. It’s my daily driver.

Yes, I've done this for my clients. Any of the leading LLMs can power the natural language part. But SQL is typically too open-ended to integrate into a product. You'll need a more…