lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

54
active users

#erlang

2 posts2 participants0 posts today
fresco<p>A high-performance Erlang NIF (Native Implemented Function) for LMDB (Lightning Memory-Mapped Database) written in Rust.<br><a href="https://github.com/twilson63/elmdb-rs" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/twilson63/elmdb-rs</span><span class="invisible"></span></a><br><a href="https://mastodon.social/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a> <a href="https://mastodon.social/tags/LMDB" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LMDB</span></a></p>
Lars Wikman<p>How many Erlangs did you boot recently?</p><p>This is my personal best. So far.</p><p><a href="https://hachyderm.io/tags/elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>elixir</span></a> <a href="https://hachyderm.io/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>erlang</span></a><br><a href="https://underjord.io/booting-5000-erlangs-on-ampere-one.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">underjord.io/booting-5000-erla</span><span class="invisible">ngs-on-ampere-one.html</span></a></p>
Erik L. Arneson :emacs:<p><span class="h-card" translate="no"><a href="https://mastodon.online/@stephanetavera" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>stephanetavera</span></a></span> Programming languages? Good question! I used to spend a lot of time with <a href="https://fosstodon.org/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a>, and lately I've been working with <a href="https://fosstodon.org/tags/Clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Clojure</span></a> a lot. I've also been wanting to spend more time with <a href="https://fosstodon.org/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a> or <a href="https://fosstodon.org/tags/Elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Elixir</span></a>. Basically, I've been long enamored with functional programming, which doesn't go in Go.</p>
SirWumpus 👾🍁<p>Message in a bottle time again <a href="https://tilde.zone/tags/GetFediHired" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GetFediHired</span></a> (not a peep from anyone yet).</p><p>Growing desperate in search for (remote) software developer work in the <a href="https://tilde.zone/tags/Ottawa" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ottawa</span></a> <a href="https://tilde.zone/tags/Montreal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Montreal</span></a> areas. <a href="https://tilde.zone/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>C</span></a> C# <a href="https://tilde.zone/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a> <a href="https://tilde.zone/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Java</span></a> <a href="https://tilde.zone/tags/NodeJS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NodeJS</span></a> <a href="https://tilde.zone/tags/Shell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Shell</span></a> <a href="https://tilde.zone/tags/SQL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SQL</span></a> <a href="https://tilde.zone/tags/BSD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BSD</span></a> <a href="https://tilde.zone/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Linux</span></a> <a href="https://tilde.zone/tags/English" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>English</span></a> <a href="https://tilde.zone/tags/French" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>French</span></a> and more. Very versatile, adaptable, experienced.</p><p><a href="http://www.snert.com/resume/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">http://www.</span><span class="">snert.com/resume/</span><span class="invisible"></span></a></p><p>Hey! If its remote, its possible to work world wide too!</p>
thezerobit<p>If you feel any <a href="https://anticapitalist.party/tags/ImposterSyndrome" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ImposterSyndrome</span></a> as a programmer about calling yourself an "engineer", just start writing your backend server software in <a href="https://anticapitalist.party/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a>. Yes, you'll have to learn <a href="https://anticapitalist.party/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> syntax. Yes, you'll have to learn how to do fully functional programming with only immutable data structures. Yes, it is fully asynchronous and designed for reliability and fault tolerance. Yes, it is highly dynamic and can do things like update running software remotely with new code with zero downtime.</p>
SirWumpus 👾🍁<p><span class="h-card" translate="no"><a href="https://social.tchncs.de/@ariadna" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>ariadna</span></a></span> I have a bundle of Erlang projects I wrote as exercises while I taught myself the language. One of then is a conversion of my <a href="https://github.com/SirWumpus/ioccc-npdif" rel="nofollow noopener" target="_blank">IOCCC winner npdif</a> into <a href="https://github.com/SirWumpus/erlang-diff" rel="nofollow noopener" target="_blank">erlang-diff</a>. Lots of references about difference algorithms, so not only learn the language, but a complex subject too. </p><p><a href="https://tilde.zone/tags/c" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>c</span></a> <a href="https://tilde.zone/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>erlang</span></a> <a href="https://tilde.zone/tags/editdistance" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>editdistance</span></a> <a href="https://tilde.zone/tags/lcs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lcs</span></a> <a href="https://tilde.zone/tags/LongestCommonSubsequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LongestCommonSubsequence</span></a> <a href="https://tilde.zone/tags/diff" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>diff</span></a></p>
0x0<p>Here's the customary <a href="https://hachyderm.io/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a>: i'm into <a href="https://hachyderm.io/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>C</span></a> and tolerate C++ on a daily basis at work, i've also used others like java, kotlin, python, PHP, etc and am curious about <a href="https://hachyderm.io/tags/COBOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>COBOL</span></a>, <a href="https://hachyderm.io/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdaLanguage</span></a> and <a href="https://hachyderm.io/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>erlang</span></a>.</p><p>My dislike of jenkins is only surpassed by my hate of githubactions and everything MS-related. AI is not I, only A. I'm interested in <a href="https://hachyderm.io/tags/selfhosted" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>selfhosted</span></a> stuff but atm that's a VPS with some sites, which doesn't really count. For now <a href="https://hachyderm.io/tags/syncthing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>syncthing</span></a> is quite useful and <a href="https://hachyderm.io/tags/wireguard" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wireguard</span></a> is on the horizon once i reformat/reinstall my current <a href="https://hachyderm.io/tags/gentoo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gentoo</span></a> (i'll keep the root <a href="https://hachyderm.io/tags/ZFS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ZFS</span></a> aproach and am on the fence regarding <a href="https://hachyderm.io/tags/XFCE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>XFCE</span></a> or <a href="https://hachyderm.io/tags/KDE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KDE</span></a>), would be interesting to have a barebones <a href="https://hachyderm.io/tags/KVM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KVM</span></a>/#QEMU running all the stuff and i digress.</p><p>kthxbai\0</p>
BujakiewiczFranco<p>Programming languages groups be like:<br><a href="https://mastodon.social/tags/code" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>code</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/languages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>languages</span></a> <a href="https://mastodon.social/tags/anime" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>anime</span></a> <a href="https://mastodon.social/tags/bleach" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bleach</span></a> <a href="https://mastodon.social/tags/meme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>meme</span></a> <a href="https://mastodon.social/tags/memes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>memes</span></a> <a href="https://mastodon.social/tags/humor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>humor</span></a> <a href="https://mastodon.social/tags/java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>java</span></a> <a href="https://mastodon.social/tags/js" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>js</span></a> <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a> <a href="https://mastodon.social/tags/ruby" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ruby</span></a> <a href="https://mastodon.social/tags/csharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>csharp</span></a> <a href="https://mastodon.social/tags/kotlin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>kotlin</span></a> <a href="https://mastodon.social/tags/go" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>go</span></a> <a href="https://mastodon.social/tags/dart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dart</span></a> <a href="https://mastodon.social/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/scheme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>scheme</span></a> <a href="https://mastodon.social/tags/clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>clojure</span></a> <a href="https://mastodon.social/tags/nix" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nix</span></a> <a href="https://mastodon.social/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>erlang</span></a> <a href="https://mastodon.social/tags/elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>elixir</span></a> <a href="https://mastodon.social/tags/assembly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>assembly</span></a> <a href="https://mastodon.social/tags/c" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>c</span></a> <a href="https://mastodon.social/tags/c" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>c</span></a>++ <a href="https://mastodon.social/tags/rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rust</span></a> <a href="https://mastodon.social/tags/zig" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>zig</span></a></p>
Winford<p>So happy to see the project that I have been in love with and contributing to for the last several years getting so much attention.</p><p>If you work with ESP32 or RPi Pico devices and want a development platform built with fault tolerance and concurrency at it’s heart that allows you to write sophisticated applications with very little code AtomVM might be just what you are looking for.</p><p><a href="https://www.atomvm.net" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">atomvm.net</span><span class="invisible"></span></a></p><p><a href="https://github.com/atomvm/AtomVM" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/atomvm/AtomVM</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/atomvm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>atomvm</span></a> <a href="https://mastodon.social/tags/IoT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IoT</span></a> <a href="https://mastodon.social/tags/wasm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wasm</span></a> <a href="https://mastodon.social/tags/esp32" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>esp32</span></a> <a href="https://mastodon.social/tags/pico" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pico</span></a> <a href="https://mastodon.social/tags/unix" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>unix</span></a> <a href="https://mastodon.social/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a> <a href="https://mastodon.social/tags/Elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Elixir</span></a></p>
Yuna<p>Is Node.js the future of backend development, or just a beautifully wrapped grenade?</p><p>Lately, I see more and more backend systems, yes, even monoliths, built entirely in Node.js, sometimes with server-side rendering layered on top. These are not toy projects. These are services touching sensitive PII data, sometimes in regulated industries.</p><p>When I first used Node.js years ago, I remember:<br> • Security concepts were… let’s say aspirational.<br> • Licensing hell due to questionable npm dependencies.<br> • Tests were flaky, with mocking turning into dark rituals.<br> • Behavior of libraries changed weekly like socks, but more dangerous.<br> • Internet required to run a “local” build. How comforting.</p><p>Even with TypeScript, it all melts back into JavaScript at runtime, a language so flexible it can hang itself.</p><p>Sure, SSR and monoliths can simplify architecture. But they also widen the attack surface, especially when:<br> • The backend is non-compiled.<br> • Every endpoint is a potential open door.<br> • The system needs Node + a fleet of dependencies + a container + prayer just to run.</p><p>Compare that to a compiled, stateless binary that:<br> • Runs in a scratch container.<br> • Requires zero runtime dependencies.<br> • Has encryption at rest, in transit, and ideally per-user.<br> • Can be observed, scaled, audited, stateless and destroyed with precision.</p><p>I’ve shipped frontends that are static, CDN-delivered, secure by design, and light enough to fit on a floppy disk. By running them with Node, I’m loading gigabytes of unknown tooling to render “Hello, user”.</p><p>So I wonder:<br>Is this the future? Or am I just… old?</p><p>Are we replacing mature, scalable architectures with serverless spaghetti and 12-factor mayhem because “it works on Vercel”?</p><p>Tell me how you build secure, observable, compliant systems in Node.js.<br>Genuinely curious.<br>Mildly terrified and maybe old.</p><p><a href="https://hachyderm.io/tags/NodeJS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NodeJS</span></a> <a href="https://hachyderm.io/tags/BackendSecurity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BackendSecurity</span></a> <a href="https://hachyderm.io/tags/SecureCoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SecureCoding</span></a> <a href="https://hachyderm.io/tags/PII" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PII</span></a> <a href="https://hachyderm.io/tags/Compliance" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Compliance</span></a> <a href="https://hachyderm.io/tags/SoftwareArchitecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareArchitecture</span></a> <a href="https://hachyderm.io/tags/ServerSideRendering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ServerSideRendering</span></a> <a href="https://hachyderm.io/tags/TypeScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeScript</span></a> <a href="https://hachyderm.io/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Java</span></a> <a href="https://hachyderm.io/tags/Kotlin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Kotlin</span></a> <a href="https://hachyderm.io/tags/Golang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Golang</span></a> <a href="https://hachyderm.io/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a> <a href="https://hachyderm.io/tags/Ruby" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ruby</span></a> <a href="https://hachyderm.io/tags/Scalability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Scalability</span></a> <a href="https://hachyderm.io/tags/Observability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Observability</span></a> <a href="https://hachyderm.io/tags/DevSecOps" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DevSecOps</span></a> <a href="https://hachyderm.io/tags/LegacyVsModern" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LegacyVsModern</span></a> <a href="https://hachyderm.io/tags/SecureByDesign" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SecureByDesign</span></a> <a href="https://hachyderm.io/tags/CompiledLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CompiledLanguages</span></a> <a href="https://hachyderm.io/tags/CloudArchitecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CloudArchitecture</span></a> <a href="https://hachyderm.io/tags/StatelessDesign" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>StatelessDesign</span></a> <a href="https://hachyderm.io/tags/SecurityTheatre" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SecurityTheatre</span></a> <a href="https://hachyderm.io/tags/TechSatire" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TechSatire</span></a> <a href="https://hachyderm.io/tags/LinkedInTechRant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LinkedInTechRant</span></a></p>
Wulfy<p><span class="h-card" translate="no"><a href="https://mastodon.social/@nixCraft" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>nixCraft</span></a></span> </p><p>Step 5. Gods upon ascention, code in <a href="https://infosec.exchange/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a></p>
Nicolas Martyanoff<p>Having packages/modules be defined as single files is a fundamental programming language design error. <a href="https://fosstodon.org/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a>, but also <a href="https://fosstodon.org/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a>, <a href="https://fosstodon.org/tags/Scheme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Scheme</span></a>, the misguided package-inferred-system extension for <a href="https://fosstodon.org/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CommonLisp</span></a>… Because no one wants a 10k lines file mixing dozens of concepts, you end up with a multitude of small packages for no good reason. </p><p>At least in Erlang you can just use whatever was loaded without manually importing every single module you need everywhere, but Python is as usual the worst.</p>
Wesley Moore<p>TIL about AtomVM: <a href="https://github.com/atomvm/AtomVM" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/atomvm/AtomVM</span><span class="invisible"></span></a></p><p>&gt; AtomVM implements from scratch a minimal Erlang VM that supports a subset of ErlangVM features and that is able to run unmodified BEAM binaries on really small systems like MCUs.</p><p>Found via the Gleam survey results <a href="https://gleam.run/news/developer-survey-2024-results/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gleam.run/news/developer-surve</span><span class="invisible">y-2024-results/</span></a></p><p>I'll have to try this out as a smaller runtime than node.js and BEAM for Gleam.</p><p><a href="https://mastodon.decentralised.social/tags/Gleam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Gleam</span></a> <a href="https://mastodon.decentralised.social/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a></p>
José A. Alonso<p>Readings shared February 1, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/02/01-readings_shared_02-01-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/02/01-readings_shared_02-01-25</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Z3</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a></p>
José A. Alonso<p>A formal semantics of Core Erlang. ~ Ibrahim Abdelrahman Mohamedi. <a href="https://www.diva-portal.org/smash/get/diva2:1932311/FULLTEXT01.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">diva-portal.org/smash/get/diva</span><span class="invisible">2:1932311/FULLTEXT01.pdf</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a></p>
PositivDenken 🤯<p>Haven't done this in a while, I just connected my IDE directly to my running erlang node and implemented a new feature that got deployed and tested on the running node. No fucking ten hours CI cycles with twenty failed docker builds in between, just “save and ship”. <a href="https://mastodon.social/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>erlang</span></a> <a href="https://mastodon.social/tags/dontAtMe" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dontAtMe</span></a></p>
Erlang Ecosystem FoundationJoin our community across platforms!<br><br>🦋 Bluesky: <a href="https://bsky.app/profile/theerlef.bsky.social" rel="nofollow noopener" target="_blank">https://bsky.app/profile/theerlef.bsky.social</a> <br><br>🗯️ X: <a href="https://x.com/TheErlef" rel="nofollow noopener" target="_blank">https://x.com/TheErlef</a> <br><br>🐘 Mastodon: <a href="https://genserver.social/TheErlef" rel="nofollow noopener" target="_blank">https://genserver.social/TheErlef</a> <br><br>🔗 LinkedIn: <a href="https://www.linkedin.com/company/erlef/" rel="nofollow noopener" target="_blank">https://www.linkedin.com/company/erlef/</a> <br><br>🎥 YouTube: <a href="https://www.youtube.com/@TheErlef" rel="nofollow noopener" target="_blank">https://www.youtube.com/@TheErlef</a> <br><br>Let's keep growing! 🌱<br><br><a class="hashtag" href="https://genserver.social/tag/erlang" rel="nofollow noopener" target="_blank">#Erlang</a> <a class="hashtag" href="https://genserver.social/tag/elixirlang" rel="nofollow noopener" target="_blank">#Elixirlang</a> <a class="hashtag" href="https://genserver.social/tag/gleam" rel="nofollow noopener" target="_blank">#Gleam</a>
fc<p>For a while now I've been working on libraries to improve the developer experience when building web applications in Erlang. Today I am releasing a blog post that shows how you can use those libraries to make a basic Todo app.</p><p><a href="https://daemon.pizza/posts/erlang-todo/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">daemon.pizza/posts/erlang-todo</span><span class="invisible">/</span></a></p><p><a href="https://mastodon.bsd.cafe/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>erlang</span></a></p>
洪 民憙 (Hong Minhee)<p>If I had to program in the <a href="https://fosstodon.org/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a> runtime, I would use <a href="https://fosstodon.org/tags/Gleam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Gleam</span></a>, which is a statically typed language, rather than Erlang or <a href="https://fosstodon.org/tags/Elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Elixir</span></a>, which are dynamically typed languages.</p><p><a href="https://gleam.run/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">gleam.run/</span><span class="invisible"></span></a></p>
Code & Supply<p>We've got a bunch of pennants remaining!</p><p><a href="https://codeandsupply.co/store" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">codeandsupply.co/store</span><span class="invisible"></span></a></p><p>Make our next week interesting, buy a pennant (or shirt or beanie!) today and help Code &amp; Supply generate revenue for our 2025 operations. </p><p>Merch sales will be a vital part of our 2025 revenue with our coworking space closing at the end of the year.</p><p><a href="https://hachyderm.io/tags/BlackFriday" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BlackFriday</span></a> <a href="https://hachyderm.io/tags/Ruby" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ruby</span></a> <a href="https://hachyderm.io/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://hachyderm.io/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a> <a href="https://hachyderm.io/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</span></a> <a href="https://hachyderm.io/tags/Vim" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Vim</span></a></p>