Nice. It is inconsistent on blocking based on country of the user. That is hopefully going to come up in court, next time Facebook is called in.
Many architectures also run all ALU instructions, and then MUX for the one asked for.
@jyushimatsu given the right modular ring, you are right.
Nice! I will try that.
constructor abstract class
A lot of places in California are basically paradise though. Excessively expensive, sure, but worth it.
@lupyuen and more tests. If nothing else, test machine learning algs thoroughly. ![]()
Looks like they needed more eth(n)ically sourced data.
@Hyolobrika @downey @isharefreedom@hostux.social
They mostly do not. It is why groups like FOSS and FOSH are so successful. But everybody has their own license, or set of licenses, these days, and the particulars make these things distinct.
@isharefreedom@hostux.social @downey
Sorry. The GNU group are hypocrites.
Although mostly good, FSF are about promoting themselves, at the consequence of user freedom.
So by technicality... You have it completely backwards. Communes are not anarchies. And communes are not about promoting individuality.
@isharefreedom@hostux.social @downey
Yeah, but no. FSF do not respect their own rule 0 in their GPL.
From http://www.gnu.org/philosophy/free-sw.html
"The freedom to run the program as you wish, for any purpose (freedom 0)."
From the GNU Manifesto, and in some form shows up in most GPL's.
"GNU is not in the public domain. Everyone will be permitted to modify and redistribute GNU, but no distributor will be allowed to restrict its further redistribution. That is to say, proprietary modifications will not be allowed
Copyleft is not individual freedom of use."
@miguelv hola
To be fair, most USA capital winners are technology based. An individual can currently pull in a quarter million a year with the right skills, over such a rate being exclusive to people with strong social connections.
@lupyuen Yikes. It feels like we cannot trust any company to back its users these days.
I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.
Current events I try to keep up on
- Math Logic community (The Journal of Symbolic Logic)
- Statistics community (JASML, AoS)
- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)
- Formal Methods community (CAV/TACAS)
Passing the learning curve up to current events
- Abstract Algebra (Dummit, Foote)
- Commutative Algebra (Eisenbud)
- Algebraic Geometry (Hartshorne)
- Mathematical Logic (Mendelson)
- Model Theory (Marker)