ukj

55 ms·

571.
by ukj 7y ago
This proof exploits an edge case in dualistic human reasoning which occurs at the intersection of ontology and epistemology. Lets do some term re-writing, so we can move away from the emotional trigger that is the God-word. 1. God, by defin
572.
by ukj 7y ago
For me (intuitively, conceptually and abstractly), the AC is just a particular case of Hilbert's Entscheidungsproblem. It doesn't matter what the AC states. All that matters is that you interpret it as a proposition. And then it&#
573.
by ukj 7y ago
Few years ago I joined some metaphysical dots between "construction", "constructivism", "creation" and "creationism" in my head, which is what led me on to explore 100 years of history/theory beh
574.
by ukj 7y ago
That seems like a circular dependency... Can you do economics without math?
575.
by ukj 7y ago
Do you have a good checklist for writing good checklists?
576.
by ukj 8y ago
The law of identity is a blunder. It's the Principle of explosion in disguise. If one x = x can be trivial to determine But another x = x is infinitely complex then in one single law you have a triviality and infinity. That's the
577.
by ukj 8y ago
The principle of explosion is hiding in x = x itself! The complexity of the task is O(1) to O(∞) !!!
578.
by ukj 8y ago
I have tossed set theory out entirely. I consider Lambda foundational. I am not even talking about comparing sets. I am talking about comparing infinite-precision floats to themselves. Any system that does it in O(1) is broken.
579.
by ukj 8y ago
Also, I didn't start with set theory to get here. I started with Type theory as foundational.
580.
by ukj 8y ago
Precisely. The point is that ALL operators do actual, physical work. Work == Energy. Energy == Proof-of-work. If X is an infinite-byte object then comparing it to itself should take infinite time, whereas determining its identity is O(1)
581.
All of Mathematics is inconsistent. Turing machines are consistent
2 points by ukj 8y ago|9 comments
582.
by ukj 8y ago
The law of identity is the cornerstone of Arostotelian/Classical logic. A = A is True. In the 2nd half of the 20th century the American mathematician Haskell Curry and logician William Alvin Howard discovered an analogy between logical
583.
The death of Classical logic and the (re?)birth of Constructive Mathematics(forum.philosophynow.org)
4 points by ukj 8y ago|1 comments
584.
by ukj 8y ago
Are you seriously trying to tell me that you remember the code for quick sort? I know what it does. Mechanically. I can visualize the recursive divide-and-conquer in my head. I can implement it in any language. All you have to understand is
585.
by ukj 8y ago
You assume you are being tested on deriving an optimal solution. What you are actually being tested on is whether you can derive A solution. ANY solution. And if it is inefficient, you can figure out what needs optimisation and where. The v
586.
by ukj 8y ago
Why does nobody get it? The coding interview is not about memorizing algorithms! The coding interview is about demonstrating that you can think from first principles and DERIVE an algorithm! If you understand the problem and the strategy fo
587.
by ukj 8y ago
Also, shame on you for imposing empathy as a social norm! https://psychcentral.com/lib/neuroscience-sheds-light-on-why...
588.
by ukj 8y ago
Exercising my freedom of choice is sociopathic? Empathy is not the be all and end all. https://www.amazon.com/Against-Empathy-Case-Rational-Compass...
589.
by ukj 8y ago
An alternative perspective: If you think you work in an institution that CAN and DOES prevent that (e.g the engineers are NOT in control), then how quickly can you respond to real emergencies? You can make such actions visible (and hold peo
590.
by ukj 8y ago
Which is why positive AND negative feedback loops from your users/customers/<people whose lives your software will affect> are vital to building great software.
591.
by ukj 8y ago
And I am going to guess that knowing when to be strategically empathetic in a negotiation is going to get me even further.
592.
by ukj 8y ago
There is no social security in the country where I live. I am financially independent at 35, perhaps because I avoided having children thus far. Thanks, but no thanks.
593.
by ukj 8y ago
Sure. Everybody likes grand gestures. Nobody likes paying for them. As a social responsibility it's not on private businesses to cover the cost. Pay for it through taxation. Until then - my choice is a competitive advantage.
594.
by ukj 8y ago
I guess I'll be making damn sure to negotiate a pay raise based on the fact I've chosen not to have children! Where do I sign to veto my paternity leave?
595.
by ukj 8y ago
It is one an the same problem - money/time trade-off. Which one is worth more to you? It depends. I've worked at organisations where "get N extra servers" was a 6-8 month process. Because of this you have to be extremely
596.
by ukj 8y ago
Does your model factor in the cost of human time, availability, agility and management complexity? How quickly can you scale up your design 10x? 100x?
597.
by ukj 9y ago
I followed the drama around it and my end conclusion (to paraphrase somebody's tweet) Mary Beard is respectable, well educated and gracious. Taleb is right.
598.
by ukj 9y ago
>But that argument does not apply to an individual person. Google is supposed to be a data-driven organization. If the engineers they've hired can't tell the difference between statistical distance and the utility value of a Ga
599.
by ukj 9y ago
>The manifesto argues that women are genetically inferior and that most women developers shouldn't have their job. Are we reading the same manifesto? The one I read argues that men and women are different. Pros and cons. Strengths a
600.
by ukj 9y ago
He is suggesting that it's a difficult problem in a complex system and that it's likely that we don't understand all the factors at play? And that we need different perspectives in order to engage in the kind of constructive

More ›