tmvphil

8 ms·

61.
by tmvphil 2y ago
But -2 seems like just a bad choice here. -1 and -2 are very "common" integers. Seems they could have just picked a quasi-random large integer to reduce the likelihood of collision. I expect hash functions to have collisions, but
62.
by tmvphil 2y ago
I agree that the visual style was not for me. I had a much better time with satisfactory, which is quite pretty. It also spares you the threat of factory destruction.
63.
by tmvphil 2y ago
Completely wild to me that you are backing out the netlist from the geometry gds.
64.
by tmvphil 2y ago
Why would groceries be more expensive? Do you think a $25 fee makes any difference to a delivery truck loaded with $10k of products?
65.
by tmvphil 2y ago
https://www.merriam-webster.com/dictionary/conceit Definition 2D: "an organizing theme or concept"
66.
by tmvphil 2y ago
I did some major customization for my moonlander that I use with Mac. https://configure.zsa.io/moonlander/layouts/ZKdVJ/latest/0 I don't like using the red thumb button or the third thumb button, so
67.
by tmvphil 2y ago
You are too certain. Polls of working quantum researchers put significant credence on breaking RSA within 20 years. https://globalriskinstitute.org/publication/2023-quantum-thr...
68.
by tmvphil 2y ago
No, not really. There is no speed up for general matrix multiply, and generally it won't be practical for any problem with large amounts of input and output data. Closest thing is HHL algorithm for solving big linear systems, which req
69.
by tmvphil 2y ago
It is perfectly general, but the error rate is too high to operate all qubits simultaneously for more than a few tens of gates without error. This is why error correction is needed but then you need orders of magnitude more physical qubits
70.
by tmvphil 2y ago
One thing I like about bluesky is it allows you to watch embedded videos from external media sources (e.g. youtube) without leaving the app. Seems like twitter/X was clearly opposed to the loss of control this entailed.
71.
by tmvphil 2y ago
I would assume because bash is deployable to more locations with fewer assumptions. Scripting requires environments to be set up correctly to run, and binary makes architecture assumptions.
72.
by tmvphil 2y ago
For e.g NOx with a high half-life, you are probably right that we are still increasing pollution. For short half-life pollutants like SO2 and CO, I would expect this means the actual atmospheric levels are decreasing.
73.
by tmvphil 2y ago
"My predecessors did it" is not moral reasoning.
74.
by tmvphil 3y ago
Calling it a demonstration of a "phase" or "order" is fine to me, but IMO calling it "matter" is misleading. "Matter" to me implies some degree of passive existence. This is about as far from passive
75.
by tmvphil 3y ago
I think SML isn't purely functional (although it naturally encourages a purely functional style).
76.
by tmvphil 3y ago
These tools are a great improvement, but honestly I find working with this aspect of Julia to be super frustrating. External tools feels like a poor substitute for a type system where this kind of information was obvious from the code.
77.
by tmvphil 5y ago
I'm not sure about this particular fabric, but there are materials which will reduce temperature below ambient (i.e. below air temperature), not just reduce radiative heating from the sun. You do this by exploiting the "cold resou
78.
by tmvphil 6y ago
Nope, what he wrote works just fine at least for conda. That advice is only if you want to be able to choose environments as kernels in the frontend. If you just run jupyter lab/notebook in a conda env which has it installed, the defau
79.
by tmvphil 8y ago
The flawed criminal justice system is a foundational problem on the same level as access to housing and healthcare. This isn't window dressing, the disruption caused by any amount of incarceration can have lasting effects which can a
80.
by tmvphil 8y ago
Did they just put the refrigerator in a glass box and call it "System One"??
81.
by tmvphil 8y ago
Quantum computing is not analog computing. It is discretized in the process of quantum error correction.
82.
by tmvphil 10y ago
This article concludes by saying the best form of state intervention is "universal [healthcare] coverage". Why not both? It is only a very small far-right minority of basic income advocates who advocate eliminating the state'
83.
by tmvphil 11y ago
> derivatives of Kant are the dead-end of a false metaphysics and epistemology Sounds like you've been reading too much Ayn Rand. Nobody else places as much irrational blame on a single philosopher. Even if you think his philosophy
84.
by tmvphil 11y ago
And yet it is empirically effective. What alternative would you suggest? It's true that rich people are not burdened by cigarette tax, but then again smoking rates are already much lower among the rich (at least in the US).
85.
by tmvphil 11y ago
I must be missing something. A proof that Bool and Bool2 are equal is a bijection f :: Bool -> Bool2. So given any g :: Bool -> Bool we have (f . g . f^-1) :: Bool2 -> Bool2. So it seems trivial.
86.
by tmvphil 11y ago
I keep finding myself wanting to use enaml. Every once and a while I re-read the documentation and have found it increasingly attractive. But the lack of Tree/Listview support keeps preventing me from making the jump. Can I expect th
87.
by tmvphil 12y ago
Why be so dogmatic? You can define an arrow of time going away from some initial ordered state even in a purely classical universe. No QM needed. Although the relationship between entanglement and entropy is worth considering for sure.
88.
by tmvphil 12y ago
I can't speak for other quantum theorists, but pilot wave theory does nothing to make multi-particle entanglement less mysterious. It provides a nice story for wave-particle duality, but for a long time it has been apparent that this i
89.
by tmvphil 12y ago
In his example, `ZERO` is a value of type `zero even`. `ZERO` is the "proof" that zero is even. Of course its not much of a proof, rather its true by definition. Similarly `STEP ZERO` is of type `suc(suc(zero)) even` and thus a &q
90.
by tmvphil 15y ago
I think you can be for net neutrality (the concept), while being against net neutrality (as proposed FCC regulation).

More ›