krapht

25 ms·

271.
by krapht 7y ago
I didn't even know chemical eraser pens were an option. As a kid, we had to use Tipp-Ex to cover up our mistakes.
272.
by krapht 7y ago
Stopping climate change is mostly a political problem, not a technical one. An extremely difficult one since it requires collective action from the entire world. Even when it is a technical problem, it's not clear to me that software d
273.
by krapht 7y ago
The gist of the articles I've read about Amazon is: The Amazon department responsible for AWS is awesome to work in. Amazon, the online store, is terrible. I get this sort of advice from all sorts of career posts. Try to avoid working
274.
by krapht 7y ago
Thanksgiving is for one side of the family, Christmas for the other. Isn't that how most people do it?
275.
by krapht 7y ago
Literature from twin studies would like to disagree with you. Most people overestimate the effect of parenting and underestimate the effect of genetics in determining child success. Genetics is more than 50% of the game. As for the other 50
276.
by krapht 7y ago
Even if none of these things matter to you, how about the fact that the mechanical control would not be easily adapted to handle variable width bread without much more expense? Who wants a toaster that can't handle thick cut bread or b
277.
by krapht 7y ago
In this case, it was unlearned for a very good reason. The hexavalent chromium plating on those toasters is a genotoxic carcinogen. The metal body gets dangerously hot during toasting. The internal metal wires are not safe and will electroc
278.
by krapht 7y ago
Altium crashes, but is useful for routing non-trivial boards. I last used kicad in 2014 so perhaps my opinion is dated, but there was no competition then. I can't imagine an order of magnitude improvement has happened since. Other rand
279.
by krapht 7y ago
This is so funny to me. At my workplace we preferred magnitude phase plots and tables. People had to be reminded how to interpret Smith charts
280.
by krapht 7y ago
Thanks for this glib comment, it must be true since you asserted it. Frankly what I find most annoying about this comment is the implicit claim that humans are so complex that we can't possibly study it; that our existing scientific me
281.
by krapht 7y ago
I have halos, very occasional dry eyes. Was worth it. I was myopic (20/350) that got corrected to 20/15. Things I can do now: * Being able to lay in bed and look around the room and see things in focus. * Being able to lay in bed
282.
by krapht 7y ago
In this case, isn't the blame on Vasquez, the safety driver? If a plane crashes while on autopilot, ultimately we should blame the human pilot since they retain master control.
283.
by krapht 7y ago
I hope not. That would go against this project's purpose of trying to find a funding model for popular, transitively-used packages.
284.
by krapht 7y ago
Norway is also very homogeneous. We are more willing to be generous to those related to us; and I'm not talking just about race, but also culture, values, and ideology. In all these respects, the United States is far more diverse. So I
285.
by krapht 7y ago
This. X10 has been around for decades. Even the most common of devices - the home router - how many run openwrt?
286.
by krapht 7y ago
Is it worth giving up language-specific build tools (CMake, Maven, Gradle and others) for one build tool to rule them all?
287.
by krapht 7y ago
I mean, for a lot people, I imagine there isn't a difference. I'm going to remain an organ donor. It is said that Diogenes, when asked how he wished to be buried, left instructions to be thrown outside the city wall so wild animal
288.
by krapht 7y ago
Hmm, I was more thinking about proof translation across isomorphisms. I'm not speaking from my own experience here, just that I have seen people grumble about it. https://leanprover-community.github.io/archive/1134
289.
by krapht 7y ago
You won't convince anyone of this until they start working heavily in a theorem prover. With constructive proofs you can introduce certain automation that is not possible otherwise; until then, when we are working on pen and paper, it
290.
by krapht 7y ago
You know, I completely disagree with the your first sentence. Of all cooking techniques, baking seems to me to be the most scientific. You must carefully control temperature and moisture in order to get a decent loaf. It's practically
291.
by krapht 7y ago
Well, having used both, Lean really is a lot more ergonomic. Unimath is mostly category theory; other parts of mathematics are woefully underdeveloped.
292.
by krapht 7y ago
This service exists, it is called Blendle.
293.
by krapht 7y ago
Professional ethics and integrity, plus occasional review by an ombudsman? Same as many other vocations...
294.
by krapht 7y ago
> Because any nation that isn't on your side is corrupt, right? Do you have experience living in countries where you need to bribe everyone everywhere to get anything done? You're missing the point, and I doubt you're spea
295.
by krapht 7y ago
It's exactly difficult enough and requires enough work that for many people it's an effective sorting tool for general intelligence and work ethic. If bootcamps take off it will be because they replace this function of university.
296.
by krapht 7y ago
Only a person who has never worked on a safety-critical application would say something ignorant like that. (I am neither a Rust nor an Ada user.)
297.
by krapht 7y ago
The point is asking the user to prove this is basically asking the user to write proof assembly language, not that it is incorrect.
298.
by krapht 7y ago
Related: https://imo-grand-challenge.github.io/
299.
by krapht 7y ago
"Lean doesn't even use one of the most obvious things that make interactive proof systems far more usable - a declarative mode instead of the usual tactics-based scripts." Citation needed. I can make a perfectly reasonable Is
300.
by krapht 7y ago
There are subtle differences. What ostensibly they are both based on the calculus of inductive constructions, there are incompatible extensions to the logic in the kernel. The majority is convertible, though. If I had to make a programming

More ›