Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)P

pfried

@ pfried @reddthat.com

Posts
0
Comments
53
Joined
2 yr. ago

  • Stop telling me AI is the future [Still Vreni]

    Jump

  • I'm saying there is no "big leap" necessary. As the paper that introduced the transformer said, attention is all you need.

  • Stop telling me AI is the future [Still Vreni]

    Jump

  • Transformer is useful for damn near anything. At the end of the day, what we consider intelligence is the ability to predict what comes next, whether that is what our senses will tell us next or what the next hypothesis to test should be based on the data we have seen so far.

  • Stop telling me AI is the future [Still Vreni]

    Jump

  • ‘Your phone is about to stop being yours': anger brewing among Android fans as major Google app change draws near

    Jump

  • Uh, no it's not.

    It is. As a result of the Epic Games v. Google, Android builds with the Play Store are required to allow users to install apps without any warning at all. They obviously can't allow any app to be installed without a warning because this would be a boon to malware authors, so this is now enabled with verification. You can now even share apps you build with your friends without requiring them to go through an unverified apps flow with a scary warning. Additionally, Google is not allowed to take a revenue cut from those installs.

    You're confused because the install process for apps that are not verified (a path that didn't exist before at all) or installed from a system app store has changed. This now has to be done with adb, which takes effect immediately, or via an on-phone process that takes a day to complete. Once it is done, this setting is copied to new phones, so the process actually becomes easier for most people who do this because they don't have to go through the process repeatedly.

  • ‘Your phone is about to stop being yours': anger brewing among Android fans as major Google app change draws near

    Jump

  • It is possible on every Google phone.

  • ‘Your phone is about to stop being yours': anger brewing among Android fans as major Google app change draws near

    Jump

  • This change is the opposite. It makes it possible for a user to install the Epic Games Store from their website without seeing a scary warning, and Google won't get a cut of any of the revenues from that store. The same with any other company. Netflix can now offer their app from their website, and people can install it without any warning, and Netflix won't have to send any revenue to Google for people who subscribe in the app.

  • ‘Your phone is about to stop being yours': anger brewing among Android fans as major Google app change draws near

    Jump

  • This change makes it so you can't install software (such as F-Droid, NewPipe, Google Camera, Samsung Notes, etc.) from APK, unless you install them directly from Google's Play Store [without going through unnecessary hoops and 24-hour delays].

    This change was precipitated by a change that allows you to install an app outside the Play Store without the user seeing a scary warning or going through the existing hoops, as required by the Epic Games v. ruling.

  • Trump DOJ says LGBTQ+ legal protections are "anti-Christian," pledges to erode them further - LGBTQ Nation

    Jump

  • Trump DOJ says LGBTQ+ legal protections are "anti-Christian," pledges to erode them further - LGBTQ Nation

    Jump

  • And the law to follow said that it was up to doctors to decide whether a treatment was necessary enough to be covered government insurance. Now Trump is rewriting the law to make it illegal for doctors to give gender affirming treatment at all, let alone for it to be covered by health insurance.

  • To End ‘New Gilded Age,’ House Progressives Unveil Bill to Raise Federal Minimum Wage to $25 Per Hour

    Jump

  • I'm one of those people who talks to my representative to get my way. I also talk to people running in local elections and tell them exactly why I am or am not voting for them. The squeaky wheel gets the grease. I know how government works.

  • To End ‘New Gilded Age,’ House Progressives Unveil Bill to Raise Federal Minimum Wage to $25 Per Hour

    Jump

  • To End ‘New Gilded Age,’ House Progressives Unveil Bill to Raise Federal Minimum Wage to $25 Per Hour

    Jump

  • People voted for them. They serve their voters. That's how democracy works. They are "controlled" by their voters. People who don't understand that get governments who don't listen to them and instead listen to people who do understand that, like the aforementioned small business owners.

  • To End ‘New Gilded Age,’ House Progressives Unveil Bill to Raise Federal Minimum Wage to $25 Per Hour

    Jump

  • To End ‘New Gilded Age,’ House Progressives Unveil Bill to Raise Federal Minimum Wage to $25 Per Hour

    Jump

  • The last time the Democrats had a majority was in the 117th Congress. They introduced a minimum wage increase bill HR 603 with 202 cosponsors, not a single one Republican. If the Democrats have a slim majority, all it takes is for a few Democrats whose districts rely on votes from small business owners who don't want to pay higher minimum wage during a pandemic when their business is shut down to stop it. Those small business owners vote, and their employees listen to people like you. If you vote for enough Democrats that aren't in that position, of course it will pass. The messaging to the employees should be that if their Democratic representative isn't meeting demands, they should primary them, not that they should let Republicans win.

  • Deleted

    Permanently Deleted

    Jump

  • Better by the only criteria that matters. Once something is proved, everybody will agree to it given enough time to examine and question the proof. Once someone makes a mathematical proof, the philosophical arguments are thrown on the trash heap. As you mentioned, Wittgenstein threw his earlier philosophical arguments on the trash heap. Given a few more years, he would have thrown his latest philosophical arguments on the trash heap as well.

  • Deleted

    Permanently Deleted

    Jump

  • And again, the history of philosophy is replacing philosophical arguments with better tools. Your link just shows sloppy thinking from both Hume and his critics.

    If a mathematical proof hasn't been verified, it isn't accepted. For a proof that uses lots of new nontrivial machinery, the mathematician is expected to give talks to motivate that machinery and answer questions from other mathematicians. Or they can just build their proof in Lean from already well understood axioms.

  • Deleted

    Permanently Deleted

    Jump

  • It's generally agreed

    That's my point. Mathematical proofs aren't generally agreed. They are agreed by everyone to logically follow from the definitions and axioms started with. Every single statement in a mathematical proof evaluates to true or false, and if you don't believe a mathematical proof, you can directly point to a statement that is false. Philosophical arguments are "generally agreed" upon until the tools to take them out of philosophy are developed, and then the philosophical arguments are discarded entirely.

    Your same argument that mathematics can be discussed under philosophy can be used to argue that mathematics can be discussed under the framework of wild untethered speculation. Neither one is a convincing argument that philosophy or wild untethered speculation is useful.

    This is why ethics has failed. It has been built on the unstable foundation of philosophy instead of on the solid foundation of mathematics.

  • Deleted

    Permanently Deleted

    Jump

  • It's not about those specific proofs.

    It certainly is about those specific proofs and anything that has been rigorously proven in Lean. We're discussing techniques that show something is correct forever, and those proofs show that something is correct forever. Philosophical arguments don't even show that something is correct today. This is why the examples I gave earlier are now not explained by philosophy but by other systems. Once the tooling exists to lift a discussion out of philosophy, that is the end of philosophical debate for that topic.

    Furthermore, the kernel still relies on CPU, memory and OS behavior to be bug free.

    Only to a point, just like human language proofs require the reviewers brains to be bug free to a point. The repeated verification makes proofs as correct as anything can get.

  • Deleted

    Permanently Deleted

    Jump

  • The fact that C++ is Turing complete does not prevent it from computing that 1+1=2. Similarly, the fact that C++ is Turing complete does not prevent programs created from it from verifying the proofs that they have verified. The proof of the halting problem (and incompleteness proofs based on the halting problem) itself halts. https://leanprover-community.github.io/mathlib_docs/computability/halting.html