dinga

5 ms·

1.
by dinga 13d ago
This comment aged very quickly
2.
by dinga 14d ago
I dislike meta so much.. I try to avoid that company as much as possible.
3.
by dinga 24d ago
I skimmed through it. Looks fine. Had a bit of trouble following step 5 of theroem 10.5 (page 89), but after a second look it became all too obvious.
4.
by dinga 28d ago
uff.. HN is degrading rapidly. (Yes, also all your comments about "AI SLOP SPOTTED, AI;DR". Regurgitating the same crap over and over again.... pff...)
5.
by dinga 3mo ago
Indeed. But also some things that were harder at the small company were easier at the large one. You have processes in place, were things in the small company are all done ‘by hand’. So I think it is hard to compare small and big. For one c
6.
by dinga 1y ago
boring af. what a waste of time.
7.
by dinga 1y ago
Yes, I've also donated to NVDA... I use interactive-brokers to donate. Which apps do you use?
8.
by dinga 1y ago
This is literally Hacker News :)
9.
by dinga 1y ago
Yes!
10.
by dinga 1y ago
Changed default search-engine on my laptop and cellphone. I still use google but rather as a fallback and I have to actively type in google into the address-bar.
11.
by dinga 1y ago
It is not only about a US-boycott for me, but also about an increase in consciousness about how our choices _do_ have influence. It _does_ matter, which products I buy and I use. I hope this gains more momentum!
12.
by dinga 4y ago
You can teach programming
13.
by dinga 6y ago
Well.. it's not like your comment bursts with cleverness either. But yeah, I clearly overdid it... I just got triggered by that presumptuous comment. I'm really sorry, but I have to work with code written by these "pragmatic,
14.
by dinga 7y ago
Ah yeah and of course at least a bit of Borsuk Ulam. In my own words: "for every continuous function from the n-sphere to R^n, there exists a pair of antipodal points on that sphere that will map to the same point in R^n". Example
15.
by dinga 7y ago
Yay! I had a course with Prof. Matoušek: Topological methods in combinatorics and geometry. It a was mostly about using Borsuk Ulam theorem to prove other theorems in different areas. Can't remember a whole lot, except it was fascinati