Jons Mostovojs @jonn@social.doma.dev

I was really pleasantly surprised by the quality of slides at this OOPSLA, particularly in the types and effects sessions! People have clearly put effort into visualizing complex metatheory, presenting concepts incrementally, and augmenting notation with color/animation (very laborious for authors, I know!)

@jonn i don't have the most fully fleshed out configuration atm since i'm using helix primarily, but there is a good list of configs using nixvim here: https://nix-community.github.io/nixvim/user-guide/config-examples.html

@jonn notably nvf would make what it looks like you are trying to do significantly easier: https://notashelf.github.io/nvf/index.xhtml#ch-languages

@jonn there is also https://github.com/NotAShelf/nvf for an easier ootb setup

@jonn have you tried using https://github.com/nix-community/nixvim? i don't have a crazy complicated config but you can see it here: https://github.com/uncenter/flake/blob/main/users/uncenter/programs/neovim.nix

🇬🇪 Georgian opposition demands new elections under international oversight at a large rally in Tbilisi.

President Salome Zurabishvili addressed the crowd: "You did not lose the election. Your voice was stolen, and they tried to steal your future. No one has the right to do that."

Thousands have already joined the protests.

The original REPL

I just realized this absolute banger of a UI, being in Russian, might have escaped wider audiences, so I translated it for you. Originally seen in Yandex.Plus

When you really need visual programming but all you have is text

Amazing. So looks like (in all Blink browsers on Windows since relatively recently) reading a user-selected File with a FileReader, and then putting the same file in FormData and sending it, crashes the tab.

I'll just work around this, can't be arsed to make a demo and figure out where to file the bug.

But yeah "file upload crashes browser" certainly aligns with the overall state of software these days.

The most annoying things about software development is that some tasks can be simultaneously very boring and very complex.

Coworker talking about Microsoft Active Directory, a while ago.

Them: And so this is what the system looks like before being added to AD.

Me: We call those systems BC.

No one laughed. Genius is not appreciated in its time.

#infosec

Sam Altman side by side with Aaron Swartz.

I can't stop thinking about it. One was prosecuted by the US for downloading copyrighted data from 1 source for noble purposes, and committed suicide to avoid prison. The other is widely celebrated for doing this on a much larger scale.

I’ll say it again for those at the back:

An ad-blocker is a security tool.