tancop

8 ms·

91.
by tancop 1mo ago
Everything leads to paradoxes or unanswerable questions when you think it through. If our universe is computable then what "computer" is it running on? Why is our universe as computationally strong as it is and not more or less?
92.
by tancop 1mo ago
Is that really a problem? The only risk in a Lean proof is the LLM finding a bug in multiple kernels (2 with the standard setup) that would let it add a new theorem without legitimately proving it. If you have reasoning traces or send a sec
93.
by tancop 1mo ago
"Highly successful middleware provider back in the day" is an understatement. Bink was the cutscene video codec for a long time and it's still the most popular option by far. Kraken compression is so good Sony worked with A
94.
by tancop 1mo ago
I think this is more evidence that we're not getting Skynet. These agents followed their own code of ethics where it's fine to break all the rules you were given but you must never interfere with humans directly, in this case by
95.
by tancop 1mo ago
My position on anything is "REGULATION BAD" when it's against individuals and non commercial/open source projects, "REGULATION GOOD" for massive corporations, and "REGULATION MAYBE GOOD NEEDS NUANCED DEBAT
96.
by tancop 1mo ago
Technically you could argue that public domain works don't have license terms that make them free so the exception can't apply. Only an ignorant or ultra literalist judge would see it that way but you never know. On the other ha
97.
by tancop 2mo ago
At some point money stops being about what you can buy and turns to a competition. You become addicted to the feeling of getting ahead of your rivals on the Forbes list, watching your companies stock price tick up after a good quarter, comi
98.
by tancop 2mo ago
Xiaomi phones support it in all regions. Think about it, a company famous for putting ads in system apps has the feature but "privacy conscious" Apple literally put in extra work to disable it everywhere it's not legally requ
99.
by tancop 2mo ago
From the moment LLMs became usable for coding. The web ecosystem is bigger and more unified so there is more high quality training data. Native apps are different on every platform and less likely to be open source.
100.
by tancop 2mo ago
This is an abuse of power. There are no criminal charges and they are designated as terrorists instead of sanctioned with the normal OFAC route. I don't know if it's even legally possible to call someone a terrorist when the all
101.
by tancop 2mo ago
Why should a maintainer care about keeping PR count as a signal of developer status? A good quality contribution is a good quality contribution. You only have a responsibility to your own users, keeping out bad code from your repo while acc
102.
by tancop 2mo ago
Good industrial policy is made from positive economic actions. State investment, interest free loans for factory expansion, strong antitrust law, subsidies and tax reforms that promote industry growth instead of shielding it from competit
103.
by tancop 2mo ago
Correctness is impossible to evaluate without a panel of humans to define "the truth" for each topic and an advanced NLP system that compares the meaning of a page with it. Impossible in 1996, you could maybe pull this off today
104.
by tancop 2mo ago
Nix is always doing its own thing. The community is fragmented and there are no enforced packaging conventions. They have a "best practices" page that lists language features you're not supposed to use because they break repr
105.
by tancop 2mo ago
Most combat missions are bad guys crashing somewhere . It can be hired killers at a party, cops at a failed robbery, rival gang in a setup or a home invasion. It's just how games and action movies work. And it shows off shooting mecha
106.
by tancop 2mo ago
Java is so dynamic that it's impossible to prove a class will only be used in "value friendly" ways. When objects have no identity the meaning of `==` is different, and the compiler would have to do some kind of whole program
107.
by tancop 2mo ago
No, this would be literally you (the user) checking "this is AI generated" before you post something publicly. Platforms can auto mark it if they detect a watermark like SynthID but they can also leave the choice up to you. The po
108.
by tancop 2mo ago
This is the same kind of case as someone arrested for cocaine possession when the drug is made of powder milk and caffeine with zero controlled substances. Prosecution has to prove the suspect was going to sell it as real drugs, it can&#x27
109.
by tancop 2mo ago
The art itself is not a psyop and it can't be because it's too abstract to send a political message. The movement around it was supported in a CIA psyop to present America as the place where artists are free to do what they want
110.
by tancop 2mo ago
Arweave does what it's designed for right now. When cyberleek came out I went looking for a gateway that wasn't censoring them, found one and downloaded the files using another gateway just to find out if it works (yes it did). Yo
111.
by tancop 2mo ago
Optimized for throughput and large files. It's slow to start, downloads chunks in random order and there is no standard way to link torrents together. It's a bad fit for anything that's supposed to replace the traditional web
112.
by tancop 2mo ago
Arweave on the other hand will be getting some traction from the GTA 6 leaker. It's not good for all use cases because you need to buy storage with crypto instead of just running your own node but for small, valuable, rarely updated an
113.
by tancop 2mo ago
All the protocol needs at this point is a DHT and a standard representation for directories. Everything else like data storage layouts and node trust systems can be handled client side.
114.
by tancop 2mo ago
Maybe switch to less frequent random inspections instead of looking at every parcel? That would reduce the costs immediately at the "price" of letting in some illegal drugs and weapons. Sign me up.
115.
by tancop 2mo ago
And that doesn't conflict with the possibility that some combination of explicit mental training, meditation, psychedelics or other chemical and biological agents can permanently expand those boundaries. If intelligence comes from ne
116.
by tancop 2mo ago
> Crypto is really only good for gambling, betting the price of this or that crypto is going to go up or down, and, crime Crime is a pretty broad category. Sure you can use crypto to scam people and dodge taxes, but illegal does not equa
117.
by tancop 2mo ago
Workers should get to decide individually if they want to use AI or not. It's the only fair solution. Unions need to fight for job guarantees not restrict their own members from using tech when they want to.
118.
by tancop 2mo ago
You should probably also run a IPFS node that serves your archived files. That way others can download them and keep them available even if your server is down with no risk of tampering. There are pinning services that host them for you as
119.
by tancop 2mo ago
No. Data is stored on your PDS and no one else can shut it down, there is no central server. The only difference from public atproto is when you ask someone else PDS for records in a space you need a token signed by the space authority to s
120.
by tancop 2mo ago
Their numbers look too good to be true, they have no identified customers and the whole site is generated, but I think the principle behind it is good. If they can pull off the error correction needed to make analog reliable we might have a

More ›