konjin

14 ms·

121.
by konjin 6y ago
Politicians should not be allowed to hold private property while in office. Have all their holdings liquidated when they get in power, at reasonable market rates, and have them put in a national fund used for things like pensions, from whic
122.
by konjin 6y ago
Turing was interested in mechanical manipulation. The church turning thesis showed that he neededn't have bothered since lambda calculus, a term rewriting system, is equivalent to a Turing machine and dozens of other methods of effecti
123.
by konjin 6y ago
You can easily use any checkered board as a binary calculator. I'm quite convinced that all the games like chess started life as things to do on your calculator when you were bored.
124.
by konjin 6y ago
Writing things on paper is just a term rewriting system [0] which is just another universal computational system. [0] https://en.wikipedia.org/wiki/Abstract_rewriting_system
125.
by konjin 6y ago
The difference is that you can bound any macroscopic quantity in fluid dynamics even if you can't solve the equations, however you can't put a bound on iterative processes. Or have economists figured out busy beaver numbers too? I
126.
by konjin 6y ago
I wasn't aware economics had solved the halting problem. Good on them.
127.
by konjin 6y ago
Gambling and I know it.
128.
by konjin 6y ago
Yes, very impressive high school economics. In the real world you'd be looking at the tax implications of going under and minimizing them. This of course is too complex to model is completely ignored. A lot like ignoring the atmosphere
129.
by konjin 6y ago
By having firms go bankrupt.
130.
by konjin 6y ago
I'm looking for a job now. Interested in having someone who has had to set up 1000s of containers in k8s and hated all of it?
131.
by konjin 6y ago
It can be 1% and still be what keeps the majority of farms from going under. 15% is absolutely "I will go bankrupt if I don't have this" territory.
132.
by konjin 6y ago
Yet there are automated apple pickers. There is no money in agriculture. The only reason why most farms aren't bankrupt is because of subsidies.
133.
by konjin 6y ago
You can have multiple accounts, it's not very hard.
134.
by konjin 6y ago
The best advice my father gave me about the internet: assume everyone is a rapist who will stalk you and put you in a van if you say anything that can be traced back to you. Ironically enough I use uber under my real name and I'm fine,
135.
by konjin 6y ago
I mean I'd say that even talking about 6th January is a sign of being in the twitter bubble. On there it was an attack worse than 9/11. In the real world it was a bunch of memable pictures that no one cares about 2 months later. I
136.
by konjin 6y ago
Reality is too negative for social media.
137.
by konjin 6y ago
>Of course S-expressions are wonderful for many reasons, but they share the problem with JSON of being somewhat hard to diff and edit without support from tooling. If you want support for trees xpath has been there for 25 years now.
138.
by konjin 6y ago
That's like saying C doesn't have an if statement, you're just adding it to the AST, it's the CPU that does the actual jump not C. In short: a distinction without a difference.
139.
by konjin 6y ago
I don't know about other but I have a nice little scheme based dsl which compiles to yaml for aws services. I've used it in anger for 2 years now and no one has noticed any difference at any place I've worked in.
140.
by konjin 6y ago
You have no control over how something looks like on the web. The screens are not color calibrated, the screen sizes are arbitrary, layouts are not respected by browsers, hell tex is still the best layout engine for text and it's 40 ye
141.
by konjin 6y ago
They are self documenting. Looking at a binary format that starts with 41 41 41 41, is that a string, unsigned it, signed it, float, struct? Who knows?
142.
by konjin 6y ago
Reports of its living have been greatly exaggerated.
143.
by konjin 6y ago
They aren't using that for the browser, they are using it to push things like women in code. Which is a dark pattern since if people wanted to fund women in code they would give the money to that charity instead of giving it to a brows
144.
by konjin 6y ago
Python has been getting worse with time. I learned it in the 00's in highschool and it was a very nice small scripting language that you could just write dumb code which worked and you wrote C for where you needed performance. For some
145.
by konjin 6y ago
I'm sure that the 50th time in the last 20 years I've heard we will have hyper inflation will be the time it happens. Any day now the house of cards build will fall and gold will be the only currency worth anything.
146.
by konjin 6y ago
I can safely move around three eggs at a time, moving 3e9 eggs at a time is slightly more difficult.
147.
by konjin 6y ago
Since your customer also will bail you out when you fail what's the point in even trying? It's a lot more profitable to bill like your planes work, but to provide planes made out of cardboard. Until you start executing companies (
148.
by konjin 6y ago
There isn't a difference when it's serialized.
149.
by konjin 6y ago
>Learning concepts like branch prediction, out-of-order execution, pipelining, register planning, caches, memory management is far far more important than Lexing/Parsing/Intermediate Representations and SSA. These are incidents
150.
by konjin 6y ago
>XML is absolutely S-expressions You need a lot of predefined structure to capture attributes using brackets, much more than you do for dictionaries - which are just ordered pairs in a list when serialized.

More ›