alxmng

4 ms·

1.
by alxmng 2y ago
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 more rules must be evaluated at each “tick” of the program, un
2.
by alxmng 2y ago
I think the issue is performance. A true term rewriting system has to essentially operate on text, right?
3.
by alxmng 2y ago
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 products but it's actually a hand
4.
by alxmng 2y ago
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)?
5.
by alxmng 2y ago
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.
6.
by alxmng 2y ago
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 doing here.
7.
by alxmng 2y ago
Did you consider writing a nicer language that compiles to Nix? A "friendly" tool on the outside with Nix inside.
8.
by alxmng 2y ago
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 URLs from user input and gets marshaled/unmars
9.
by alxmng 2y ago
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 constraints. However, nominal types create unnecessary incompatibilit
10.
by alxmng 2y ago
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 productive. ... What people are suggesting is to take money
11.
by alxmng 2y ago
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 purchase (such as a receipt, a PoS terminal, etc.)
12.
by alxmng 2y ago
Any details? What part is AI generated? Which model? What tools? What was the process?
13.
by alxmng 2y ago
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 this before. 4 = Nobody has done this before 1 and 2 can be qui
14.
by alxmng 2y ago
https://en.m.wikipedia.org/wiki/Software_crisis
15.
by alxmng 2y ago
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.
16.
by alxmng 2y ago
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 It turns out we can probabl
17.
by alxmng 2y ago
“I Am That” by Sri Nisargadatta Maharaj
18.
by alxmng 2y ago
"Individual Contributor" is corporate speak for non-managers (someone who does not manage others).
19.
by alxmng 2y ago
Someone could take ownership of the project and make decisions instead of letting a monkey run around.
20.
by alxmng 2y ago
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.
21.
by alxmng 2y ago
Thank you. I love Helix. It’s my daily driver.
22.
by alxmng 3y ago
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 constrained query interface to hit 100% accuracy
23.
by alxmng 3y ago
PG&E has also done everything they can to stop San Francisco from providing its own power. But hopefully that's finally coming to an end: San Francisco is taking the biggest steps in history toward creating a full public-power sys
24.
by alxmng 3y ago
You’re correct that to get clients you need to prospect, and one of most effective ways to prospect is networking. You can start now with your existing network. Just let everyone know you’re available for work, and see what comes your way.
25.
by alxmng 3y ago
“To the extent that the business takes place in software, designing the software is designing the business.” @mulegirl from Twitter
26.
by alxmng 3y ago
This looks very polished, and a more self-serve experience than what some other companies have built. Seeing what has happened with Assistants API, do you expect OpenAI to soon introduce an SQL API as well? As someone in the position to eva
27.
by alxmng 3y ago
This 1000%. At some point you have to decide, “do I work for my team and the people I’m supposed to lead, or do I work for the business?” Great managers choose their people over the business. Ironically, this best serves both in the long-ru
28.
by alxmng 3y ago
Putting in 6 days to get 3 is a -50% ROI, not much better than -60% ROI of the five-day work week. I propose Profito: A 3-day week for a profitable life. For every 3 days you work, you get 4 days free.
29.
by alxmng 3y ago
Does this explain why bugs seem to swarm at sunset? Because the sun is lower towards the horizon it brings the bugs towards the ground?
30.
Eight Marketing Maxims(seths.blog)
2 points by alxmng 3y ago|0 comments

More ›