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
• Drawing boxes and writing words at xyflow
• Core Team at Gleam
• Author of Lustre
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
