Turing tarpit surveyor.

Joined October 2021
Replying to @Vinci_x3
I always go back to Knuth's advice. youtube.com/watch?v=75Ju0eM5…
1
1
24
10,139
Android has a reduce blur setting in the accessibility section. Oh my fucking god, I was suffering with this blurry ass ui.
1
1
24
Now that I have time, I want to pick up the emily rihel book on category theory again.
1
8
I did one whole clean push up (this is my limit)
I want to do start doing callisthenics again. The soreness after the workout is just so annoying though, I can't focus or do anything during that period. Not sure if it gets easier.
10
I want to do start doing callisthenics again. The soreness after the workout is just so annoying though, I can't focus or do anything during that period. Not sure if it gets easier.
1
1
33
Restaurants that use QR codes and refuse to take your order, why? Humiliation ritual?
1
18
Just going to send this shit in under warranty, clicky chassis and a squeaky space bar.
My laptop space bar started squeaking. It sure is great that it's attached to the chassis, and there are no instructions to remove the keycap without damaging it.
7
My laptop space bar started squeaking. It sure is great that it's attached to the chassis, and there are no instructions to remove the keycap without damaging it.
1
1
36
My favorite tweets are the ones where someone says something, and another person repeats the same thing explaining it. I just had to stop and think about how we got to this place, and the only thing I could think of is we need to encourage people to read more
1
21
Met someone who thinks like this, most obnoxious person on the planet. "Everything is political" is usually a stand-in for not knowing the definition of politics. This can unfortunately be extended to people who think economic models are causal.
Replying to @bee_fumo
hate to be that guy but arent all projects inherently political? for example, when i make an emulator, im implicitly throwing my lot in with a complex movement in favor of software and hardware preservation. if i said it was apolitical i'd be wrong
1
1
65
Eg: you can only build something and people only behave under the rules of an economic model.
11
Can someone recommend some chill game to play (no grind pls or a steep learning curve)? Thinking of playing wuwa because there is a rin clone
2
5
71
but idk how nice the story is
2
37
There is never going to be an Arab country that does anything useful, the culture and attitude towards education is backwards.
The point is not wrong. We probably do score lower on IQ tests on average, as for why, I'd mostly attribute it to culture and people's reception/attitude towards education in the middle east.
7
Extra record is coming out, I guess we might get everything!
1
1
94
PureRinFunction retweeted
Anything that makes the state space smaller to reason about, is imo better, even if it slows things down. Memory barriers (off they go!) I get the need for performance, but would be nice to have the default path be the correct and safe one, then have an escape hatch.
1
1
1
43
PureRinFunction retweeted
presenting multiple things that don't behave in a uniform way through a uniform interface is the whole point, that's the point of basically every abstraction like a driver or anything really.
1
1
42
This is actually based, you should not use C/C++/rust for things you can write in another language if you can take the performance penalty. C++/C are also very much not how computers work!
Google researcher @lauriewired warns the shift from C++ to Python in universities is creating programmers who don't understand how computers actually work: "When I was in college getting my CS degree, my year was one of the last years that was using C++ as the core language for teaching students. Actually they were switching over to Python of all languages." "One of the biggest issues that I have is that a lot of these higher level languages are really abstracting away what is happening under the hood. If you're not aware of how the computers work in general, then you're gonna have problems when it comes to debugging." "Starting with a language like C++ gives you the ability to do these really high level abstractions, but it also gives you the ability to customize your memory management and get really close to the underlying machine. Especially if you're trying to work in high performance computing, game development, or high frequency trading." "At C++ conferences, there's almost this fundamental anger response when it comes to mentioning something like C or C++. People start complaining about the complexity of it." @Google
2
1
111
It is partly because it's a garbage language, that the semantics for it is annoying to reason about. If you ever have to worry about sequencing points, how a memory barrier is placed, or some other detail that is part of the language itself, then the language is bad imo.
1
1
43
It should very much do the expected thing in a *consistent* way, the important part here is consistency. If I'm being honest, outside of a few pieces of software, I would much prefer if everything was written in a functional language.
1
20
I finally finished my project, basically "proving backwards induction holds if you have payoff preserving mappings (and some other stuff)". But in agda.
65