Ingmar van Dijk

2K posts

Ingmar van Dijk banner
Ingmar van Dijk

Ingmar van Dijk

@IngmarVanDijk

Programmer, Team builder, Inspirer

Eindhoven, The Netherlands Katılım Mart 2012
188 Takip Edilen109 Takipçiler
Ingmar van Dijk retweetledi
Dave Keating
Dave Keating@DaveKeating·
#NATO's Article 5 was only invoked once, by 🇺🇸 after 9/11. As a result, 1,105 European & Canadian soldiers died in the 20-year Afghanistan War - 1/3 of coalition casualties. I don't recall the Europeans demanding America surrender its mineral wealth in exchange for their help.
English
2.2K
6.4K
34.6K
1M
Ingmar van Dijk
Ingmar van Dijk@IngmarVanDijk·
Removing Twitter from my phone. Too much hate and manipulation going on here. Might occasionally check on my browser. But that will be fraction of the usage compared to mobile.
English
1
0
1
53
Тsфdiиg
Тsфdiиg@tsoding·
Stop obsessing over splitting code into files. I end up grepping codebases anyway. I literally don't care where you put your functions. miniaudio.h is a single file with 92k LOC and it's fine. File is an OS construct anyway.
Тsфdiиg tweet media
English
154
87
2.6K
155.1K
Brian J. Karem
Brian J. Karem@BrianKarem·
I am a private pilot. You cannot stop a helicopter "very quickly" and listening to this talk about what pilots can or cannot do is disconcerting to say the least. He knows nothing about altitude discipline, landing approaches or air traffic.
Brian J. Karem tweet media
English
11.5K
13K
81.1K
3.7M
Ingmar van Dijk
Ingmar van Dijk@IngmarVanDijk·
AGI is here and here is the proof!
Ingmar van Dijk tweet media
English
0
0
0
26
Bert Zwart
Bert Zwart@BertZwart1·
Despite not being able to do any serious physical exercise due to a broken collarbone, I seem to lose weight. Not eating out also helps I guess but I also seem to eat much slower, and therefore less, as my 'fast eating arm' is injured.
English
3
0
1
237
Ingmar van Dijk
Ingmar van Dijk@IngmarVanDijk·
@BertZwart1 With the marvel of AI this should be easy to answer right? ;-) Since it is so intelligent
English
1
0
1
39
Bert Zwart
Bert Zwart@BertZwart1·
I have a Markov chain (X_n) on a compact state space of the form X_{n+1} = f(X_n, U_n) with f bounded, 1-Lipschitz, and U_n may be nice [e.g. bounded density]. Is there an off-the shelf theorem I can invoke to conclude minorization and thus (Harris) ergodicity?
English
3
0
1
449
Ingmar van Dijk retweetledi
Woody Zuill
Woody Zuill@WoodyZuill·
Join us for a FREE discussion on ideas about "Whole Team Collaboration: The Elements" With Woody Zuill and Per Beining Wednesday, January 29, 10am-12am PDT, 1pm-3pm EDT, 19:00-21:00 CEST Info and sign up here: eventbrite.com/e/whole-team-c…
English
0
5
10
1.4K
Anne Fleur Dekker
Anne Fleur Dekker@annefleurdd·
Mn teennagel is er af gevallen echt wat is dit voor dag ook weer
Nederlands
7
0
6
2.1K
Ingmar van Dijk
Ingmar van Dijk@IngmarVanDijk·
@NOS Correctie op de mededeling dat SpaceX flight 7 vanavond gepland staat. Deze is naar woensdag 15 januari verplaatst.
Nederlands
1
0
3
122
NOS
NOS@NOS·
Lancering raket ruimtevaartbedrijf Blue Origin voor tweede keer uitgesteld ift.tt/fjwmuHY
Nederlands
7
2
7
16.7K
Ingmar van Dijk retweetledi
Frank Tedesco
Frank Tedesco@FrankTedescoTV·
Just uploaded my annual "Best Of" video! I think my editor needs a vacation, cause it's 2.5 hours long 🤯
Frank Tedesco tweet media
English
5
3
27
852
Ingmar van Dijk
Ingmar van Dijk@IngmarVanDijk·
If you are thinking typing 2x faster will make you a more productive programmer, you are completely wrong. Typing is NOT the bottleneck.
Nick Dobos@NickADobos

@Jonathan_Blow I genuinely don’t get this POV because at minimum it makes me type like 2x faster by autocompleting stuff At best it one shots entire sections of code and lets me move much quicker What tools have you tried? Cursor in particular is worth a look

English
0
0
0
26
Ingmar van Dijk
Ingmar van Dijk@IngmarVanDijk·
I guess there still is some room for improvement in the image generation by @grok . This is supposed to be a coloring page of Rudolph the red-nosed raindeer.
Ingmar van Dijk tweet media
English
0
0
1
37
Ingmar van Dijk retweetledi
Frank Tedesco
Frank Tedesco@FrankTedescoTV·
New video just dropped on YouTube! Link is in the attached post below! 🎹🎵
Frank Tedesco tweet media
English
3
5
22
797