Elektrine lite

← Feed

amelia

miado@discuss.systems

<p>🏳️‍⚧️ (&lt;insert demi-flag here lol&gt;) [she/her] <br />🇨🇭🇵🇹🇪🇺</p><p>Computer nerd forever searching for a home<br />Mother of chatons 😺😼</p><p>PhD Candidate working on Hardware Compilers <br />--&gt; this is a hybrid academic/silly personal account</p><p>Currently based in Paris 🥖🥐🇫🇷<br />Currently employed by Princeton and YosysHQ</p><p>matrix for DMs: <span class="h-card" translate="no"><a href="https://discuss.systems/@miado" class="u-url mention">@<span>miado</span></a></span>:fossi-chat.org</p><p>Cover photo is the lake I grew up on, nice to look at but I&#39;m glad I left.</p><p><a href="https://discuss.systems/tags/nobot" class="mention hashtag" rel="tag">#<span>nobot</span></a> <a href="https://discuss.systems/tags/noai" class="mention hashtag" rel="tag">#<span>noai</span></a></p>

Posts

  • View post

    I want to replay death stranding so bad now...

  • View post

    dessert of the day at the local sandwich shop is a Tiramisu so I guess it&amp;#39;s #tiramisufriday

  • View post

    The New Jersey Programming Languages and Systems Seminar&amp;#39;s (NJPLS) date has been set for November 13th at Jane Street&amp;#39;s office in Manhattan! Registration is free as usual and talk proposals are open until October 20th! Please consider signing up if you feel like making the trip and if possible propose a talk, it&amp;#39;s a very nice community and all talks related to PL or PL-y systems are welcome! As usual the notion of &amp;quot;new jersey&amp;quot; is a vibe more than a speci...

  • View post

    does anyone know if the it&amp;#39;s easy to get covid boosters in the UK as a tourist? They&amp;#39;re so hard to get in France, and I&amp;#39;ll be in the UK next weekend so might as well try and get one there

  • View post

    ugh why is flying to Vienna twice the price as flying to Paris, seriously Québec your franco-favoritism is showing...

  • View post

    we should really move njpls to be hybrid, I have so much fomo now that I&amp;#39;m missing it

  • View post

    oh btw Canada is really amazing (at least Quebec is) it&amp;#39;s like most things I hated about society just aren&amp;#39;t a thing here

  • View post

    going to Ottawa today, excited to do some Canadian tourism 🇨🇦 Any of the Canadians here have any recommendations for things to see, food to eat, or coffee to drink?

  • View post

    ottawa has the most insane bus system

  • View post

    holy smokes Ottawa is expensive (compared to mtl)

  • View post

    Transit card acquired!

  • View post

    anyone here going to LATTE and/or APLOS this year? I&amp;#39;m guessing @javathunderman and potentially @thezoq2 ? I would also be fun to hang out with anyone here who&amp;#39;s in Pittsburgh for other reasons too 😅

  • View post

    We will be presenting at LATTE in a couple of weeks during ASPLOS in Pittsburgh! Our talk will be on our ongoing work on porting the @ClashHDL compiler to CIRCT. It&amp;#39;s a super fun project where we get to explore some neat optimizations and cool IR design. If you&amp;#39;re interested in learning more about it you can read our short LATTE paper here: https://www.cs.princeton.edu/~ad4048/pdfs/latte-2026-submission-14.pdf