| 5 Jan 2024 |
 asimplebeginner | I am slowly becoming a haskeller by the day ✅ | 11:21:08 |
| asimplebeginner | (i forgot most useful rust syntax) | 11:21:18 |
 pitust (qlx) | ocaml has these tools maybe? | 11:21:21 |
| pitust (qlx) | idk | 11:21:26 |
| asimplebeginner | yeah i guess it's all safeguards | 11:39:57 |
| asimplebeginner | regardless it's basically separation of concerns but for proving something is safe | 11:40:14 |
| asimplebeginner | if it's parts are safe and its process is safe, it's safe | 11:40:24 |
| 6 Jan 2024 |
| asimplebeginner | Redacted or Malformed Event | 00:25:43 |
 MrSnoot | SeL4 | 04:58:11 |
|  jay.1468 joined the room. | 20:57:38 |
| 9 Jan 2024 |
 rvene_nngao_igve_uyo_pu | Hello world | 12:20:24 |
| rvene_nngao_igve_uyo_pu changed their profile picture. | 12:20:24 |
|  mythril382 changed their profile picture. | 14:05:41 |
| 11 Jan 2024 |
 iamgoneok | Redacted or Malformed Event | 23:05:50 |
| iamgoneok changed their display name from one_shot_man#3428 to iamgoneok. | 23:05:50 |
| 12 Jan 2024 |
 bendn | why should i? | 09:07:46 |
 jumpsareop | No | 11:02:51 |
| jumpsareop | It's just a bunch of nerds | 11:02:56 |
| jumpsareop | Nerds! | 11:03:02 |
 router | iamgoneok that rule refers to this server, not invite links | 11:42:15 |
| router | * iamgoneok that rule refers to this server, not invite links to rando discords | 11:42:26 |
| router | this is still rule 2 | 11:42:31 |
| asimplebeginner | by observation, you are also a (unix) nerd | 13:02:33 |
| 12 Feb 2024 |
|  navy joined the room. | 09:19:12 |
| 1 Apr 2024 |
|  Marko Zajc changed their display name from mzajc to mzajc (@mzajc:kde.org). | 17:22:04 |
| Marko Zajc changed their display name from mzajc (@mzajc:kde.org) to Marko Zajc. | 17:24:04 |
| 13 Apr 2024 |
 router | real | 11:21:07 |
| router | bridge death | 11:21:15 |
 deltanedas | yes you have to rebridge | 17:50:53 |
| deltanedas | due to the t2bot incident | 17:50:58 |
