mxs_

they have really tried hard to make the entire OS less usable. I'm not an "iToddler", I paid for a Unix workstation and will not have lower information density forced onto me.

I there a way to make this work with macOS hosts, preferably without having to install a Linux toolchain inside the VM for the language the agent will be writing code in?

Remote dev isn't very good in Zed, unfortunately. For some reason they chose not to apply the local editor's settings to a remote session by default. Every remote has its own config file. Questionable choice, imo

In their tech report, they say this is based on:

> "Our methods extend [28] through careful modifications to the data and computation to scale up learning."

[28] is Lou et al. (2023), the "Score Entropy Discrete Diffusion" (SEDD) model (https://arxiv.org/abs/2310.16834).

I wrote the first (as far as I can tell) independent from-scratch reimplementation of SEDD:

https://github.com/mstarodub/dllm

My goal was making it as clean and readable as possible. I also implemented the more complex denoising strategy they described (but didn't implement).

It runs on a single GPU in a few hours on a toy dataset.

obligatory: https://encrypted-tbn0.gstatic.com/images?q=tbn:ANd9GcQyItWM...

  Location: Munich, Germany
  Remote: Yes
  Willing to relocate: Yes
  Technologies: Haskell, OCaml, C, Python, Linux, Formal Methods, Compiler Design, Systems Programming
  Résumé/CV: https://starodub.net/static/cv_mxs.pdf
  Email: See CV

I'm a student of computer science and mathematics with one year of experience writing software in a professional setting, currently looking for internships or a part-time position. I've been passionate about programming and theory for over ten years, reading open source code and regularly writing programs / libraries for personal and academic use - Which I hope would translate to needing little to no hand-holding in your team. Should you think it useful, I have accumulated quite a bit of experience with administering Unix systems as well. Looking for any position where I get to solve difficult problems - I tend to enjoy those.

  Location: Munich, Germany
  Remote: Yes
  Willing to relocate: Yes
  Technologies: Haskell, OCaml, C, Python, Linux, Formal Methods, Compiler Design, Systems Programming
  Résumé/CV: https://starodub.net/static/cv_mxs.pdf
  Email: See CV

I'm a student of computer science and mathematics with one year of experience writing software in a professional setting, currently looking for internships or a part-time position. I've been passionate about programming and theory for over ten years, reading open source code and regularly writing programs / libraries for personal and academic use - Which I hope would translate to needing little to no hand-holding in your team. Should you think it useful, I have accumulated quite a bit of experience with administering Unix systems as well.

Looking for any position where I get to solve difficult problems - I tend to enjoy those.