Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.7K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#golaycode

0 posts0 participants0 posts today
Alex Nelson<p>Project idea: formalize error correcting codes in Mizar.</p><p>Error-correcting codes are a beautiful subject, mostly because they&#39;re linear algebra over finite fields (and linear algebra is beautiful).</p><p>But there are exceptional connections in the subject: the Golay code and the Leech lattice especially connect with disparate subjects.</p><p>To give one sense of connection, I gave Robert A Wilson&#39;s construction of the Leech lattice using the octonions as a &quot;milestone&quot;.</p><p><a href="https://mathstodon.xyz/tags/Mizar" class="mention hashtag" rel="tag">#<span>Mizar</span></a> <a href="https://mathstodon.xyz/tags/ProofAssistant" class="mention hashtag" rel="tag">#<span>ProofAssistant</span></a> <a href="https://mathstodon.xyz/tags/ErrorCorrectingCodes" class="mention hashtag" rel="tag">#<span>ErrorCorrectingCodes</span></a> <a href="https://mathstodon.xyz/tags/LeechLattice" class="mention hashtag" rel="tag">#<span>LeechLattice</span></a> <a href="https://mathstodon.xyz/tags/LinearAlgebra" class="mention hashtag" rel="tag">#<span>LinearAlgebra</span></a> <a href="https://mathstodon.xyz/tags/Octonions" class="mention hashtag" rel="tag">#<span>Octonions</span></a> <a href="https://mathstodon.xyz/tags/GolayCode" class="mention hashtag" rel="tag">#<span>GolayCode</span></a> </p><p><a href="https://thmprover.wordpress.com/2025/01/09/from-error-correcting-codes-to-the-leech-lattice/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">thmprover.wordpress.com/2025/0</span><span class="invisible">1/09/from-error-correcting-codes-to-the-leech-lattice/</span></a></p>
IT News<p>Archiving Data On Paper Using 2D Images - It seems like only yesterday we covered a project using QR codes to archive data o... - <a href="https://hackaday.com/2024/09/15/archiving-data-on-paper-using-2d-images/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hackaday.com/2024/09/15/archiv</span><span class="invisible">ing-data-on-paper-using-2d-images/</span></a> <a href="https://schleuss.online/tags/errorcorrection" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>errorcorrection</span></a> <a href="https://schleuss.online/tags/hammingdistance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hammingdistance</span></a> <a href="https://schleuss.online/tags/softwarehacks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>softwarehacks</span></a> <a href="https://schleuss.online/tags/laserprinter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>laserprinter</span></a> <a href="https://schleuss.online/tags/datacoding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>datacoding</span></a> <a href="https://schleuss.online/tags/archiving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>archiving</span></a> <a href="https://schleuss.online/tags/golaycode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>golaycode</span></a> <a href="https://schleuss.online/tags/scanner" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scanner</span></a> <a href="https://schleuss.online/tags/qrcode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>qrcode</span></a> <a href="https://schleuss.online/tags/fec" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fec</span></a></p>
SearchLive feeds
About