krapht

29 ms·

301.
by krapht 7y ago
Hm, is this really "crippling" AMD? Seems more like Intel submitted a performance patch that is only enabled for Intel processors, but could be extended to support AMD too. There's a moral difference. It is wrong to intention
302.
by krapht 7y ago
https://arstechnica.com/science/2017/03/food-scientists-weig... No, Subway chicken is not 50% soy.
303.
by krapht 7y ago
I have spent years of my life eating $5 foot-long Subway sandwiches for lunch. I have always thought Subway was ubiquitous. So there's a counterpoint to your affordable, convenient, and decent.
304.
by krapht 7y ago
Huh? Nobody is writing numerically intensive libraries in Python. Clearly this language proposal is taking aim at C++ and Fortran. Even if this caused TensorFlow & others to rewrite everything in Swift, people would write Python binding
305.
by krapht 7y ago
What would be true? Sorry, I don't follow.
306.
by krapht 7y ago
We could get into arguments over purchasing power parity, but regardless, 18k is not a large sum even in $YOUR_FAVORITE_POOR_NATION. There's a limit just in terms of purchasing raw material goods which do not vary in price across the g
307.
by krapht 7y ago
The per capita gross world product was approximately ~$18k/yr in 2017. No matter how efficiently you redistribute resources, you cannot exceed this number. Instead we really need to invest more in productivity gains for the world'
308.
by krapht 7y ago
Read the paper. Meh, cool, I guess? I appreciate the work that must have gone into it. However, doesn't really add anything to the state of the art, nor improve the usability of any of the popular theorem provers like Isabelle, Coq, le
309.
by krapht 7y ago
It's a complicated subject. I think you're too quick to dismiss income redistribution based on the happiness levels of the envious: this is a fundamental part of human nature. Just as we exploit human greed in our capitalistic soc
310.
by krapht 7y ago
This looks kinda gross to me. Do the rust developers not want to emulate what ipsc and cuda do? Writing intrinsics by hand is not what I expect from a 2019 language.
311.
by krapht 7y ago
I volunteer to explain why. Because people are envious, and status and by extension happiness are to some degree determined by relative prosperity, not absolute. That is to say, there exist people who would be happier if everyone was equall
312.
by krapht 7y ago
Proving diagrams commute with abstract nonsense is not going to help the average programmer. At most it's a formalism that will help people who design programmer's tools reason about their system, much like relational algebra for
313.
by krapht 7y ago
All of them? I don't understand why you think existing systems are not able to handle independence proofs. You embed your model in the logic of the system, and this approach works for all proof assistants.
314.
by krapht 7y ago
This strikes me as somewhat unrealistic. Distributed ranking systems like PageRank are susceptible to being gamed; and it is a constant arms race with SEO experts.
315.
by krapht 7y ago
What makes you think they aren't? https://www.youtube.com/watch?v=p_UXra-_ORQ
316.
by krapht 7y ago
Yeah. I never got the hate for XML. I feel like it was always mismatched expectations: some people wanted something the Markdown of configuration files, and other people wanted something extensible enough to encode any possible data structu
317.
by krapht 7y ago
The very first Google hit on this says it is a poor idea. https://www.dpreview.com/forums/post/34042190
318.
by krapht 7y ago
What? Why? Seriously getting fed up with the Rust lovers in Hacker News. It makes me hate Rust even though I actually really like it as a modern replacement for C++. Memory safety is only one aspect of proving program correctness. It's
319.
by krapht 7y ago
That isn't a counter-example unless you're taking his post literally. In which case I claim that Python is a system programming language because one time somebody somewhere wrote a driver in it.
320.
by krapht 7y ago
Formal methods in general are extremely clunky to use. Just see how much hate Rust gets for making it extremely difficult to make an intrusive linked list. And memory safety is only one kind of correctness assertion. So I'm gonna be a
321.
by krapht 7y ago
It is impossible to find cheap US-based PCB manufacturing, the ones who compete on price all left for China years ago. What's left services the high-end/custom/defense/1-day-turnaround market.
322.
by krapht 7y ago
Build your house in the ground. We should all live in Hobbit holes, which means comfort, because of consistent year round ground temperatures.
323.
by krapht 7y ago
I would not use Eve-Online as an example of performance. Once it gets to a few thousand concurrent users they have to drastically slow down the server tick rate. It's like playing a turn-based strategy game at that point. *Disclaimer:
324.
by krapht 7y ago
Difficult problems remain difficult no matter what language you use. Also, there's a real cost to everything being dynamically typed in large systems. Humans can't keep all the program types in their brain, and having the compiler
325.
by krapht 7y ago
... the same thing happens if you mix stuff in your usr/bin directory that isn't managed by your system package manager. The solution is: don't mix your package environments. Use a conda environment. Just like in Linux, you&#
326.
by krapht 7y ago
The venerable master Qc Na was walking with his student, Anton. Hoping to prompt the master into a discussion, Anton said "Master, I have heard that objects are a very good thing - is this true?" Qc Na looked pityingly at his stud
327.
by krapht 7y ago
Blah, shows how much I remember about it. We always converted to ENU locally to start with, hah.
328.
by krapht 7y ago
You joke but a lot of radar/radio observation is done with ECEF coordinates, which is a (lat, lon, z-axis) triple.
329.
by krapht 7y ago
Did the author think about the implementation? If we assign semantic meaning to the number of decimal points, now we also need to store the number of significant digits side by side with the actual number. We shouldn't round off intern
330.
by krapht 7y ago
The trouble with HoTT is that it has very little to offer in regards to making it easier to prove the correctness of programs expressed in Hoare logic (which is ~99% of all computer programs).

More ›