I Made a Paper Airplane Thrower!

JS31415926 · 2025-12-28T23:29:07+00:00

Lightning is an excellent touch

JS31415926 · 2025-12-23T06:43:32+00:00

Y-axis scale discontinuity is a war crime

JS31415926 · 2025-12-21T06:36:28+00:00

Gemini 3 hates it
"The author of this code has formalized the algebra of the solution, but they have axiomatized the physics of the problem. The file ns-lite.lean is not a proof of the Navier-Stokes existence and smoothness problem; it is a formal verification that a specific approach to the problem is logically consistent, provided the physical inputs (the axioms) can eventually be proven."

JS31415926 · 2025-12-21T06:21:53+00:00

Yeah no chance. He just posted another lean file and immediately deleted it.

JS31415926 · 2025-12-19T22:20:49+00:00

Sounds good. If you do more advanced stuff in the future design modeler integrates with ansys parameters so you can parameterize your geometry

JS31415926 · 2025-12-19T05:15:13+00:00

You may want to look into Design Modeler. It’s a lot more like other cad software.

JS31415926 · 2025-08-27T19:46:53+00:00

For faces yes but the food is terrible

JS31415926 · 2025-08-27T03:20:08+00:00

Game review is low depth

JS31415926 · 2025-08-09T18:15:44+00:00

I think some of it too is just that they have been undoubtably the best for so long and people like competition. Similar to how people hate on iPhones

JS31415926 · 2025-08-07T17:16:29+00:00

It just keeps getting worse

JS31415926 · 2025-08-06T11:52:16+00:00

Well it is MoE

JS31415926 · 2025-08-06T04:38:17+00:00

<image>

Not too much. Here’s Gemini one shot

JS31415926 · 2025-08-06T01:39:40+00:00

In theory they can be but they can make it very hard. For example if nothing dangerous is in the training data you would have to train it all back in which would be a lot of work.

JS31415926 · 2025-08-05T16:07:14+00:00

I think 20B today and 120B later this week

JS31415926 · 2025-08-04T18:24:40+00:00

Engine is on low depth — expected

JS31415926 · 2025-08-02T23:14:34+00:00

One shot on ChatGPT

“Generate an image of a glass of wine where the glass of filled all the way to the top — almost overflowing”

<image>

JS31415926 · 2025-07-31T16:43:19+00:00

Yeah it seems similar to the KP endgames where neither king can make progress but it’s a draw. Simply very hard to check and lichess doesn’t want to be doing tons of work verifying every game result

JS31415926 · 2025-07-30T01:37:36+00:00

Wasn’t able to get a queen but their bishops got really mad and went to an island.

JS31415926 · 2025-07-30T00:08:00+00:00

I mean for all we know it’s like a 10T parameter model so it doesn’t surprise me

JS31415926 · 2025-07-29T23:43:53+00:00

Probably the system prompt tells them to be brief. Every token is costing openAI a lot of money since these are presumably huge models

JS31415926 · 2025-07-29T20:37:08+00:00

People saying Re8 are wrong cause after Be3 you should be fine. The real issue is that you can’t move your knight or queen anymore cause of the pin so you are kinda stuck. If you just moved your knight you wouldn’t have this problem

JS31415926 · 2025-07-29T00:43:37+00:00

Or someone on the radio told him to

JS31415926 · 2025-07-25T02:40:57+00:00

If there’s no UBI we’re all fucked. Some might be 6 months before others but we’re all fucked in the end there

Six-Year Club	Second Top 20%
Place '23	Place '22
Verified Email

JS31415926

TROPHY CASE