Skip Navigation

hikaru755

@ hikaru755 @feddit.de

Posts
0
Comments
48
Joined
3 yr. ago

  • Why stand in line to board an airplane?

    Jump

  • That's only for cabin luggage. In checked luggage, Lithium Ion batteries are completely banned. If a battery bursts into flames in the cabin, it can be handled with hopefully minimal damage. You do not want that to happen in the belly of the plane packed in closely between everyone else's luggage with no way of getting it contained until the planes lands.

  • Comcast reluctantly agrees to stop its misleading “10G Network” claims

    Jump

  • Ah. Well the first comment in this chain talked about mobile devices, so I was assuming we were talking about mobile data plans

  • Comcast reluctantly agrees to stop its misleading “10G Network” claims

    Jump

  • Uhh... Germany would like to have a word

    Most carriers do offer some uncapped plan, I think, but it's expensive and not the default

  • Apple is finally allowing Firefox to use its own engine on the iPhone (but only in the EU)

    Jump

  • ...I think you're confusing GDPR and GPRS? Unless I'm being whooshed here

  • The media controls on my car. Previous and Next are Up and Down. Volume Up and Down are Right and Left.

    Jump

  • I mean... Yes? If there's a way to do something without having to take my hands off the steering wheel I'll use that

  • DeepMind AI rivals the world’s smartest high schoolers at geometry

    Jump

  • From the article:

    For many years, we’ve had software that can generate lists of valid conclusions that can be drawn from a set of starting assumptions. Simple geometry problems can be solved by “brute force”: mechanically listing every possible fact that can be inferred from the given assumption, then listing every possible inference from those facts, and so on until you reach the desired conclusion.

    But this kind of brute-force search isn’t feasible for an IMO-level geometry problem because the search space is too large. Not only do harder problems require longer proofs, but sophisticated proofs often require the introduction of new elements to the initial figure—as with point D in the above proof. Once you allow for these kinds of “auxiliary points,” the space of possible proofs explodes and brute-force methods become impractical.

    So, mathematicians must develop an intuition about which proof steps will likely lead to a successful result. DeepMind’s breakthrough was to use a language model to provide the same kind of intuitive guidance to an automated search process.

  • Meta can rage farm Mastodon without controlling it

    Jump

  • And that's precisely why so many people are calling for everyone to defederate immediately from anything facebook-owned. The only way to prevent this is to not even let them get started.