Julius Marozas

PhD @ Chalmers

Interested in Type Theory, Proof Assistants
🐋 Haskell 🐔 Agda ❄️ NixOS

he/him

[Augustas Macijauskas @augustasio]

Excited to announce the release of an open-source project I built with @CS_Laurynas. It was inspired by @karpathy insightful video on LLM tokenizers.

URL: https://t.co/S2CJudptwt
Video: https://t.co/w01uAlD419

[Denis Stoyanov 🐜 @xgrommx]

Dear haskell community, this morning fascist russia launched a massive rocket attack on Ukraine
A lot of rockets flew past my house (sometimes they went so low that it felt like they were going to hit the house)

[Joe @alpha_convert]

WINNER!

[Ukraine Explainers @uaexplainers]

If you google “How many civilians died in Ukraine?”, you’ll always see a figure of around 10,000 victims.

This UN’s official figure is wrong, and the UN admits it.

In today's visual explainer, let's see what's wrong with the 10K figure and how to fix this misinformation.

A 🧵

[SPLASH Conference @splashcon]

A reminder that SPLASH is powered by many volunteers. These photos are from the volunteer dinner where they got to know each other. off-hours.

[Talia Ringer 🕊🪬 @TaliaRinger]

I think the main reason that neural network architectures like transformers can be hard to understand, in retrospect, is because the standard in the field is to mush together optimizations for efficiency with the underlying semantics without distinguishing between the two

[Anton Gerashchenko @Gerashchenko_en]

Billboards appeared in temporarily occupied Ukrainian Melitopol advertising a children's military camp in North Korea.

[Taelin @VictorTaelin]

Finally wrote a README for HVM-Core!

https://t.co/Z8CrZe53MV

HVM-Core is a low-level compile target for high-level languages like Python and Haskell. It is then compiled to CUDA, letting us run basically *anything* on GPUs.

[Regina Bauer 🇪🇪🇺🇦 @petite_michelle]

"Must speak Russian!" - in Germany, a man threw an Ukrainian child from a bridge into a canal.

[Talia Ringer 🕊🪬 @TaliaRinger]

Terry Tao and I spoke over coffee for like two hours yesterday, in part about diversity in how people think about math. We both agreed that people who hit these walls early mostly don't learn the way of thinking about math that works for them. It's an educational failure

[Julius Marozas @JuliusMarozas]

@JulesJacobs5 @naasking FWIW the back (and forward) buttons do work in Firefox (and also Evince). I didn't even know this wasn't the case for Chrome.

[Nachi @modaltype]

My PhD thesis "Modular Normalization with Types" is now online, and I'll defend it in about 3 weeks: https://t.co/pnlqLOKnIB

[Kate @thingskatedid]

today i was down, so i walked three miles home, and on the way back i tried to find enough colourful things to make a rainbow. it's a good trick, it makes you look for small good things, and then you're glad when you find them.

thread-o-photos 👇🏻

[Matt Parsons @mattoflambda]

GHC 9.4 takes 9 minutes to compile our codebase

GHC 9.6 takes 3 minutes, with `-fprefer-byte-code` and `-fbyte-code-and-object-code`

absolutely incredible work

[Julius Marozas @JuliusMarozas]

@andrejbauer @plt_amy This looks very intriguing! Will the talk be recorded?

[Amélia Liao 🪄🧊 @plt_amy]

If any of this sounds like someone you'd want to have as a student, despite the cons, and getting around the lack of an undergrad degree is even the slightest bit feasible, please reach out (here or by email: me AT amelia DOT how). Thanks for reading; have a great weekend, y'all

[Julius Marozas @JuliusMarozas]

@GabriellaG439 IIRC I usually use:

nix shell --impure --expr '(import (builtins.getFlake "nixpkgs") {}).ghc.withPackages (pkgs: [ … ])'

But yeah, it's definitely more cumbersome than nix-shell for this. I wish you could set some flake as a default one that would get imported implicitly.

[Julius Marozas @JuliusMarozas]

@GuiEspada @alpha_convert @mvanier42 @jjcarett2 @TaliaRinger @anormalform Doom Emacs works nicely with evil and agda modes, it's quite easy to install. But you can also get a similar experience in VS Code with Vim and Agda extensions.

[Julius Marozas @JuliusMarozas]

@dazabani I've recently learned this from ArchWiki[1]: you can disable the update check by adding:

"SKIP_HOST_UPDATE": true

to ~/.config/discord/settings.json.

[1]: https://t.co/LstXBHacdd

[Lithuanian Government 🇱🇹 @LithuanianGovt]

In just 3,5 days people of Lithuania raised €5 million to buy Bayraktar drone for Ukraine in a crowdfunding initiative. Together we #StandWithUkraine! 🇱🇹🇺🇦