@profleonn

informatician prev avionics & @helixdb

lneural.net
Joined December 2023
  • Tweets19.3K
  • Following571
  • Followers1.7K
566Media
Pinned Tweet
leon
@profleonnSep 4
Replying to @itsolelehmann
Not all of us want to post slop 10 second reels for a living!
5
71
6,025
GMGM GMGMG, I think I will start doing daily todo lists so that I can keep myself on track with all the extra time that I have on my hands nowadays. I'll be working on and studying math things, literature things, and cs research things today I'll start with the following list:
1
7
267
- finish ch. 2 in PIM - read UDM CT notes 2,3 - read dune 1hr - do a rerun of a a set of prev experiments
1
3
55
I also somehow want to be sharing much more work on my website than I am right now by maybe opening up a notes section or something similar
3
43
terrytao.wordpress.com/2026/…

Starting a new journal

[This is a guest post by Shaoming Guo – T.] Several math colleagues and I are preparing to launch a new journal. As we considered which values we wanted the journal to uphold, we realized tha…

terrytao.wordpress.com
260
why do I get a bad gateway error on the complexity zoo site so often ?
1
286
happy sunday everyone
7
413
wait people are learning lean? I thought llm's are only supposed to write it?!?!?!?!?
Alex Kuleshov
@0xAXOct 17
Learning Lean 4, note #2: Another one thing about Lean 4 that surprised me is that a function's return type can depend on the value you pass
1
10
272
Men need to go back to looking like this
ol’ stocky ⛳️
@oldstockyOct 17
If day drinking is so bad why is the liquor store open at 8am
4
2
20
848
dogs need to shut the fuck up sometimes, holy shit, bro is barking at a wall and the entire fucking street can here this mf> SHUT THE FUCK UP
4
241
limite-violetto is so fucking cool, running on my 1660ti
1
11
215
gmgm, we are reading and studying today as usual. some graphs, some information theory, reading dune, reading a little on finance things, and so on
1
3
298
and they always say graph theory, but I've never noticed needing any knowledge beyond what a vertex and an edge is
leon
@profleonnOct 17
how interesting
1
8
263
how interesting
1
329
this is quite a good bok
spor
@sporadicaOct 17
if you could only ever read one book, just one, this is the book btw
2
189
breathing air and drinking water is such a pleasure.
1
1
24
397
currently building the coolest fucking house in minecraft ever
2
9
245
Some reflections on AI in math. I found it helpful to simply list out the various parts of what a mathematician does, why math is valuable, and where the funding comes from. From there, what happens if AI gets more capable? youtu.be/LKrwhjOI8Nc

There's never been a better time to go into math

Sharing a few thoughts on the future of mathThese videos are funde...

youtube.com
51
284
56
2,479
271,468
minecraft with jump (space) on one of the side buttons on my mouse because I won't swap backspace and space on my split keyboard
3
184
crazy what a gym session can do for your brain
93
I think I'm gonna look into taking up an interseting/retarded project or set of blog posts or something like that. idk yet about what or how or where or when, but I need to be working on something actively
5
220
Load more