Top
Best
New

Posted by aleda145 4 days ago

My Mathematical Regression(blog.dahl.dev)
359 points | 143 comments
jp57 1 day ago|
I think one of the saddest thing is that the kind of person who would recognize, "we can solve this seemingly complicated problem by just applying this formula", would often have trouble even getting recognized in many corporate environments.

I managed a guy like that. He was capable of very complex thinking, but he wasn't in love with complexity, he was in love with simplicity. His solutions tended to be of the form, "we can ignore all these things, and just focus on X, and it will provide all the value." He'd notice something and simplify it and the benefit to the company would be measured in multiples of his salary.

Every manager who'd ever directly managed him knew what a treasure he was, but it was often hard for us to convince others of the value of his solutions because they were so simple, and people were convinced that hard problems must have complex solutions. (or else they would have solved them, right?)

He eventually got bored. He retired and joined a seminary.

eru 1 day ago||
> I managed a guy like that. He was capable of very complex thinking, but he wasn't in love with complexity, he was in love with simplicity. His solutions tended to be of the form, "we can ignore all these things, and just focus on X, and it will provide all the value." He'd notice something and simplify it and the benefit to the company would be measured in multiples of his salary.

I did some of that a few times in my life. But I also realised that a large part of the value I brought was not necessarily in coming up with the solution, but in convincing the rest of the company---and in training up enough of the rest of the team to understand and maintain the system.

For example at Goldman, I used an integer linear programming solver to re-shuffle how we assigned compute capacity in different data centres to various departments and how to compute fail-over plans ahead of time.

The actual modelling and implementing barely took any time at all; I used an off-the-shelf open source solver. But I spend multiple weeks teaching the team enough about linear programming so that they can eg change the model when business requirements change.

kj4211cash 19 hours ago||
This is basically my professional career. I've stayed 5+ years at the same place now and it's gotten to the point where people ask for me to build an optimization before it's even clear they have a problem amenable to optimization. Yay! My work has a good rep. But also I'm called upon entirely too frequently to explain work I did years ago or to answer questions like which constraint "comes first". Honestly it's getting very tiring. I think a switch to a new company would help but I wonder what will happen to the optimization work at my current company after I leave. It's weird that such a useful academic field still feels like black magic to much of corporate America. I guess it's just sophisticated enough.
eru 2 hours ago||
> I guess it's just sophisticated enough.

Maybe, though just applying a commercial or open-source off-the-shelf solver is a lot easier than most of what they ask you to figure out in your average programming interview. Probably about as hard as doing some SQL queries, which we even entrust semi-technical people with.

Of course, when your first naive modelling attempt doesn't work (eg can't be solved in any reasonable amount of time), there's a bag of more complicated tricks and some real ingenious engineering you can do; but again, the lower rungs of that aren't all that dissimilar from what your local database guru does when she tells you to add more indices.

xg15 1 day ago|||
I imagine this is where the reputation of a good manager comes in and the ability to say to their boss "hey, we should keep this guy... just trust me on this."
mym1990 1 day ago|||
Good managers are fairly rare, even though every manager probably thinks they are a good manager.
phtrivier 1 day ago||
I'm one of the few who absolutely believe they're not one of the rare "good" - hopefully, "not yet".

What resources do you recommend to improve ?

mym1990 15 hours ago|||
I think thats a good start probably haha. I am not a manager, and have not had a "good" one in a very long time, so I have no resources unfortunately. That isn't to say mine are bad, they let me be autonomous as an IC and I have a lot of flexibility. I am coming more from a human angle, and not a "these are the 5 things you need to do to be a good manager" angle. In my company, most people are too busy with day to day activities to really focus on developing people. When I parted with my last one, he thought we had only been together for 2 years...it had been 5. I think a lot of managers just don't really listen, they nod their head and give some advice and then 4 weeks later we're just having the same conversation again.

Everyone's situation is different, so without context this probably just reads as pouting or possibly me being incompetent haha.

cognitiveinline 21 hours ago|||
radical candor is a good book that explores a simple framework for people management.
transitorykris 16 hours ago||
A massively abused book that led many to justify being assholes. You don’t have to read it, here’s the Cliff’s Notes:

Care personally, challenge directly.

adrianN 1 day ago||||
If the company runs on reputation it’s only a matter of time until a consultant comes in and processes are established to move to a more efficient metric based management style.
wwind123 1 day ago||
Yeah, it's tough either way. Some managers might be biased and keep praising some of their reports that don't actually provide good value for the company. For an outside observer that has no intimate knowledge to the work, how could this be differentiated from the manager having a backbone to support a report that does truly great work but there is no good metric to prove it?
causal 20 hours ago|||
Depends on leadership culture. In toxic (aka “competitive”) environments managers are insecure and fear their own staff as potential competition.
abhaynayar 1 day ago|||
If his monetary value to the company was as said why would any other metric like complexity even remotely matter or need convincing assuming the main goal of the company was to make money.

Money would matter even more than the interpersonal stuff in most cases but on top of it even the managers treasured him so there should've been even less of an issue of communicating value.

Getting bored is totally understandable though given his calibre but that's a separate issue from how the company evaluates performance.

throwaw12 1 day ago|||
> If his monetary value to the company was as said why would any other metric like complexity even remotely matter

Here is why: I turned off a feature flag in our feature flagging service which saved company 10% infra cost, do you think I can be promoted to Staff+ and lead 50 engineers?

Promotions and/or recognitions in corporate environments works differently.

I don't agree with it, but this is how it works: If what you did feels simple, anyone else can do it as well, why should we promote you for finding such silly mistake or improvement.

BobbyTables2 1 day ago|||
Same with executives and upper management.

One cannot be a director/VP of 3 people. They need an empire…

jmalicki 1 day ago||
One can be a VP of 0 people.

Look into what the title means at banks!

eru 1 day ago||
I was an Executive Director / Vice President at Goldman with 0 reports.
jmalicki 1 day ago||
Banks are the inversion where a Director is higher than a VP! An ED w/o reports is actually moderately impressive though!
eru 1 day ago||
Well, I was on the tech side which (at least at Goldman) has comparatively higher powered titles at less reports compared to the real bankers.

I suspect it's because the tech side doesn't run the model where ambitious young people without a clear idea of what to do go work for an investment bank for three years as sort-of 'finishing school'. So there are less juniors to herd for the techies.

sivalus 18 hours ago||||
Models of extra compensation works elsewhere, like commissions and base salaries. I would think we could come up with something for engineers and ops in return for saving the company money that doesn't result in exploitative behavior.

There is just no collective bargaining power to put it into effect.

hansvm 18 hours ago|||
> staff+

Maybe. It looking easy isn't the point. If you have the knowledge and skills such that doing so is a semi-repeatable endeavor, especially in a world where your colleagues apparently missed that 10% savings lying on the floor, is that not (part of) the point of a promotion? [0]

> lead 50 engineers

That's a totally separate ballgame. Nothing in your example says anything about leadership ability. Maybe you have those skills, and maybe you don't, but technical acumen is separate from leadership.

[0] https://mosaicstrategy.us/2016/10/10/know-where-to-tap/

ezst 1 day ago||||
> If his monetary value to the company was as said why would any other metric like complexity even remotely matter or need convincing assuming the main goal of the company was to make money.

I'll just be the Nth commenter to say it, but corporations, especially larger ones, are anything but efficient. I don't know if it ever was true, except maybe for companies focused on producing high volumes of highly standardized/specific products in a competitive environment. That's not to say that efficiency isn't desirable or beneficial in general, but as soon as it becomes difficult to put a value tag on the work being done (which unfortunately gets harder in more services oriented corporations), competing for clever ideas just rewards less than competing for the boss's attention. There's no justice or fairness in that.

eru 1 day ago||
Companies can be efficient and inefficient at the same time. Efficient at some things, and inefficient at other things.

For things with direct bottom line impact and fierce competition, many companies can suddenly become very efficient. But in a big company, that's often the exception rather than the rule.

skydhash 1 day ago||||
> even the managers treasured him so there should've been even less of an issue of communicating value.

I’m not a fan of doing politicking, bjut after much courses on writing and communication, I strongly believe that such simple solutions could have been presented in a way to justify rewards.

There are people that do nothing worthwhile and can find words to justify themselves. If someone brings value, you can find words to earn him recognition.

chii 1 day ago||
This is what i hate about modern corporate culture (or human culture in general perhaps).

I dont want to expend effort politiking. I dont want to expend effort blowing my own trumpet. The value of my work is self-evident, but requires an equally intelligent person to understand.

And most people do not understand, and thus, fail to recognize the value.

eru 1 day ago|||
I don't think this has anything to do with _modern_ corporate culture. There was never a golden age where corporate culture was better across the board.
skydhash 1 day ago|||
Sometimes they do understand, but often your nice work may highlights someone's else egregious errors. And the political landscape may not work in your favor. So private praise (if you're lucky) and public silence.
crabbone 1 day ago|||
Oh, I've worked in more than a dozen of software companies. When it comes to planning activities and setting goals, I've rarely seen a lot of sense.

I mean, we are in the industry where it used to be a standard practice, not so long ago, to deliver daily reports about one's activities while "planking", or throwing a beach ball to another person doing some silly acrobatics...

It should come as no surprise that there's no rigorous assessment protocol for these kinds of things anywhere. Retrospectively, I will admit, that enormous amount of effort and resources are wasted due to bad planning. But it's still not done.

I can imagine that with the field becoming more competitive, eventually, the industry specialists will come together and try to address the problem, but so far and for so long the resources just kept flowing in, the huge waste wasn't really a problem.

ranit 1 day ago|||
>> He eventually got bored. He retired and joined a seminary.

Wow, got bored and joined a seminary - Do you know how does he feel there? A genuine question - Did he expect to get excited and challenged in a seminary?

aj_hackman 17 hours ago||||
"The first gulp from the glass of natural sciences will turn you into an atheist, but at the bottom of the glass, God is waiting for you."
ranit 13 hours ago||
A good quote. I didn’t mean the question as “atheist vs believer argument”, but rather as an environment where ideas are accepted and flourish. Because I understood the parent comment: “He eventually got bored.” as "He got bored by the corporate environment not getting his ideas and thus went to a better organization in that regard."

So now, how was he, the one with brilliant and unorthodox ideas, got accepted in an institution like seminary? How he felt having arguments there, etc. …

RugnirViking 1 day ago||||
well, they are known for being places to discuss theology all day. Theology isnt that far from philosophy, it's certainly interesting enough to talk about
analog8374 1 day ago||||
If a smart guy joins a seminary then joining a seminary is probably smart.
eru 1 day ago|||
Compare and contrast https://en.wikipedia.org/wiki/Ted_Kaczynski
kleiba2 21 hours ago||
I don't get it, is the point you're trying to make that Ted Kaczynski wasn't smart?!
eru 19 hours ago||
Just the opposite: he was very smart; but most people don't consider his overall life choices to be something you would want to copy.
kleiba2 17 hours ago||
Ah, got it! Thanks for the clarification.
eru 2 hours ago||
Sorry, I was perhaps being too indirect.
left-struck 1 day ago|||
I think a better way to think about it is that humans in general just make so many mistakes and imperfect judgements. Smart people just do them slightly less. Smart people also typically have biases as well which affects their judgement, their basis are just more complicated than normal people. Like obviously being smart is an advantage for any decision, but saying if someone smart does something it must be smart makes no sense in a world where smart people usually can’t agree on what is right.
analog8374 1 day ago|||
it's a pretty good guess that when a smart person does something like this, it's something he considered long and hard and applied his full smartness to, and therefore it is probably the smart move. Right? Let's not split hairs.
cindyllm 1 day ago|||
[dead]
z0ltan 1 day ago|||
[dead]
Sharlin 1 day ago|||
It tells a lot about the state of software "engineering" if it's difficult to convince people of the value of the very best ones (the "lazy and smart officers" in the old story). No good engineer can ever be in love with complexity, that's like an automatic disqualification.
armcat 20 hours ago|||
I have the opposite experience with this, and I personally also default to simplest solutions at least as a baseline. However it’s important to distinguish between simple solutions that approximate the problem very well, to simple solutions that work in limited context or with heavy sacrifice in assumptions because those will hurt you in the long run.
sjamaan 19 hours ago||
[dead]
random3 1 day ago|||
reminds me of this other post https://news.ycombinator.com/item?id=48498385
nradov 1 day ago|||
How is that sad? A disruptive competitor will come along and eat their lunch. Creative destruction is the natural order of things. Ideally the badly managed organization will eventually be liquidated, thus freeing up resources for more productive activities.
golem14 1 day ago||
Unless they are, in addition to bad at management, really good at regulatory capture.

E.g. Experian, Transunion and their ilk are unlikely to be eaten as lunch soon.

Apologies to the good engineers and managers in those orgs!

thelonelyborg 1 day ago|||
great story.
andai 15 hours ago|||
Perfection is achieved, not when there is nothing left to add, but nothing to take away. ― Antoine de Saint-Exupéry
doctorpangloss 1 day ago||
okay, another POV is that hardly any real problems are math problems, but we seem to call solving math problems "problem solving" when that's really not true at all. like the easy part is the math. the hard part is persuading other people.
boothby 1 day ago||
A great many real world problems have, at their crux, a mathematical problem. A mathematician paired with a subject matter expert can be powerful indeed when each sees deeply into the others' blind spots. But, I've heard statements like yours a lot over the years: assuming mathematicians aren't fully aware of the limitations of what you think math is.
ForOldHack 1 day ago||
Its all a math problem, and if it isn't a math problem, its a database problem. I come across a lot of problems, and since I always try to reduce it to a math problem... I intuitively come up with both the solution to the problem, but solutions to other problems. But, if it's not a math problem, of course, its a database problem.

I would safely assume that there are no limitations of what mathematicians can do, with one important exception: Andrew, for whom I argued about the mis-uses of Infinity. Andrew is, well, rather famous.

eru 1 day ago|||
The hard part is often finding a way to turn your business problem into a math problem in the first place.
topaz0 1 day ago|||
Database problems are math problems too.
mb7733 1 day ago||
An intuitive motivation for the solution in the article (2n choose n). For an n*n grid you have to you will take 2n steps, n "over" and n "down". All that matters is the order of the steps. So if you think of there being 2n "slots", you have to pick n to be "over", and the rest are forced to be "down". So it's n choose 2n indeed.

You can also think of it another way, without using the formula combinations, and only the fact that there are n! permutations of n objects. We can think of this a permutation of 2n items, made up of two groups of n identical items each. Using (2n!) will overcount, due to the fact that each of the "over" steps are identical, and similarly for the "down" group. We have cut down our answer by dividing out all of the repeated sequences. There will be n! redundancies for all the ways we can permute the "over" group and, the same for the "down" group. So this results in (2n!) / (n! * n!), which is exactly equal to 2n choose n. See [1] which explains permutations with repetion this in general. [Note: We pretty much re-derived the formula for combinations!]

[1] https://brilliant.org/wiki/permutations-with-repetition/

xelxebar 1 day ago||
Just noticed this, but intriguingly, Catalan numbers are (2n C n)/(n+1), which hints at a connection with trees.

Off the cuff, notice that the diagonal has n+1 intersection points, and a path that never passes through the diagonal gives a forest via the isomorphism with ballot sequences [0]. Any sequence that does pass below the diagonal can be "rotated" into one that doesn't, and so there are probably n+1 paths in each "path class" on average.

Conversely, this would suggest that all paths contained in just one upper or lower triangle of the square can be counted by the Catalan numbers. Indeed, a 2x2 square has just 2 such paths and (2n C n)/(n+1) = 6/3 = 2.

[0]:https://blog.wilsonb.com/posts/2026-02-27-easy-random-trees....

kpatucha 20 hours ago||
Funny, but I've recently started a blog to keep my math and physics muscles working and this exact problem is the first post I've written - it is useful in high order perturbation theory in quantum mechanics that I'm planning to describe down the line. Counting these paths is cool problem but generating all of them was more challenging.

Anyway, here is the post https://kpatucha.github.io/posts/Dyck-paths-Raneys-lemma/

kleiba2 21 hours ago|||
The way I thought about it: to get to the goal you have to do 20 steps: 10 times right, 10 times down. But the order of these steps does not matter, ever possible arrangement is a solution.

So for counting, you can basically think about it as a list of twenty initially empty spots. You first fill it in with your 10 down steps. The remaining 10 spots will then be the ones for the 10 right steps. So really the only choice you have to make is where to place the 10 down steps.

This question boils down to: in how many different ways can you distribute the 10 down steps over the 20 empty spots? That's 20 choose 10.

namanyayg 1 day ago|||
This was one of my favorite Project Euler problems, but getting to the mathematical solution admittedly took me a couple of weeks.

Perhaps because I was pigeon-holing this as a programming optimization problem.

I wrote about it too! [0]

[0] https://nmn.gl/blog/vibe-coding-gambling

boltzmann64 1 day ago||
or just rotate it by 45 degrees and pretend it's a pascal's triangle.
gobdovan 1 day ago||
This is a pre-AI phenomena. I observe it quite a lot with stuff I did in high school but usually with complex problems. What's generally happening is that you were working with pen and paper through a hard problem. With adult brain, you'd expect just to know the answers, but in reality you're not much smarter than you were at 14, so you need to do the thing properly.

Also if you help little kids with homework, you'll see that some problems are quite difficult as well and require you to actually think, even if it's problems for 10 year olds.

ForOldHack 1 day ago|
Yes, AI can write a solution, but cannot visualized a solution. When I was 9, I refused to learn my times tables, and addition, so I was relegated to work with blocks. I loved the blocks... I was able to complete all the problems, come up with my own, and return to class, with some extreme facility.

Two years later, comes a challenge in class... make a formula for summing the integers... well everyone started with 1+2+... I starred with blocks, 1+n, 2+n-1... I had the complete formula in minutes...

That was the very last class for which I was with my peers of that grade... I was put in a HP High Potential class, with a high school algebra book, and although was a bit lonely, was in my element.

The point is- the recognition of the problem, can save huge amounts of time, where as AI can only brute force it, or use a pretrained solution.

tkfoss 20 hours ago|||
are block referring to Cuisenaire rods?
eru 1 day ago|||
Eh, AI is getting better at creating little visualisations, too.
dhosek 1 day ago||
There’s a bit of hand-waving in the jump to 2n choose n solution, which I suppose is fine, and my ex–math teacher brain really wants to have a proper proof or at least solid reasoning rather than “it follows the pattern” based on three observations.

But I am reminded of how during my engagement 24 years ago, my future father-in-law raised an issue of being able to determine whether they were getting the full amount of sandpaper on large rolls that they were paying for. I was able to simplify the question a bit to one that treated the rolls as if they were simple concentric rolls of a specified thickness and from there could turn it into the good old Gaussian sum formula times 2π to get the length. The engineers working for the company came up with the same solution, but instead of using n(n-1)/2 they did the summation with multiple rows in excel.

gobdovan 1 day ago||
You can go down or right at any point. To go in bottom-right corner, you need n down steps and n right steps. In how many ways can you arrange n things on type A and n things of type B? In C(2n, n). The problem is about modeling, once you model it correctly, you get the definition of combinations.
shenberg 1 day ago||
You always either go left or down so total 40 steps, choose 20 to be down (or 20 to be right)
dhosek 8 hours ago||
Which suggests another approach to the solution; you have 20Ls and 20Rs which can appear in any order so it’s a permutation with repetition problem and thus 40!/(20!20!)

That approach has the advantage that it’s easily adapted to non square rectangular grids (n+m)!/(n!m!)

kccqzy 1 day ago||
I was sad in a different way. I immediately realized that this could be solved by dynamic programming by computing the recurrence F(x,y)=F(x-1,y)+F(x,y-1) with the base case F(0,0)=1 and F(x,y)=0 if x<0 or y<0. The problem is that I immediately jumped to generating functions as a tool to solve this. I defined G(u,v)=\sum_x \sum_y F(x,y) u^x v^y. After maybe ten minutes of manipulation I arrived at the closed form for G(u,v)=1/(1-u-v). At this point I recognized its series expansion and its coefficients are just given by the binomial theorem.

I feel sad because I had forgotten the simple and intuitive construction of choosing “go down” and “go right” directions. When a person learns more advanced mathematics, it is often the case that the person just applies such advanced mathematics by rote without realizing that a solution can be found with more elementary mathematics and more creativity. It reminded me of the time in middle school before derivatives were taught, when my teacher reminded me that using derivatives to solve a problem would receive no credit.

srean 23 hours ago|
There is nothing wrong in using generating functions. A very handy and powerful tool. I wish I was better at it than I am.

It is a common experience in mathematical problem solving that the first solution leads to more insight which illuminates a shorter slap-my-forehead solution -- bruised forehead.

GL26 1 day ago||
The way the problem was solved at first hand by just "recognizing the pattern of (2n) choose n" wouldn't satisfy me at all, where's the proof ? Why does it work ? This isn't maths, this is "pattern recognition".
pillmillipedes 20 hours ago||
in math it's often the case that you notice the solution first and only afterwards prove to yourself that it works. pattern matching and intuition play a large role in math!

this is why I'm not a big fan of "show your work": the "work" is however many years it took to build up my intuition, and often any explanation I could type out for my solution would be a retroactive rationalization. it's still useful, sure -especially for catching your errors, but I place it on the opposite end of the open-fake scale than most people.

of course here the proof is simple: 20 right moves, 20 down moves, any order => of 40 total moves choose any 20 indices to be your down moves => 40 choose 20 is your answer. would that teach you how to solve the next problem though? I'm not so sure.

igsomething 22 hours ago||
Maths IS pattern recognition
BeetleB 19 hours ago||
Followed by a proof via induction.
the_red_mist 1 day ago||
Tbh your student reasoning is still dangerous... the patterns could have not generalized nicely. see moser's circle problem

needed to justify viewing this as "arranging down vs right movements" as another comment outlines

bmenrigh 1 day ago||
The 2n choose n solution isn't at all intuitive to me but thinking about it in terms of 40 steps, 20 of them rightward and 20 of them downward an then looking at all distinct permutations of these 40 steps as (40!) / ((20!)^2) is intuitive to me. Then it becomes obvious that since 20 is half of 40, k and n - k are the same number (20), which coincides with the binomial coefficient n! / k!(n - k)!. But this seems like a lucky coincidence in 2 dimensions and if you extended the problem into 3D you'd do better thinking about permutations.
emil-lp 1 day ago|
2n choose n is just: you must move East 20 times and South 20 times. Hence any solution looks like a permutation of 20 Es and 20 Ss. Now, only look at the indices for the Es. There are 20 of them. Out of 40.

40 indices, pick 20. Those are East moves, the rest are South moves.

grumbelbart2 1 day ago||
This interpretation also generalizes nicely to 3d. You have 60 moves, 20 of which will be up (60 choose 20), then 20 are east (40 choose 20), then 20 are south (20 choose 20).
C-x_C-f 1 day ago||
That's a nice way to put it.

FWIW the generalization of binomial coefficient which allows you to express an n-dimensional solution is called a multinomial coefficient [0]. So in a 3d 20x20x20 box we would have (60 multichoose 20, 20, 20) paths.

Also, the wiki article doesn't mention this but the growth rate of (n multichoose k1, k2, ..., km) as we increase n but fix the ratios p1 = k1 / n, ..., pm = km / n is precisely the Shannon entropy of the categorical distribution with probabilities p1, ..., pm . The wiki article for entropy [1] states the result for the binomial coefficient, which can be written as (n choose k) = (n multichoose k, (n - k)) .

Actually a lot of basic information-theoretic results about entropy and related quantities (e.g. the properties of the Boltzmann distribution/softmax function) can be derived from similar discrete counting problems after taking a large-n limit. I don't have links at the ready but I might edit this comment if I remember places which explain this stuff.

[0] https://en.wikipedia.org/wiki/Multinomial_theorem#Number_of_...

[1] https://en.wikipedia.org/wiki/Entropy_(information_theory)#A...

d_silin 1 day ago||
Nobody forces you to use AI.

It has become sort of junk food for the brain. Temptations and ads for it everywhere.

bluefirebrand 1 day ago||
If you have performance based metrics about your AI usage then you are essentially being forced to use AI (or become unemployed)

Plenty of people are experiencing this nowadays

The idea that no one is being forced to use AI is nonsense

pocksuppet 1 day ago|||
That was in the first calendar quarter this year. In the second calendar quarter CEOs started saying AI is too fucking expensive and let's stop doing it.
chatmasta 1 day ago|||
You’re now being forced to optimize your AI cost usage and produce the same results as before you cared about it.
RugnirViking 1 day ago|||
maybe your C suite. ours just joined the hype train. We got an email a few weeks ago saying all new code must be ai generated by 2027 and introducing internal metrics for ai usage by team
vermilingua 1 day ago||||
I’m currently in the middle of this process. I’m finding refusing to be working remarkably well, though I am also in a country with worker protections. Join a union.
d_silin 1 day ago||||
There is no metric a reasonably intelligent person can't sabotage or subvert...

...for example, you can write a script to burn tokens and write the code yourself.

degamad 1 day ago||
e.g. <https://github.com/dtnewman/burn-baby-burn>
bitwize 1 day ago|||
I'm becoming convinced that mandatory AI use is a humiliation ritual, akin to neighboring tribes forcing Hebrews to eat pork.
z0ltan 1 day ago||
[dead]
lezojeda 1 day ago||
[dead]
floppyd 1 day ago|
Noticing a pattern and just extending it without proving why it works is not really a solution. You can prove it without really "understanding" it using induction, but that still would be proof, same as just counting on a computer.
More comments...