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:

3K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#compilers

17 posts12 participants0 posts today
Lobsters<p>"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra by <span class="h-card" translate="no"><a href="https://types.pl/@sandmouth" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sandmouth</span></a></span> <a href="https://lobste.rs/s/b9kbg3" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/b9kbg3</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/assembly" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>assembly</span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a> <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://mastodon.social/tags/reversing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reversing</span></a><br><a href="https://www.philipzucker.com/knuckle_C_pcode/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">philipzucker.com/knuckle_C_pco</span><span class="invisible">de/</span></a></p>
Lobsters<p>Making a Brainf*** JIT Compiler in Rust <a href="https://lobste.rs/s/vrbtjw" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/vrbtjw</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>video</span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a><br><a href="https://www.youtube.com/watch?v=3aRdIijtGrM" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=3aRdIijtGrM</span><span class="invisible"></span></a></p>
J3RN :emacs: :haskell:<p>Bit of a newbie question, but why is CPS favored for IRs for functional languages? Links welcome 😁</p><p><a href="https://fosstodon.org/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://fosstodon.org/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a> <a href="https://fosstodon.org/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> <a href="https://fosstodon.org/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a></p>
Sean Cribbs 🌻<p>Thanks for attending! We completed an interference graph that we will use next time to do graph coloring, so be sure to show up for that.</p><p>See you next week right here: <a href="https://youtube.com/live/x0uHIjJ4plM?feature=share" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">youtube.com/live/x0uHIjJ4plM?f</span><span class="invisible">eature=share</span></a></p><p><a href="https://hachyderm.io/tags/EssentialsOfCompilation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EssentialsOfCompilation</span></a> <a href="https://hachyderm.io/tags/GleamLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GleamLang</span></a> <a href="https://hachyderm.io/tags/Compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Compilers</span></a></p>
comp.compilers newsgroup<p><a href="http://compilers.iecc.com/comparch/article/25-04-004" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="ellipsis">compilers.iecc.com/comparch/ar</span><span class="invisible">ticle/25-04-004</span></a> Re: Prior art for operator parsing trick <a href="https://infosec.exchange/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a></p>
Sean Cribbs 🌻<p>What do x86 registers and sudoku have in common? We will find out today as we learn how to assign variables to registers in <a href="https://hachyderm.io/tags/EssentialsOfCompilation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EssentialsOfCompilation</span></a> with Gleam. Join me in about 25 minutes:</p><p><a href="https://www.youtube.com/live/U72bQ1tcTqg?si=8lvd3q279ODo6LDG" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/live/U72bQ1tcTqg?s</span><span class="invisible">i=8lvd3q279ODo6LDG</span></a></p><p><a href="https://hachyderm.io/tags/GleamLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GleamLang</span></a> <a href="https://hachyderm.io/tags/Compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Compilers</span></a> <a href="https://hachyderm.io/tags/GraphColoring" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GraphColoring</span></a></p>
comp.compilers newsgroup<p><a href="http://compilers.iecc.com/comparch/article/25-04-003" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="ellipsis">compilers.iecc.com/comparch/ar</span><span class="invisible">ticle/25-04-003</span></a> Re: Prior art for operator parsing trick <a href="https://infosec.exchange/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a></p>
Lobsters<p>When should a compiler expand garbage collection barriers? <a href="https://lobste.rs/s/o2tsdx" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/o2tsdx</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a><br><a href="https://robcasloz.github.io/blog/2024/02/14/when-should-a-compiler-expand-garbage-collection-barriers.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">robcasloz.github.io/blog/2024/</span><span class="invisible">02/14/when-should-a-compiler-expand-garbage-collection-barriers.html</span></a></p>
comp.compilers newsgroup<p><a href="http://compilers.iecc.com/comparch/article/25-04-002" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="ellipsis">compilers.iecc.com/comparch/ar</span><span class="invisible">ticle/25-04-002</span></a> Prior art for operator parsing trick <a href="https://infosec.exchange/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a></p>
comp.compilers newsgroup<p><a href="http://compilers.iecc.com/comparch/article/25-04-001" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="ellipsis">compilers.iecc.com/comparch/ar</span><span class="invisible">ticle/25-04-001</span></a> Re: Crypto friendly optimization? <a href="https://infosec.exchange/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a></p>
Lobsters<p>JIT calculators finale <a href="https://lobste.rs/s/ri3gqs" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/ri3gqs</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/assembly" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>assembly</span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a><br><a href="https://ochagavia.nl/blog/jit-calculators-finale/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ochagavia.nl/blog/jit-calculat</span><span class="invisible">ors-finale/</span></a></p>
Hacker News<p>Compilers: Incrementally and Extensibly</p><p><a href="https://okmij.org/ftp/tagless-final/Compiler/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">okmij.org/ftp/tagless-final/Co</span><span class="invisible">mpiler/index.html</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Compilers</span></a> <a href="https://mastodon.social/tags/Incremental" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Incremental</span></a> <a href="https://mastodon.social/tags/Extensible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Extensible</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/Languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Languages</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a></p>
Lobsters<p>Compilers: Incrementally and Extensibly <a href="https://lobste.rs/s/sbuuzu" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/sbuuzu</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/ml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ml</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a><br><a href="https://okmij.org/ftp/tagless-final/Compiler/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">okmij.org/ftp/tagless-final/Co</span><span class="invisible">mpiler/index.html</span></a></p>
Compsci Weekly<p>where are the proofs!</p><p><a href="https://web.stanford.edu/class/archive/cs/cs143/cs143.1128/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.stanford.edu/class/archive</span><span class="invisible">/cs/cs143/cs143.1128/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://web.stanford.edu/class/archive/cs/cs143/cs143.1128/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://web.stanfor</span><span class="invisible">d.edu/class/archive/cs/cs143/cs143.1128/</span></a></p><p><a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/education" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>education</span></a></p>
Lobsters<p>A Simple Reply <a href="https://lobste.rs/s/ofklws" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/ofklws</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a><br><a href="https://github.com/SeaOfNodes/Simple/blob/main/ASimpleReply.md" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/SeaOfNodes/Simple/b</span><span class="invisible">lob/main/ASimpleReply.md</span></a></p>
vascorsd<p>This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.</p><p>--</p><p>Making OCaml Safe for Performance Engineering | Lobsters</p><p><a href="https://lobste.rs/s/ujvpdn/making_ocaml_safe_for_performance" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lobste.rs/s/ujvpdn/making_ocam</span><span class="invisible">l_safe_for_performance</span></a></p><p><a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Lobsters<p>Making OCaml Safe for Performance Engineering <a href="https://lobste.rs/s/ujvpdn" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/ujvpdn</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/slides" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>slides</span></a> <a href="https://mastodon.social/tags/video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>video</span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/ml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ml</span></a> <a href="https://mastodon.social/tags/performance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>performance</span></a><br><a href="https://youtube.com/watch?v=g3qd4zpm1LA" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtube.com/watch?v=g3qd4zpm1LA</span><span class="invisible"></span></a></p>
Lobsters<p>Prospero with Cranelift JIT and SIMD <a href="https://lobste.rs/s/n2ec5g" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/n2ec5g</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/performance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>performance</span></a> <a href="https://mastodon.social/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a><br><a href="https://whtwnd.com/aviva.gay/3ll5dbskg3v26" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">whtwnd.com/aviva.gay/3ll5dbskg</span><span class="invisible">3v26</span></a></p>
Lobsters<p>Fast Compilation or Fast Execution: Just Have Both <a href="https://lobste.rs/s/kvganp" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/kvganp</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/databases" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>databases</span></a><br><a href="https://cedardb.com/blog/compilation/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">cedardb.com/blog/compilation/</span><span class="invisible"></span></a></p>
Giona_2<p>My compiler's coming long nicely. If anybody's keeping track (and thank you for that) expect an alpha release version by Friday next week by the latest<br>As of now I've decided on the name "Unimal," short for "Universal Machine Language" to pay homage to older languages and because I gave Unimal an older syntax model.<br>The first official release will compile to a custom bytecode I hope to develop before then.</p><p>Have a good day everybody</p><p><a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rustlang</span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
SearchLive feeds
About