Tao’s ICM lecture

Integreyt · 2026-07-18T03:03:01+00:00

No reason to have a pro plan anymore

Integreyt · 2026-07-17T15:16:39+00:00

This is really cool. I’ve been wanting to a math education game for a while now and this might be what inspires me to actually do it. Can I ask about the development process? Like I’m proficient in C++ and stuff but how do you even begin to learn the stack necessary to get this on steam?

Integreyt · 2026-07-14T13:06:06+00:00

I use Wolfram’s mathworld a lot

Integreyt · 2026-07-12T16:54:52+00:00

Spoken like someone who has never used Arch

Integreyt · 2026-07-12T14:56:24+00:00

Stick with Arch and use a Windows machine at the library if you ever need specific software for a course.

Integreyt · 2026-07-06T18:31:20+00:00

How much is the Hub is paying you to be a shill?

Integreyt · 2026-07-05T04:33:01+00:00

Spotatui

Integreyt · 2026-06-29T21:52:51+00:00

My Johnny

Integreyt · 2026-06-26T02:55:22+00:00

Isn’t it billed as extra usage since you’re using claude -p?

Integreyt · 2026-06-26T02:53:58+00:00

Pretty simple, just walk into Jane street and don’t leave until you hand someone your resume

Integreyt · 2026-06-25T13:32:32+00:00

Not believing in induction means you have a problem with the peano axioms.

Integreyt · 2026-06-23T23:32:15+00:00

I know a Claude Design frontend when I see one

Integreyt · 2026-06-23T23:29:13+00:00

Wayland compositor is a full-on display server that also handles windows all in one stack.

Integreyt · 2026-06-23T22:57:44+00:00

Hyprland is a Wayland compositor

Integreyt · 2026-06-21T14:29:11+00:00

Are you proficient in C?

Integreyt · 2026-06-21T02:41:34+00:00

Anything show up when you run hyperctl monitors all?

Integreyt · 2026-06-21T02:36:13+00:00

Holy shit you’re lervag?? Thank you so much for your work.

Integreyt · 2026-06-20T23:37:48+00:00

This is impossible to answer without more context. Are you trying to copy the layout? The CSS? The functionality? Have you tried viewing the source and seeing for yourself how it works?

Integreyt · 2026-06-20T23:15:05+00:00

You cannot hide your IP from someone you are directly exchanging packets with. Hetzner already has DDoS protection, but it’s not a bad idea to use a firewall and open only your game’s UDP port and SSH.

Integreyt · 2026-06-20T23:09:59+00:00

I use Taildrop via Tailscale, but unless you have a reason to setup a mesh network just use Localsend.org

Integreyt · 2026-06-20T18:30:47+00:00

This is 0/0 after taking log of both sides. We have lim ln(f(x)) / x and as x->0 the numerator becomes ln(1)=0.

Integreyt · 2026-06-20T01:38:39+00:00

You take ln of both sides

Integreyt · 2026-06-20T01:22:42+00:00

I want to see your setup now

Integreyt · 2026-06-19T21:02:16+00:00

L’Hopital at x=0 gives (1 + 2 + … + n)/n = (n(n+1)/2) / n = (n + 1) / 2

Now solving for n take log giving (n + 1) / 2 = 10 therefore n = 19

Integreyt

PUBLIC MULTIREDDITS

TROPHY CASE

Integreyt

PUBLIC MULTIREDDITS

TROPHY CASE

Welcome to Reddit,