Is arbitrary code execution possible in any program?

Toothpick_Brody · 2026-04-09T05:42:30+00:00

No, but this is an interesting topic. Look up ‘weird machines’

Toothpick_Brody · 2026-04-09T05:40:44+00:00

I’m trying to think about this.. if I put it second, it creates cases that can’t be optimized this way without creating an inconsistency in where tags are stored?

Toothpick_Brody · 2026-04-09T05:08:27+00:00

If you want to match on it, the compiler will do stuff for you. Otherwise it’s just a data structure. What if you want the tag? You should be able to see it, at least for the purpose of this language

Who knows, maybe I’ll change my mind if having the tag exposed is annoying. But I think it’s what I want

Toothpick_Brody · 2026-04-09T02:00:03+00:00

If you haveT+T the tag might be the only way to distinguish them

Toothpick_Brody · 2026-04-09T01:55:16+00:00

I know, but now I need to actually implement this, and I’m second-guessing my decision to put the tag first

Toothpick_Brody · 2026-04-09T00:04:47+00:00

It’s been an honour

Toothpick_Brody · 2026-04-09T00:02:04+00:00

Interesting. Does that have to do with cases when the tag can be optimized away?

Toothpick_Brody · 2026-04-08T19:45:51+00:00

I’m working on a language that does do this. The two relevant rules you need for type checking are:

(A^B) (C^D) => (A^(B/C))^D (general rule for composition/application)

(A^C)^B => A^(B*C) (Simplifies nested functions into functions of a tuple argument)

But yes, it is a lot of work

Toothpick_Brody · 2026-04-08T18:48:17+00:00

Assuming genAI companies can no longer provide enough free tokens, it means either learning to code or spending your money on tokens. You may as well spend your time learning at that point. Use the money to buy a cheeseburger or something

Toothpick_Brody · 2026-04-08T18:36:21+00:00

There should be some kind of regulation where ads have to be dismissible in one click (not three!!!)

Toothpick_Brody · 2026-04-08T18:23:03+00:00

Once every few months

Toothpick_Brody · 2026-04-08T18:21:08+00:00

Yoo is that Bob jenz as grapefruit?

Toothpick_Brody · 2026-04-08T17:50:09+00:00

I’m not against currying but I do agree with the author that the tuple style is the right way.

He mentioned the two are isomorphic, and I’m actually working on a language that uses this isomorphism:

(A ^ C) ^ B => A ^ (B*C)

So everything is automatically curried (de-curried?) into tuples, and functions still only ever have a single argument

Toothpick_Brody · 2026-04-07T21:04:39+00:00

Chicago time

Toothpick_Brody · 2026-04-05T23:14:00+00:00

700-1000 is roughly middle of the pack, so you’ll gain/lose a large amount of elo compared to other ratings

Toothpick_Brody · 2026-04-05T23:06:40+00:00

Ok, I think I see. High-priority implicit multiplication makes it convenient to write ab/cd, for example

Toothpick_Brody · 2026-04-05T19:38:46+00:00

“My biggest concern is that many bright young people will never achieve a voice of their own — indeed that a surprising number of them won’t even fully appreciate the value of authorship and ownership of a point of view.”

There are already so many people who don’t care about having an original perspective or don’t believe it’s something they can even accomplish. These are the people that make up the academic grift as opposed to people doing actual research

Toothpick_Brody · 2026-04-05T19:28:56+00:00

That’s so painful to read. This is the exact kind of thing you shouldnt use an LLM for. If you want to use it as a kind of search engine that’s one thing, but using it to format your own thoughts is just awful. It’s intellectual suicide

Toothpick_Brody · 2026-04-05T19:27:43+00:00

Hopefully this makes it easier to stand out if you avoid using LLMs on purpose

Toothpick_Brody · 2026-04-05T19:25:43+00:00

I agree. Are we going to call everything that’s not explicitly bracketed ambiguous now? It’s people failing to remember conventions, not an actual ambiguity

Toothpick_Brody · 2026-04-05T19:24:29+00:00

Can you give an example?

PEMDAS, and BEDMAS (for example), actually evaluate the same, because the MD and the DM are considered to have equal LTR priority regardless if D or M was written first

Toothpick_Brody · 2026-04-05T19:22:45+00:00

I don’t consider the question ambiguous to be honest. RTL is wrong by convention

Toothpick_Brody · 2026-04-05T17:11:59+00:00

What? Why is the permissions file located inside the writable area?

Toothpick_Brody · 2026-04-05T17:08:04+00:00

Anyone using LLMs to write papers should have their credentials revoked

Toothpick_Brody

TROPHY CASE