tslater2006

Foesn't this show other top level functions besides main? From the JEP

```Top-level members are interpreted as members of the unnamed class, so we can also write the program as:

String greeting() { return "Hello, World!"; }

void main() { System.out.println(greeting()); }```

Because if he had the general proof he wouldn't need to go out of his way to prove n=4, since it would be covered already by the general proof

The readme shows support for dumping dex files. Edit: missed that it has a comment that stays "unsupport for now" but at least it looks like something planned

Heh, was looking up the wiki on the Baader Meinhoff phenomenon only to find out it sends you to your link. Guess that's an easier name to know it as :)

I struggled with this through highschool. Pencil and gel pens were the worst. I never learned to write with my paper tilted like some lefties. I write just like a mirror image of a right hander, which lead to a lot of smudging and having to rewrite papers etc

This change my sophomore year in English class when my teacher told me a trick! Place a sticky note on the side of your hand that rests on the paper. No more smudging!

Looking at pricing, its $15 per 1M input tokens, and $60 per 1M output tokens. I assume the CoT tokens count as output (or input even)? If so and it directly affects billing, I'm not sure how I feel about them hiding the CoT prompts. Nothing to stop them from saying "trust me bro, that used 10,000 tokens ok?". Also no way to gauge expected costs if there's a black box you are being charged for.

No need for a plane, works that way for my head in real life too :) tilt your head back and you look up

I could see this. Like obviously I live first person, and when I want to look up I pull my head back, to look down I push my head forward. Similarly I expect pushing my mouse forward (up) to look down and pulling my mouse back (down) to look up.

The linked page says the following:

No C# or GDNative/GDExtension: Only GDScript is supported. Native extensions are not supported, but you can try to convert them into internal modules.

Guessing they meant "I have never read" and not telling you to "never read"

Yep! Can confirm I saw it at $10k earlier today as well.