mFixman

52 ms·

601.
by mFixman 6y ago
I feel that everyone gets the point backwards. If we were in a videogame, you would be an NPC: you don't have a person controlling you and don't know anything about the world outside the world.
602.
by mFixman 6y ago
> Errors are hard to decipher. Have you tried adding the `-file-line-error` compilation option? The errors are still unreadable, but they become 1000% easier to debug.
603.
by mFixman 6y ago
Unrelated to the topic, but you are making a good decision. Cost of living in London is not too different from SF, but FAANG salaries are still ridiculously high here and quality of life is considerably better. You'll have less savings
604.
by mFixman 6y ago
One of my local pubs was open today with the caveat that people has to drink outside. There were enough people outside to make it impossible to have everyone at 2m distance, but for a second I considered breaking social distancing for drink
605.
by mFixman 6y ago
I used TST for some time until I realised that the vast majority of the time I just needed 2 layers of open tabs, which are perfectly represented by tabs and windows. Aggressively closing unused tabs has been much better for my organisation
606.
by mFixman 6y ago
This is really useful. Thanks for accumulating this data!
607.
by mFixman 6y ago
Hey now, EasyJet's in flight food is actually really good. I always found it interesting how they have much better tea than British Airways.
608.
by mFixman 6y ago
Is it really? The Google thing was part of the htps for Google Fiber, a now-abandoned promising Google Project. The rest of the things sound like predictions you could make for 2030.
609.
by mFixman 6y ago
There won't be for the average person, but there will be for the average person with below-average income.
610.
by mFixman 6y ago
I used to play Minecraft when it was released in ~2010, before there were maps or beds. I remember building pillars in my constructions and other interesting places so I would be able to spot them from afar. It felt like a nice way to not g
611.
by mFixman 6y ago
That sounds like what WeWork should have promised.
612.
by mFixman 6y ago
Working from home for the past 3 months taught me that a lot of my constant tiredness and apathy came from the constant noise you get in an open office. Some people can't handle being productive in a extremely loud, and extremely brigh
613.
by mFixman 6y ago
It also interfaces with bike shares in some cities. Bike share + train multimodal commutes being the norm is the dream of every modern urbanist.
614.
by mFixman 6y ago
Like that very article says, Russia needs a much higher oil price than most countries in the Middle East to keep a positive balance. Demand will come back after the pandemic is over, and the Russian government can't flood the market fo
615.
by mFixman 6y ago
There's a thing I don't understand and could use some explanation. Didn't this same thing happen at a lower level in 2014, when Saudi Arabia pumped a lot of oil to international markets to bankrupts American shale oil produce
616.
by mFixman 6y ago
What I wrote wasn't very understandable. In most languages, like C++, a < b < c ends up comparing a boolean to an integer. This should be a type error, but isn't.
617.
by mFixman 6y ago
The only correct way to parse `a < b < c` for numbers is throwing a type error. Python comes second for source code niceness, allowing you to compare numbers to booleans is common and shouldn't be.
618.
by mFixman 6y ago
Unicode has a lot of old "markup" symbols in typography, like the right pointy finger ([1], example in [2]). I see the external link symbol as a widely-used markup symbol of the current age, and it could reasonably be in Unicode.
619.
by mFixman 6y ago
0.999...9 with a countable finite amount of nines is clearly less than 1. 0.999... with infinite nines is equal to 1.
620.
by mFixman 6y ago
Let's try a naïve inductive proof of 0.999… ≠ 1. Base case: Given 𝑎⁰ = 0, 𝑎⁰ ≠ 1. Inductive case: Given 𝑎ⁿ⁺¹ = 1 - (1 - 𝑎ⁿ) / 10, 𝑎ⁿ ≠ 1 ⇒ 𝑎ⁿ⁺¹ ≠ 1 This proves that for every 𝑎ⁿ = 0.999…9, there's an 𝑎ⁿ⁺¹ that's
621.
by mFixman 6y ago
If we say that infinitesimals exist, it still happens that 1 = 0.999…. It just happens that 0.999 ≠ 1 - 𝛚. 0.999… = 1 is a property of the way we write some rational numbers, not of the number system itself.
622.
by mFixman 6y ago
The worst part about SQL is statement order. IIRC most SQL engines do FROM → WHERE → GROUP BY → HAVING → ORDER BY → SELECT → LIMIT → UNION, which is why you can SELECT after ORDER BY in the previous example but not after union. If I were to
623.
by mFixman 7y ago
A big factor people haven't mentioned yet is that job prospects for non-graduates are extremely good. I know plenty of extremely talented people who got >£100k/y offers with half a degree.
624.
by mFixman 7y ago
Some people sweat a lot, and there's nothing they can do about it. My commute has been a short bicycle ride to work for most of the previous decade, and I still sweat to the point where I feel uncomfortable if I don't shower after
625.
by mFixman 7y ago
What's the point of using 7 VSCode plugins for a language you don't even know? Just pick up any terminal, any text editor, and the freshest stable copy of GHC.
626.
by mFixman 7y ago
I had a transparent cube desktop so I could see what was going on the other faces of the cube. Being a master hacker during that time was fun.
627.
by mFixman 7y ago
The phrasing is definitely weird. "Germany's greatest challenge since the rise of Nazism" seems a lot more appropriate.
628.
by mFixman 7y ago
I honestly never understood the hate for the touchbar. It allows me to be much more granular with volume and brightness, and I never really used F-keys anyway.
629.
by mFixman 7y ago
`min` and `max` operate on semigroups, not on monoids. They don't have to have a default value, and any nicely strongly typed language should prevent them from acting on empty lists. You could invent a monoid instance of `float` for `&
630.
by mFixman 7y ago
Those tests were definitely fun, and gave me lots of "my browser is better than yours" bragging rights. I'm surprised that it's the year 2020 and Firefox still doesn't score 100% in the Acid3 test.

More ›