
ludwig
@ludwigABAP
Followers
45K
Following
146K
Media
3K
Statuses
29K
God’s chosen principal engineer. What is impossible for you is not impossible for me.
Joined February 2011
a fun write-up of target-independent IR with a focus on LLVM IR as an example (and a link to an excellent thesis by the author on "Designing Decoupled Compiler Transformation APIs")
2
2
53
but no instead we're stuck listening to some 27yo bum making 1.2M TC talm bout sum "reasoning" and "mid-training" for 3hrs instead
3
0
51
I would like to get Marcus Hutter, Stephen Wolfram, Michael Levin, Scott Aaronson, Joscha Bach (feels like a fun combination of minds and worlds) and a couple of my favorite mathematicians in a room for 5 hours and 50 prepared quips and takes and record them if my billionaire
9
6
141
I was looking for an old picture in my Downloads folder and found some funny screenshots from back in the day (aka 10-11 months ago)
4
0
63
Discovered uxn and varvara recently and am getting more interested in the personal computing space uxn is basically a very simple stack-based VM with 32 instructions designed for portability, has a cool "implementation-first mindset" (re-implement everything you need vs adopt
9
4
192
great video on @AntithesisHQ's channel on Lean as a programming language, showcasing its metaprogramming and live programming features but also just a brilliant intro to get hyped about Lean in general
13
18
336
I won't make it there as I have to leave the day before, but I bet this would be very fun! Consider dropping by if you're nearby or can get there
👋 Warsaw! See you at @MLinPL this week. We're hosting two sessions: A talk on "All Things Metal" on Friday @ 2:45pm, plus a tutorial on Saturday @ 9am where you can win TT hardware! Get tickets --> https://t.co/cSgsi5JOTR
4
0
31
I have been thinking about this lately, and this morning I saw I just crossed 45k followers. There are so, so so many more things I could have done since I've started posting earlier last year, both for myself in terms of opportunities but also for others, and even if I never
59
3
410
thinking about python as mostly "an orchestration layer to call optimized C kernels" or "a glue language for non-programmers" helped soothe my soul and see it in a new light
41
45
1K
In the meantime, highly recommend this thesis that came across my feed: The current breadth of #HPC tools, approaches and more:
1
1
12
I really think stoicism is for coping idiots, mostly bc people are incapable of drawing the line on “what is out of their hands and can’t affect” and what they can you can affect a lot more than you think if you just decide to not use wordcel slop to define what is possible and
23
9
292
every time I speak abt something and point out how absurd x or y is, some people tell me it’s not that deep Stoicism is for retards, there is nothing I can’t control and I’d rather die trying than just go “I mean shit man it is what it is it’s not that deep dawg”
5
4
176
“it’s not that deep bro” I’m sorry God short-changed you during the ensoulment process man but actually you thinking it’s not that deep speaks more of a profound hole in your capacity to Care and engage with the world and I am fully ensouled and find it easy to deeply engage
25
41
544