Pรฉter Bereczky, Dรกniel Horpรกcsi, Simon Thompson
A Formalisation of Core Erlang, a Concurrent Actor Language. (arXiv:2311.10482v1 [cs.PL])
http://arxiv.org/abs/2311.10482
20.11.2023 03:00 โ ๐ 0 ๐ 1 ๐ฌ 0 ๐ 0
๐ This account will be an unofficial hub for the Erlang/Elixir/BEAM community.
27.11.2023 18:38 โ ๐ 7 ๐ 0 ๐ฌ 0 ๐ 0
Keeping an open mind, sharing what's on my mind.
ThinkingElixir.com, podcast.ThinkingElixir.com, #ElixirLang
Software Engineer | Elixir | Ruby | SaaS
Startup Founder
๐ฑ๐ป๐ฉ๐ช๐ฎ๐น Highly religious developer believing in small code bases, fast tests and language-agnostic application architecture.
Consistency over intensity.
(Opinions are my own)
https://gabrielpereira.dev
http://mitko.ninja
Software developer keen on AI. I help ml models go to production. Still romanticising over the good old symbolic AI. Ontologies are the way.
Clairvoyant wannabe
Software Enthusiast with a fable for functional programming
Staff SRE @ honeycomb.io, Tech Book Author, Resilience in Software Foundation board member, Erlang Ecosystem Foundation co-founder, Resilience Engineering fan. SRE-not-sorry.
blog: https://ferd.ca
notes: https://ferd.ca/notes/
Ada Grace and Rivvy Katโs dad. Mollieโs hubby. Elixir/Erlang fan. Retro game collector. Build a little every day! (he/him)
Piano / Music / Programming / Radio / SDR / PNT / Retrotech / Hacking / C++ / Erlang / F# / GPGPU / FPGA / Amateur Radio
Unsatisfied with the status quo - Game Dev - #ElixirLang - Linux - Payment Processing -
https://shawnmc.cool
Software Engineer (Erlang/Elixir/Rust ๐). Erlang Ecosystem Foundation member. I like distributed systems, functional programming, property-based testing. he/him ๐
Elixir, Erlang, Rust, Ruby, and any other things developer.
Software engineer
Erlang-Elixir Developer but not by choice๐
Software engineer currently using Erlang.
FFXIV enjoyer
๐ฅ๏ธ Software Dev | ๐ซ๐ท Grenoble | โ๏ธ Building Erlang, Elixir | ๐ฃ Lanfeust313
โจCore Team at Gleam
๐ช Founder of Lustre Labs
๐ฉโ๐ป Frontend Consultant at ???? ๐
Iโm just a ๐ณ๏ธโโง๏ธ girl learning ๐ซ๐ท and vibing in ๐ง๐ช
Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
"the maintainer is a legitimate communist. i will not be supporting this language"
- some yt guy, 2024
I made @gleam.run and I do gymnastics (badly)
they/them or he/him. end fossil fuels. genocide is bad. ride a bike.
Senior backend engineer. Passionate about functional programming, concurrency models, decentralization, local-first development, self-hosting, etc.
Curious about Elixir? https://bsky.app/profile/nezteb.net/feed/aaaemobjvwlsq
