Ilya Klyuchnikov

Don't miss the exciting talks by @WhatsApp speakers at #CodeBEAM Lite in Stockholm! Andreas Löscher will demo a new build system, and Ilya Klyuchnikov will share their journey of adopting static typing. codebeamstockholm.com @lambdamix #WeBeamTogether @_The_George_ #WhatsApp

Another great project released by our team. This time focusing on hardening #Erlang compiler, VM, and other tooling, with almost a 100 bugs found so far #myelixirstatus

This is the first lexer I've ever seen written in @roc_lang! 😍 (It's a lexer for a different programming language; the plan remains to never self-host the Roc compiler itself.) github.com/Billzabob/roc-…

We are happy to announce the fourth Infer Practitioners Workshop, co-located with #PLDI2023🥳 Submit your work on the Infer static analysis platform by April 28th, 2023. Workshop date June 18th. Details👇 pldi23.sigplan.org/home/infer-2023

Netflix secret codes

If you’d like to hear more about our type checker for Erlang - eqWAlizer, my teammate @lambdamix recorded an episode with @BeamRadio1. Give it a listen! beamrad.io/35 #myerlangstatus #myelixirstatus

hugokant.com - the music of the weekend

Looking for compiler engineers to shape the future of Scala. contributors.scala-lang.org/t/looking-for-…

@donaldball @josevalim @spawnfest @flixlang It challenges ETS (in a good sense)

@josevalim @spawnfest @flixlang datomic-like think on top of ETS? docs.datomic.com/on-prem/query/…

This one is really interesting. More to come :)

Check out our paper - to be presented at @icfp_conference - on static analysis for @WhatsApp's Erlang codebase using @Meta's @fbinfer tool: research.facebook.com/publications/i…

Experimental support for eqWAlizer diagnostics is now available in Erlang LS: github.com/erlang-ls/erla… Go and type-check your Erlang code! 🐛🐞🦟

@greyblake @michalmuskala Gleam 💜 Erlang 💜 EqWAlizer

It went live this morning - github.com/WhatsApp/eqwal… We will add documentation this month. More info in icfp22.sigplan.org/details/erlang… in September.

IntelliJ Scala plugin 2022.2 is here ✨! - Better Scala 3 support - Compiler-based highlighting for Scala - New Scala inspections - Safe Delete is now available for type parameters - Splitting a comma-separated list of elements into separate lines 👉 blog.jetbrains.com/scala/2022/07/…

@ilyasergey IIUC, this paper is a mistake

The start of the second paragraph of every PL paper ever published.

⚡️Эстония запретила въезд в страну Жириновскому