afiori

35 ms·

511.
by afiori 2y ago
The solution to "housing is a heavily artificial financial instrument" is not to make it more chaotic, it is to not make it a financial instrument.
512.
by afiori 2y ago
every meeting I have been in wrt PII collection had some provvisions for 1) how will this be protected enough 2) how can we easily delete this if needed; so I would say decently.
513.
by afiori 2y ago
The correct behaviour would be to actually use the timezone field of an ISO date and not to assume that convertion to/from utc is always lossless. A single number is not enough to store a datetime. I blame databases for only storing ha
514.
by afiori 2y ago
a typing of any cannot be unsound because it is always correct, narrowing any can be unsound.
515.
by afiori 2y ago
any and unknown are perfectly sound, if they were the only types then soundness would be automatic. The problem is that you can arbitrarily narrow types (and any can narrow to any type) eg: https://www.typescriptlang.org/pla
516.
by afiori 2y ago
The key factor is that typescript is not a language, it is a notation system for a completely independent language. The purpose of typescript is usefully type as much javascript as possible, to do both this and have a sound type system it w
517.
by afiori 2y ago
TL;DR: Typescript is unsound so it can add a lot more type-level features that would make a sound type system undecidable Conceptually no, almost every useful union type can be easily converted to a sum type. In my opinion the difference is
518.
by afiori 2y ago
Union types, structural typing, and conditional types are like a big chunck of what makes typescript typescript. It is how TS is able to "type" a completely untyped language. Just the support for union types is something that not
519.
by afiori 2y ago
My personal taste is to store a day, a time, and a regional timezone (like Europe/Berlin) for calendar-like uses.
520.
by afiori 2y ago
I can easily believe that they are sold as business vehicles, what I doubt is that they are mostly being used as such. For example if the owner of a construction company and his son have a Super Duty truck each that is mostly used to comm
521.
by afiori 2y ago
> To be fair, they're using it to build Super Duty trucks, which are big trucks typically used for actual work Citation needed
522.
by afiori 2y ago
If those instruction act like a macro that is faster than the expanded instructions then it is not really a just a tradeoff. If the instruction were to have some magical one-off effect it would be a violation.
523.
by afiori 2y ago
More like optimize towards the quality of the whole product rather than just the quality of your isolated component
524.
by afiori 2y ago
I guess that there would be a few incompatibilities, but you could even try directly embedding postgres https://supabase.com/blog/postgres-wasm
525.
by afiori 2y ago
> That's a nonsensical definition. By that standard literally everything is political The definition implies it, yes > which means the word has no meaning. I disagree, the "if everithing is X then nothing is X" applies
526.
by afiori 2y ago
Because part of the disagreement is also whether the surrounding context (both conterporary and present) is part of the artwork
527.
by afiori 2y ago
I actually do not like the emphasis on death of the author that much[0], I appreciate the relativism of saying that authorial intent is not the only allowed interpretation, yet it is still a very important one. [0] Also I feel the need to r
528.
by afiori 2y ago
I have no idea, nor do I necessarily think that they exists. An hypothrtical person holding the opinion I described might try to point out some effect the artwork had on the world as a political effect, I for sure do not know enough about a
529.
by afiori 2y ago
People that say "all art is political" often mean it as: - politics is about power dynamics, ideas, class, etc. - art production and consumption interacts with those - thus art is political.
530.
by afiori 2y ago
I guess they intended to say that the reference to fq was very short, so people might have missed it while reading
531.
by afiori 2y ago
The obvious solution it to use a odd balanced numerical system https://en.m.wikipedia.org/wiki/Balanced_ternary
532.
by afiori 2y ago
This is an instance of the general problem that a path of lenght n has n+1 nodes
533.
by afiori 2y ago
It is the best choice, but the difference is mostly in working manually with slices and offsets and array windows, for indexing and iterating they are mostly the same with maybe a small benefit for mathy notation (the reason why Julia is 1
534.
by afiori 2y ago
One thing that is used a lot in physics are known as Dirac Deltas[0] that is, in very informal terms, the derivative of the function f(x) = 0 for negative x otherwise f(x) = 1. Physics are very good at working with concepts and abstraction
535.
by afiori 2y ago
If you work with mostly continous and/or well behaved functions you do not need most of these. I suspect that in both physics and economics you might end up using stochastic methods that use concepts and techniques similar to those of
536.
by afiori 2y ago
Measure theory is not about events of probability zero, it is about how to ignore them and prevent them from messing up results. Let's say we play a game, we uniformly pick a random real between 0 and 1 and you win if it is rational, I
537.
by afiori 2y ago
It does if the stopwatch is sinchronizing to prevent drifting, like most clocks do.
538.
by afiori 2y ago
Almost nobody ever cares for UT1 except for astronomical observations (where you are also likely using a different calendar and using sidereal days) and we already have a perfectly working system for relating local times to each other and t
539.
by afiori 2y ago
but school starts at 9am the nth of september not 2024-09-15 09:00:00
540.
by afiori 2y ago
In 400 years we can define new 30 minutes shifted timezones and in 400 - 500 years governments can slowly change their official timezones (maybe at summer/winter time they shift 30 minutes instead of 60). It does not feel like a big i

More ›