| 17 Jun 2024 |
 slow | In reply to @startrek:matrix.org
Hello. The chat seemed pretty normal, sane, and nice here. I was just looking up elixir, which went to erlang, which landed me on gleam via winget... anyone have any thoughts for a curious passerby? Do you want to look at the papers about the type system of elixir vs the type system of erlang? | 05:25:08 |
|  indric joined the room. | 20:23:17 |
| 18 Jun 2024 |
 x x | Yes, please | 03:28:39 |
|  Wild rose joined the room. | 14:17:49 |
| 19 Jun 2024 |
| Wild rose changed their display name from memefi to war. | 05:27:34 |
| x x left the room. | 08:40:04 |
| 20 Jun 2024 |
|  Thomas Hardy left the room. | 09:32:44 |
|  Jordan H. (Damn Good Tech) left the room. | 20:19:22 |
| 24 Jun 2024 |
|  paolopolo joined the room. | 00:13:13 |
|  Volker joined the room. | 20:29:00 |
| Volker left the room. | 20:29:53 |
| 29 Jun 2024 |
|  jhuc joined the room. | 06:02:41 |
|  soumy joined the room. | 09:20:48 |
|  0x010 joined the room. | 19:32:45 |
| 30 Jun 2024 |
| Wild rose changed their display name from war to Wild rose. | 21:44:53 |
| 1 Jul 2024 |
 b00tr | https://github.com/livebook-dev/livebook/blob/v0.13/CHANGELOG.md | 17:56:29 |
| 4 Jul 2024 |
| slow | In reply to @startrek:matrix.org
Hello. The chat seemed pretty normal, sane, and nice here. I was just looking up elixir, which went to erlang, which landed me on gleam via winget... anyone have any thoughts for a curious passerby? Some nice talks about Erlang VS Elixir:
An Introduction to Erlang From behind the Trenches
https://youtu.be/CVJ5EYUrbqw
Erlang vs Elixir: On the Shoulder of Giants There’s Room for Larger Giants
https://youtu.be/qr6VAfCm_QE
Erlang & Elixir • Francesco Cesarini & Andrea Leopardi • GOTO 2023
https://youtu.be/VFpmWaQpUag
| 15:03:27 |
| slow | In reply to @startrek:matrix.org
Yes, please Elixir Type System Progress: https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/
A Proof Assistant Based Formalisation of Core Erlang: https://arxiv.org/abs/2005.11821
| 15:05:56 |
|  Malassi changed their display name from penguinboi to Malassi. | 20:12:17 |
| Malassi changed their display name from Malassi to %Emperor{name: "Malassi"}. | 21:25:12 |
| Malassi changed their display name from %Emperor{name: "Malassi"} to Malassi. | 21:25:41 |
| 6 Jul 2024 |
| b00tr | uhmm.. anybody know how to configure a self-hosted hex repo in livebook please? | 00:37:24 |
| 9 Jul 2024 |
|  derdiedas joined the room. | 19:46:48 |
| derdiedas left the room. | 20:36:06 |
| 12 Jul 2024 |
|  kryst4lliz3r set a profile picture. | 14:24:39 |
| 15 Jul 2024 |
|  pafco joined the room. | 12:19:53 |
| Wild rose | Redacted or Malformed Event | 20:48:04 |
| 16 Jul 2024 |
|  Nicd banned Wild rose (spammer). | 15:23:19 |
| 17 Jul 2024 |
|  lazygun left the room. | 16:19:15 |
| 26 Jul 2024 |
|  williamb1716 joined the room. | 22:47:51 |
