Mathstodon

0 posts0 participants0 posts today

SpaceLifeForm<a href="https://mstdn.social/@_L1vY_" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@_L1vY_</a> If I was not so overwhelmed, I could concentrate on writing up my proof of FLT.It truly is a wonderful proof, most certainly what Fermat found, Once you understand it, you could memorize it.No, it will not fit on the margin of a page, but I can certainly envision that Fermat could have came up with the proof in his head without writing it down. He was known for not writing things down.<a href="https://infosec.exchange/@SearingTruth" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@SearingTruth</a> <a href="https://mathstodon.xyz/@tao" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@tao</a> <a href="https://mathstodon.xyz/@standupmaths" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@standupmaths</a> Give me encouragement to get out of my rut. Please.<a href="https://infosec.exchange/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://infosec.exchange/tags/Maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Maths</a> <a href="https://infosec.exchange/tags/FLT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FLT</a>

Terence TaoKevin Buzzard (<a href="https://mathstodon.xyz/@xenaproject" class="u-url mention">@xenaproject</a>) has just launched his five-year project to formalize the proof of Fermat's Last Theorem <a href="https://mathstodon.xyz/tags/FLT" class="mention hashtag" rel="tag">#FLT</a> in <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="tag">#Lean4</a>: see his blog post at <a href="https://leanprover-community.github.io/blog/posts/FLT-announcement/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://leanprover-community.github.io/blog/posts/FLT-announcement/</a> and the blueprint at <a href="https://imperialcollegelondon.github.io/FLT/blueprint/index.html" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://imperialcollegelondon.github.io/FLT/blueprint/index.html</a> . As discussed in the blog post, the target is to be able to reduce the proof of FLT to "claims which were known to mathematicians by the end of the 1980s". Hopefully this project will develop many of the foundational theories of modern number theory, and also provide real-world lessons about how to organize a genuinely large-scale formalization project, in particular whether the project is sufficiently modular that many people can make meaningful contributions to the project without having to master all the mathematical prerequisites needed to understand the proof of FLT.This formalization project is likely to interact with other concurrent projects. For instance, one of the aims of the prime number theorem formalization project I am currently involved in is to establish the Chebotarev density theorem, a version of which is needed at one step of the proof of FLT.

pinpoxAfter a lot of headaches I managed to convert my <a href="https://chaos.social/tags/GPG" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GPG</a> key to a <a href="https://chaos.social/tags/SSH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SSH</a> private key and claim the <a href="https://chaos.social/tags/FLT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FLT</a> airdrop.Had to write a custom tool to convert the keys since they messed up the verification process and I couldn't find anything for ed25519 keys.<a href="https://github.com/pinpox/pgp2ssh" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/pinpox/pgp2ssh</a>I (now) find it quite funny that a company that calls themselfs "crypto" messes up asymetric encryption and excludes users using modern key standards 😂 Pleasure to work with you <a href="https://fosstodon.org/@felschr" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@felschr</a> <a href="https://chaos.social/tags/cryptography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cryptography</a> <a href="https://chaos.social/tags/encryption" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#encryption</a> <a href="https://chaos.social/tags/eth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#eth</a>

The Kleinian Arborist<a href="https://www.shadertoy.com/view/cd3fWs" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://www.shadertoy.com/view/cd3fWs</a>Here's a GLSL script hosted in Shadertoy that extends the concept of Steiner chains from simple circles to Generalized Circles, and renders them in real-time with user controls. The code permits specification of any containing circle or half-plane you like, specify the center of the inner circle (or half-plane) around which the chain circles are arranged, and specify the contact angle of the chain itself, with reference to either the containing or inner circle. This demo chooses the configuration of the containing circle, the user controls the center of the inner circle with the mouse.Click-and-drag the mouse to move the center of the white circle; use the arrow keys to fix the orientation of the key chain circle (the dark red one) to a particular direction. Various config parameters start around line 90. I'd love feedback and suggestions, let me know!Under the hood it's all based on finding just the right FLT to map a trivially-constructed concentric chain of length n within the unit circle to the desired config. Hardcore fans may recall that a pre-rendered version of this was my first ever post : <a href="https://mathstodon.xyz/@KleinianArborist/110674924302552811" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://mathstodon.xyz/@KleinianArborist/110674924302552811</a><a href="https://mathstodon.xyz/tags/glsl" class="mention hashtag" rel="tag">#glsl</a> <a href="https://mathstodon.xyz/tags/steinerchains" class="mention hashtag" rel="tag">#steinerchains</a> <a href="https://mathstodon.xyz/tags/flt" class="mention hashtag" rel="tag">#flt</a> <a href="https://mathstodon.xyz/tags/shadertoy" class="mention hashtag" rel="tag">#shadertoy</a>

isobel<a href="https://mastodon.technology/@bugaevc" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@bugaevc</a> Firewalls are about granularity of control, separation of concerns and the strength of heterogeneous solutions.A software firewall does nothing when everything goes right, but could save your date when you get infected by ransomware and the virus can't connect out because your firewall says, "I don't know you."[I have truly marvellous demonstrations of the other two reasons which this toot is too small to contain. <a href="https://ioc.exchange/tags/left_to_the_reader" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#left_to_the_reader</a> <a href="https://ioc.exchange/tags/FLT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FLT</a>]

Recent searches

Search options

Administered by:

Server stats:

#FLT