Viewing profile — adamnemecek

Dude the writing is on the wall, git had a good run but it's time for something else. Lore is also solid.

It is not a coincidence that the author's nickname, Boz, is so close to Bozo the Clown, only a clown could write this.

Is Ruby really where it's at right now?

> He thinks the time has come for an in-depth debate so the technology does not signal the end of higher education I hope it does.

Ok it is the same Modular, nvm.

If you are talking about the Qualcomm acquisition that was a different Modular.

Seems kinda underwhelming considering they raised like $400M.

You can export typst as latex.

> I haven't met anyone who knows Typst even exists. It was released in 2023 and became polished enough to use like last year. Yeah, adoption takes time but the technology is signif…

That is like saying "Ruby is not slow, you can write native extensions in C". No, Markdown is not extensible.

> It's cool sure, powerful also... but when anybody has access to both vector-based editor and raster-based editor ... but also tools that incorporate them, e.g. rich text editors …

The problem with markdown is that it's not extensible and that there is no spec. Essentially all READMEs would be better off using typst, they would make for better READMEs.

Typst is the most important open source project of the last 5 years. I predict a future where markdown and latex are largely replaced by typst. And I couldn't be more excited. It i…

This looks really good. I have been using git to store some PDF (tens of GBs) and git is really not well suited for this. No GFS is not a solution.

Almost exactly a year ago, I made the switch from generating LaTeX from markdown using pandoc to typst. Best decision I have ever made. I can actually write my own macros (both LaT…

It is a killer feature. It tells me I can easily compile and edit the code myself.

They are early versions, wait 4 years.

> For years, AI researchers have used math as a proving ground for their models. For years?

I feel like it's harder to hide malicious stuff in Rust build scripts.

Autodiff is preventing any meaningful discussion about safety, systems trained with autodiff cannot be made safe.

Here's the repo link https://github.com/NVlabs/cuda-oxide