lacker

34 ms·

481.
by lacker 5y ago
It will take a modern day Copernicus We might already have a modern day Copernicus. Could be string theory, could be something else. The problem is that we don't really have any experimental data that can't be explained by the S
482.
by lacker 5y ago
What happened in the years leading up to 2005, or perhaps in 2005 specifically that caused this blackout? Where did all of the Java desktop developers go? Before 2004, there was a much wider perception that web applications were fundament
483.
by lacker 5y ago
Yeah, the problem to me with algorithmic recommendations is that they aren't sufficient. I don't see that an algorithm recommended book X, and then immediately go buy the book. No algorithm is that good. So if I see an interesting
484.
by lacker 5y ago
I hear you. But metrics aren't going to save you. You need to find a manager who isn't shitty! They are out there, don't lose hope.
485.
by lacker 5y ago
I don't agree with most of the advice in this article but rather than complain let me suggest an alternative. As a line manager, with software engineers reporting directly to you, you should be able to use your personal judgment to und
486.
by lacker 5y ago
Very interesting... some feedback. So I search for "Proust", and the top 8 results are not Proust. Since Proust has one extremely famous book, I thought it would show up, rather than a bunch of different commentary on Proust. So I
487.
by lacker 5y ago
For him the difficult part of the proof was showing that you can represent text as numbers and manipulate it using arithmetic operations. These days we all do that for our day jobs. Yes - this is a great way of putting it.
488.
by lacker 5y ago
That book is where I first learned about Gödel's incompleteness theorem. Definitely a good book! I spent a while when I first read it trying to understand Gödel numbering, all the stuff where you multiply prime numbers together, 11 sta
489.
by lacker 5y ago
Turing didn't prove the halting problem was undecidable. The halting problem was defined after Turing's death by Martin Davis. Really? I did not include a reference link here but I grabbed the dates from Wikipedia, which states:
490.
Gödel's Incompleteness Theorem in Bash(lacker.io)
189 points by lacker 5y ago|68 comments
491.
by lacker 5y ago
At some companies it will be impossible to advance remotely, at other companies it will be no barrier at all. It really depends on the specific company. One thing to consider is that you probably also have capped upside in the first place,
492.
by lacker 5y ago
I hiked 30 miles over 3 days once and it was an epic adventure, leaving me exhausted. It's hard for me to even imagine what a 700 mile trip like this on foot is like! And the PCT is almost four times longer....
493.
by lacker 5y ago
How long (or how much compute resources) does it take to solve one of these IMO problems right now? My estimation is that just the time to run tactics linarith for many different cases would be significant enough to make it too slow to do i
494.
by lacker 5y ago
This is pretty cool! To be fair, however, these proofs are using several of the automatic proving methods built into Lean, like linarith, nlinarith, field_simp, and so on. Each of these are hundreds of lines of manually tweaked heuristics.
495.
by lacker 5y ago
In ethereum code is law. That may be so, but in all real-world countries law is law, so it's reasonable to describe these actions as "stealing". The value of Ethereum is not that it suddenly becomes moral to steal money fro
496.
by lacker 5y ago
The root of the replication crisis in social sciences is not just that many papers fail to replicate, but that there is no way to clearly resolve a result that fails to replicate. A paper claims that pre-K increases test scores a decade lat
497.
by lacker 5y ago
A simple example is, let's say you're making a small web service. Are you going to use a Clojure framework or a Java framework via JVM compatibility? If you pick a Clojure framework, then all the subsequent choices you have to mak
498.
by lacker 5y ago
A 1x1 is really what you make of it. When you are the manager, you have a lot of latitude for how a 1x1 operates. If you find that your 1x1s are rarely useful, change how you run them. In particular, you mention "time-sucking status up
499.
by lacker 5y ago
I like Clojure, but it's really the exact opposite of the sort of "boring technology" that this post advocates. If MongoDB costs you 2 innovation tokens, Clojure costs at least 2, perhaps all 3. The cost of innovation is not
500.
by lacker 5y ago
There probably isn't anything meaningful I could do, to reduce the risk of some future war against aliens. Not your primary point, but I think we can reduce the risk of losing some future war against aliens by discovering the aliens
501.
by lacker 5y ago
It probably really depends what sort of problem you're working on, but in my experience it was easier to represent things as mixed integer linear programming, (MIP) rather than a SAT instance. They're both NP-complete representati
502.
by lacker 5y ago
Who is he even arguing against, Hari Seldon? It's common for people concerned about an impending AI apocalypse to use this sort of "longtermist" argument. For example this article: https://oxfordpoliticalreview.c
503.
by lacker 5y ago
I believe science fiction can wake us up to our climate reality. But I don't think The Ministry For The Future is the book to do it. You cannot "wake people up" by repeating conventional wisdom. And the beliefs represented in
504.
by lacker 5y ago
People outside the South seem to despise southern people and their values more than ever, and the south is no closer to sharing their values. Just speaking personally, this doesn't align with my experience. It might be the parts of t
505.
by lacker 5y ago
Otherwise, people are left with sentiments that will fester and eventually boil over again. This does seem to very often be the pattern, which makes it pretty surprising to me in retrospect how smoothly Germany and Japan have adapted to t
506.
by lacker 5y ago
There are many smart people who grew up in the Midwest and want to stay there. A lot of Midwestern public schools have pretty good engineering programs, it's not just OSU, there's also Michigan, UIUC, Purdue. These cheap midwester
507.
by lacker 5y ago
I think this really varies by subject. If you are reading a math textbook with exercises, you can just read the chapter however you want, and do the exercises. Anything you don't understand, you'll be forced to understand by solvi
508.
by lacker 5y ago
In my humble opinion, imaginary numbers are a core part of algebra, calculus, trigonometry, and physics, and all sufficiently intelligent people should learn about them. The reason exponential curves and sine waves show up all over the plac
509.
by lacker 5y ago
I have an intuition that we'll increasingly run up against practical limitations in undertaking ever more complex projects of this kind in the coming years. This is already happening - Webb took 7 years longer than expected and cost
510.
by lacker 5y ago
To me a 3d rotation is a linear transformation from a 3d vector space to itself, so the natural way to represent it is as a 3x3 matrix. Mathematically, this isn't an unusual way to look at it; you can read the Wikipedia page on this wa

More ›