lacker

62 ms·

751.
by lacker 6y ago
I wish Signal had a more minimalist UI like Messenger or iMessage, it feels very cluttered with all the full timestamps and multiple checkmarks in each message.
752.
by lacker 6y ago
I grew up in Cincinnati, and this story seems strange to me, because getting around Cincinnati seems pretty easy, actually. It isn't just my opinion - statistics generally say that commute times in Cincinnati are lower than average for
753.
by lacker 6y ago
Yeah, it certainly isn't true that a true theorem should have a useful explanation. I only have my human intuition to go on, but I bet the Riemann hypothesis would not be like the four-color problem. Graph-type problems just seem to le
754.
by lacker 6y ago
That is the typical on-call experience, getting woken up for 15-30 minutes each night There is no "typical on-call experience". Some teams have an on-call rotation that goes a year without being used. Some oncalls get paged once
755.
by lacker 6y ago
Extra compensation or time off is usually a bad idea for on-call responsibilities, because it puts the wrong incentives in place. Teams should be working to improve their infrastructure so that on-call is less painful, not lobbying for addi
756.
by lacker 6y ago
I wish this was available as a tool for people to use! It's neat to see their list of pregenerated examples, but it would be more interesting to be able to try things out. Personally, I get a better sense of the powers and limitations
757.
by lacker 6y ago
Indeed, existing automated theorem provers do spend a lot of time discarding true statements as "insufficiently interesting". In general, the longer a statement the less interesting it is. The easier it is to prove with simpler st
758.
by lacker 6y ago
If AlphaProof generated a long and unreadable proof with no discernible structure, it would not be such a large contribution to mathematics as if a human figured out "why" and wrote it in a way other humans could understand. May
759.
by lacker 6y ago
The California DMV does this as part of their “upload documents ahead of time” system, and it is a terrible experience, because they often tell you to wait for an email and then no email arrives. What happened - is there a problem with my s
760.
by lacker 6y ago
Plenty of games have shut down after selling virtual goods. FarmVille did not invent the concept of selling virtual things for real money. I doubt a lawsuit will go anywhere.
761.
by lacker 6y ago
But so much of the video is unnecessary flourishes, lots of excessive effort put in to make it a cool video, rather than focusing on the robot itself. It seems more baroque than brutalist. I'm sure it's a matter of personal aesthe
762.
by lacker 6y ago
It's a cool ad, but it doesn't seem to be "spartan / brutalist" marketing to me. The point of the ad is to show you how their technology makes robots dance. But, clearly their real product isn't just dancing ro
763.
by lacker 6y ago
From the perspective of this software engineer, Lean seems mostly superior to the other proof assistant languages. You can develop in a regular text editor, the source code is open, you don’t have any hacky “some expressions are a sublangua
764.
by lacker 6y ago
I was excited to read the first part - an analysis of why RTS games have become less popular - and a bit discouraged when the author didn’t follow up on that theme more, and instead reviewed a bunch of past RTS’s. I do completely agree with
765.
by lacker 6y ago
You might be interested to read https://deepmind.com/blog/article/Agent57-Outperforming-the-... which has an alternative approach that does better on those games. Basically those games involve lots of “exploration
766.
by lacker 6y ago
Far away - the Atari games tested do not include multiplayer logic or any communication with other agents.
767.
by lacker 6y ago
This whole saga is such a PR “own goal” by Google. The vast majority of corporate research labs just don’t fund research doubting their own ethics in the first place. Company leadership should choose an ethical stance and defend it. It’s an
768.
by lacker 6y ago
Yeah, we got a bill from the hospital once with a footnote saying, some of these procedures may have actually been for another patient, not for you, we don't have complete records. But your insurance agreed to pay it, so we recommend y
769.
by lacker 6y ago
We don't have a free market in health care at all. In a free market you would be able to buy a coronavirus vaccine right now, instead of waiting months to get it for free. We haven't had a "free market" in health care in
770.
by lacker 6y ago
Think of it less as "I need to get out of data science" and more "I want to get into X". Because the answer is going to be pretty different about how to get into, say, systems engineering or project management. If you ar
771.
by lacker 6y ago
I found openings to be very useful for players rated 1000-1500 when working with my high school chess team. The main benefit is that by understanding the typical moves of an opening, you make it a lot easier to avoid dropping a piece in the
772.
by lacker 6y ago
Eventually cameras from orbit will be able to read license plates in real time and detect all speeding vehicles.
773.
by lacker 6y ago
I should have been more specific - I meant a year from the time at which the employee starts performing badly, not from the time a manager decides they want to fire someone. A typical timeline in the US would be something like, someone is p
774.
by lacker 6y ago
This is like what happened to newspapers with the rise of the internet. It was great for the top few - the NYT, the Washington Post. But why would you read the Cincinnati Enquirer if it was equally convenient to read the Wall Street Journal
775.
by lacker 6y ago
It shouldn’t be a manager’s worst nightmare to have someone underperforming on the team. It’s just inevitable once you are managing enough people! If you clearly communicate to someone that they are underperforming and honestly try to help
776.
by lacker 6y ago
I’m curious, how long does it take in Scandinavia to fire someone? From my experience in large American tech companies, it usually takes around a year of documented underperformance.
777.
by lacker 6y ago
That’s true, but Redis and MongoDB are at different points in their growth. Redis is worth around 1 billion, and they are still private. I would not be surprised if Redis usage continues to grow, which attracts more competitors, and they ev
778.
by lacker 6y ago
My interpretation is the opposite. MongoDB is clearly successful - they are a public company worth 16 billion dollars. And they proving the success of the open core business model. For 99% of use cases, MongoDB is open source. You can see
779.
by lacker 6y ago
Another fundamentally new data structure developed in the last 20 years is the blockchain. Yes, it's overhyped in many ways, and the word "blockchain" itself is often used in a nonsensical way, but the fundamental principle o
780.
by lacker 6y ago
Attention Is All You Need https://arxiv.org/abs/1706.03762 It's from 2017 but I first read it this year. This is the paper that defined the "transformer" architecture for deep neural nets. Over the past

More ›