pandadiestro

4.9K posts

pandadiestro banner
pandadiestro

pandadiestro

@pandadiestro

21 · learning about the computer · professional chair sitter

Cyberia, Perú Katılım Eylül 2021
1.2K Takip Edilen130 Takipçiler
Sabitlenmiş Tweet
pandadiestro
pandadiestro@pandadiestro·
i love leslie lamport
English
0
0
2
181
pandadiestro
pandadiestro@pandadiestro·
man it's crazy to think this was such an inflection point in my life's path, i almost went to a chemistry major before it
English
0
0
1
24
iza
iza@iza42_·
chicos me mandan sus setup? quiero ver setups el viernes hago stream viendo setups manden sus setups quiero ver setups aver su setups? el premio es un beso en la frente y 3 kekes
Español
25
8
38
1.6K
pandadiestro
pandadiestro@pandadiestro·
need to understand... cpp20 concepts...
English
0
0
0
33
pandadiestro
pandadiestro@pandadiestro·
i wish building tooling didnt require my sandbox to give network access (why is your tool fetching tarballs from the network without letting me skip😭) will keep trying
English
0
0
0
18
pandadiestro
pandadiestro@pandadiestro·
wrapping esp-idf in a flake for shits and giggles
English
1
0
0
28
pandadiestro
pandadiestro@pandadiestro·
seeing the confusion on the quotes and replies of this tweet, maybe "ABI" is way too related to "the kernel abi" for a great amount of people, rather than "some general binary interface" like, e.g., libc's
gingerBill@TheGingerBill

I don't know if a lot of people have thought why this happened. To make Linux viable for the layman, Valve had to make Proton (derived from Wine) so that Win32 API became the first and only stable ABI on Linux. Why did Linux Distro devs not care about stable ABI historically?

English
0
0
1
92
pandadiestro retweetledi
Björkus 'No time_t to Die' Dorkus
Jumpscare a "Nobody Reviews Compiler Output" developer with one simple logo.
Björkus 'No time_t to Die' Dorkus tweet media
English
11
65
906
22.6K
pandadiestro
pandadiestro@pandadiestro·
dynamic linking is fine when you can control the reach of dynamic dependencies in a system in such a way that they cant interfere w/ each other build systems/software packagers/whatever that let you have this are pretty nice and handy for quick patching w/o recomp (w/ cache)
English
0
0
1
30
pandadiestro
pandadiestro@pandadiestro·
the premise of lisps being syntax-oriented programming through macros is so cool, imagine switching to somewhat-a-dsl mid-function or something
English
0
0
0
32
pandadiestro retweetledi
Joran Dirk Greef
Joran Dirk Greef@jorandirkgreef·
To start, the more “all in” on TigerStyle you go, the easier DST gets: - static allocation (often skipped) - assertions (sometimes skipped) - explicit fault models (including gray failure) - narrow interfaces (with weak expectations) - zero dependencies But to really do DST your simulator needs to be “Protocol-Aware”. For example, Determinism, say in a hypervisor is powerful and important, but you really want the simulator not only to be deterministic but also to “understand” your world, your protocol, to be able to reach in and know how far it can push things, where the breaking limit is, even w.r.t. things like optimal erasure coding or strict serializability or minimizing the number of messages for a recovery path. Then you start to be able to do things like Deterministic Performance Testing (DPT) which is where we’re exploring now.
English
6
12
116
11.3K
pandadiestro retweetledi
Mitchell Hashimoto
Mitchell Hashimoto@mitchellh·
Libghostty can now be used to fuzz TUIs, thanks to @owickstrom + @AntithesisHQ. They already found bugs in multiple including btop. I always imagined libghostty would be useful for testing TUIs, super happy to see this is both practical and valuable. wickstrom.tech/2026-04-30-bom… This is another example of where speed matters! "Why does Ghostty need to be so fast?" Well, if you're running hundreds or thousands of unit tests that each use a clean in-memory terminal, you want that to be fast. If you're fuzz testing and trying to push an unlimited amount of data through a terminal, you want that terminal to be fast. So many people got hung up on "why does my terminal _GUI_ need to be fast" without connecting one more dot and realizing the GUI is only fast if the core is fast, and the core being fast unlocks a hell of a lot more. Like this.
English
19
66
1K
71.8K
pandadiestro
pandadiestro@pandadiestro·
one of the few ocassions i've seen a spinlock being used in the wild too!
English
0
0
0
14