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 |
@startrek:matrix.org | Yes, please | 03:28:39 |
| @memefi:matrix.org joined the room. | 14:17:49 |
19 Jun 2024 |
| @memefi:matrix.org changed their display name from memefi to war. | 05:27:34 |
| @startrek:matrix.org left the room. | 08:40:04 |
20 Jun 2024 |
| @hardy_tom:matrix.org left the room. | 09:32:44 |
| @damn_good_tech:matrix.org left the room. | 20:19:22 |
24 Jun 2024 |
| paolopolo joined the room. | 00:13:13 |
| @vlkrs:matrix.org joined the room. | 20:29:00 |
| @vlkrs:matrix.org left the room. | 20:29:53 |
29 Jun 2024 |
| @jhuc:matrix.org joined the room. | 06:02:41 |
| soumy joined the room. | 09:20:48 |
| 0x010 joined the room. | 19:32:45 |
30 Jun 2024 |
| @memefi:matrix.org 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:matrix.org joined the room. | 19:46:48 |
| @derdiedas:matrix.org 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 |
@memefi:matrix.org | Redacted or Malformed Event | 20:48:04 |
16 Jul 2024 |
| Nicd banned @memefi:matrix.org (spammer). | 15:23:19 |
17 Jul 2024 |
| @lazygun:matrix.org left the room. | 16:19:15 |
26 Jul 2024 |
| williamb1716 joined the room. | 22:47:51 |