| --- Log opened Thu Jan 20 00:00:07 2022 |
| 00:46 | | Degi [Degi@Nightstar-2ebg1p.pool.telefonica.de] has joined #code |
| 01:05 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Connection closed] |
| 01:06 | | catalyst_ [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 01:06 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [Connection closed] |
| 01:35 | | SmithKurosaki [uid215460@Nightstar-e2nmdb.irccloud.com] has joined #code |
| 01:43 | | gizmore|2 [kvirc@Nightstar-svm2rp.dip0.t-ipconnect.de] has joined #code |
| 01:46 | | gizmore [kvirc@Nightstar-o8i7q5.dip0.t-ipconnect.de] has quit [Ping timeout: 121 seconds] |
| 02:06 | | ErikMesoy [Bruker@Nightstar-5dnqhq.bb.online.no] has quit [Connection closed] |
| 04:32 | | Degi_ [Degi@Nightstar-1beph2.pool.telefonica.de] has joined #code |
| 04:34 | | Degi [Degi@Nightstar-2ebg1p.pool.telefonica.de] has quit [Ping timeout: 121 seconds] |
| 04:34 | | Degi_ is now known as Degi |
| 04:48 | | Vorntastic [uid293981@Nightstar-phvupn.irccloud.com] has joined #code |
| 04:48 | | mode/#code [+qo Vorntastic Vorntastic] by ChanServ |
| 05:26 | <&[R]> | https://termbin.com/9c0m <-- does this seem funky to anyone else? |
| 05:26 | <&[R]> | "These functions pack or unpack an unsigned integer of the specified size." -- manpage for that ixp_pu64 and friends |
| 06:43 | | SmithKurosaki [uid215460@Nightstar-e2nmdb.irccloud.com] has quit [[NS] Quit: Connection closed for inactivity] |
| 06:50 | | abudhabi [abudhabi@Nightstar-jfs2pp.supernova.orange.pl] has joined #code |
| 08:25 | | ErikMesoy [Bruker@Nightstar-5dnqhq.bb.online.no] has joined #code |
| 08:25 | | mode/#code [+o ErikMesoy] by ChanServ |
| 09:31 | | mac [macdjord@Nightstar-re5.7if.45.45.IP] has joined #code |
| 09:31 | | mode/#code [+o mac] by ChanServ |
| 09:34 | | macdjord [macdjord@Nightstar-re5.7if.45.45.IP] has quit [Ping timeout: 121 seconds] |
| 10:02 | | catalyst [catalyst@Nightstar-bvm93c.dab.02.net] has joined #code |
| 10:04 | | catalyst_ [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [Ping timeout: 121 seconds] |
| 10:28 | | catalyst [catalyst@Nightstar-bvm93c.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 10:50 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 10:55 | | catalyst_ [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 10:55 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [Connection closed] |
| 11:45 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 12:13 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
| 12:13 | | mode/#code [+ao ToxicFrog ToxicFrog] by ChanServ |
| 15:26 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 15:26 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 16:08 | <@sshine> | does anyone know of a practical but sound abstraction for creating network protocols? I recall that making network nodes in Erlang was very enjoyable because of the combination of bit/byte-wise pattern matching/decoding, and the mailbox-style message parsing. |
| 16:09 | <@sshine> | from university I remember some formal models: CSP, pi-calculus (and its many extensions). |
| 16:11 | <@sshine> | I guess if I were just using <language X>'s typed channels (e.g. Go, Rust, Haskell), I might be able to express certain sync/async primitives. but it'd be even neater if somehow there was a hierarchy of types for expressing protocols generally (maybe narrowed to some practical extent). |
| 16:13 | <@sshine> | omg |
| 16:13 | <@sshine> | https://munksgaard.me/papers/laumann-munksgaard-larsen.pdf -- I think session types are a way. |
| 16:14 | <@sshine> | and I know that guy. :) |
| 16:38 | | Vorntastic [uid293981@Nightstar-phvupn.irccloud.com] has quit [[NS] Quit: Connection closed for inactivity] |
| 16:53 | | Emmy [Emmy@Nightstar-l49opt.fixed.kpn.net] has joined #code |
| 16:57 | <@sshine> | apparently they're not super useful for specifying network protocols yet. session types are mostly demonstrated to be good between threads of a program. |
| 17:07 | | Kindamoody[zZz] is now known as Kindamoody |
| 17:59 | | SmithKurosaki [uid215460@Nightstar-e2nmdb.irccloud.com] has joined #code |
| 22:45 | | Kindamoody is now known as Kindamoody[zZz] |
| 23:17 | | abudhabi [abudhabi@Nightstar-jfs2pp.supernova.orange.pl] has quit [Ping timeout: 121 seconds] |
| 23:52 | | Emmy [Emmy@Nightstar-l49opt.fixed.kpn.net] has quit [Ping timeout: 121 seconds] |
| --- Log closed Fri Jan 21 00:00:08 2022 |