Logs: liberachat/#haskell
| 2026-02-24 11:17:08 | → | xdminsy joins (~xdminsy@112.10.231.192) |
| 2026-02-24 11:17:21 | × | xdminsy quits (~xdminsy@112.10.231.192) (Client Quit) |
| 2026-02-24 11:17:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-24 11:17:52 | → | xdminsy joins (~xdminsy@112.10.231.192) |
| 2026-02-24 11:19:33 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2026-02-24 11:19:40 | × | terrorjack quits (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-24 11:26:37 | → | wickedjargon joins (~user@2605:8d80:5430:ec04:8f71:3db2:1c1a:13ef) |
| 2026-02-24 11:34:05 | → | fp joins (~Thunderbi@130.233.70.214) |
| 2026-02-24 11:36:53 | × | wickedjargon quits (~user@2605:8d80:5430:ec04:8f71:3db2:1c1a:13ef) (Remote host closed the connection) |
| 2026-02-24 11:38:45 | → | wickedjargon joins (~user@2605:8d80:5430:ec04:8f71:3db2:1c1a:13ef) |
| 2026-02-24 11:40:22 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-02-24 11:47:32 | × | xdminsy quits (~xdminsy@112.10.231.192) (Quit: Konversation terminated!) |
| 2026-02-24 11:52:54 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-24 11:54:53 | <gentauro> | tomsmeding: have you road the functional pearl from Alejandro Russo on how to use `lattices` to secure apps? |
| 2026-02-24 11:54:58 | <gentauro> | it's a pretty good one !!! |
| 2026-02-24 11:55:50 | gentauro | I actually live coded an implementation for a Spanish audience (HackMadrid / HaskellMAD). Nobody understood anything xD |
| 2026-02-24 11:58:10 | gentauro | for Spanish speaking peeps -> https://www.youtube.com/watch?v=iU5dfVRREUo&t=7806s (02:10:06 - 03:11:59) |
| 2026-02-24 12:02:13 | gentauro | merijn and tomsmeding perhaps that talk will provide "some" endorsment for Hackage? xD |
| 2026-02-24 12:08:01 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 2026-02-24 12:08:35 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2026-02-24 12:08:53 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-02-24 12:21:19 | × | Enrico63 quits (~Enrico63@host-79-19-156-232.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-24 12:30:32 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-24 12:30:32 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-24 12:30:32 | → | haritz joins (~hrtz@user/haritz) |
| 2026-02-24 12:45:05 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 2026-02-24 12:45:58 | → | Taneb joins (~username@host-87-11-133-28.retail.telecomitalia.it) |
| 2026-02-24 12:46:25 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Client Quit) |
| 2026-02-24 12:49:08 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-24 12:56:10 | × | wickedjargon quits (~user@2605:8d80:5430:ec04:8f71:3db2:1c1a:13ef) (Remote host closed the connection) |
| 2026-02-24 12:58:45 | × | AlexNoo quits (~AlexNoo@178.34.163.162) (Quit: Leaving) |
| 2026-02-24 12:59:15 | × | Alex_delenda_est quits (~al_test@178.34.163.162) (Quit: ;-) |
| 2026-02-24 12:59:40 | × | AlexZenon quits (~alzenon@178.34.163.162) (Quit: ;-) |
| 2026-02-24 13:06:31 | → | qqq joins (~qqq@185.54.22.240) |
| 2026-02-24 13:17:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-24 13:20:39 | → | AlexNoo joins (~AlexNoo@178.34.163.162) |
| 2026-02-24 13:21:53 | × | fp quits (~Thunderbi@130.233.70.214) (Ping timeout: 265 seconds) |
| 2026-02-24 13:22:27 | → | AlexZenon joins (~alzenon@178.34.163.162) |
| 2026-02-24 13:22:44 | → | xff0x joins (~xff0x@ai083101.d.east.v6connect.net) |
| 2026-02-24 13:26:51 | × | AlexZenon quits (~alzenon@178.34.163.162) (Ping timeout: 255 seconds) |
| 2026-02-24 13:26:58 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-02-24 13:31:28 | → | AlexZenon joins (~alzenon@178.34.163.162) |
| 2026-02-24 13:34:37 | → | Alex_test_ joins (~al_test@178.34.163.162) |
| 2026-02-24 13:38:06 | × | AlexZenon quits (~alzenon@178.34.163.162) (Ping timeout: 255 seconds) |
| 2026-02-24 13:38:33 | → | fp joins (~Thunderbi@130.233.70.214) |
| 2026-02-24 13:41:18 | Alex_test_ | is now known as Alex_delenda_est |
| 2026-02-24 13:43:32 | → | AlexZenon joins (~alzenon@178.34.163.162) |
| 2026-02-24 13:43:53 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 2026-02-24 13:44:24 | → | troydm joins (~troydm@user/troydm) |
| 2026-02-24 13:44:54 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2026-02-24 13:50:20 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-02-24 13:51:04 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 2026-02-24 13:56:00 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-02-24 14:01:45 | → | castan joins (~castan@2a02:2f0f:8210:d800:f4b5:9670:6ef1:55e) |
| 2026-02-24 14:02:13 | × | castan quits (~castan@2a02:2f0f:8210:d800:f4b5:9670:6ef1:55e) (Client Quit) |
| 2026-02-24 14:04:58 | <tomsmeding> | gentauro: I'm pretty sure I have not read that pearl |
| 2026-02-24 14:05:34 | Googulator78 | is now known as Googulator |
| 2026-02-24 14:07:32 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 2026-02-24 14:20:00 | × | philopsos1 quits (~caecilius@user/philopsos) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-02-24 14:26:15 | × | chenjf quits (~chenjf@68.64.178.54) (Ping timeout: 255 seconds) |
| 2026-02-24 14:29:37 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-24 14:29:53 | → | califax joins (~califax@user/califx) |
| 2026-02-24 14:33:06 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 2026-02-24 14:35:13 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 2026-02-24 14:40:43 | → | comerijn joins (~merijn@77.242.116.146) |
| 2026-02-24 14:43:21 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-02-24 14:46:03 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2026-02-24 14:49:56 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-02-24 14:52:25 | → | tromp joins (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) |
| 2026-02-24 14:59:10 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Quit: CiaoSen) |
| 2026-02-24 15:02:08 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 2026-02-24 15:03:53 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-02-24 15:04:33 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2026-02-24 15:06:38 | × | Taneb quits (~username@host-87-11-133-28.retail.telecomitalia.it) (Remote host closed the connection) |
| 2026-02-24 15:15:17 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2026-02-24 15:16:04 | → | jtnuttall joins (~jeremy@user/jeremyn) |
| 2026-02-24 15:17:08 | <gentauro> | tomsmeding: let me see if I can find it (Chalmers moved their stuff when they made the new website) |
| 2026-02-24 15:18:18 | <gentauro> | tomsmeding: there you go -> https://www.cse.chalmers.se/~russo/publications_files/pearl-russo.pdf |
| 2026-02-24 15:20:35 | × | rainbyte quits (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2026-02-24 15:20:38 | <tomsmeding> | thanks, will have a look :) |
| 2026-02-24 15:20:47 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-02-24 15:22:05 | <gentauro> | tomsmeding: there is also the ICFP 2015 Vancouver: https://www.youtube.com/watch?v=K6Uf61U0fvo (but it's recorded with a toaster …) :-\ |
| 2026-02-24 15:22:42 | gentauro | less than 19 min, if you ears can handle the toaster A/V |
| 2026-02-24 15:24:14 | × | fp quits (~Thunderbi@130.233.70.214) (Ping timeout: 256 seconds) |
| 2026-02-24 15:30:50 | × | tromp quits (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-24 15:31:30 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-02-24 15:33:06 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-02-24 15:40:03 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-02-24 15:40:17 | → | emaczen joins (~user@user/emaczen) |
| 2026-02-24 15:44:41 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-02-24 15:46:48 | × | chenjf quits (~chenjf@68.64.178.54) (Ping timeout: 255 seconds) |
| 2026-02-24 15:52:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-02-24 15:52:55 | × | traxex quits (traxex@user/traxex) (Ping timeout: 272 seconds) |
| 2026-02-24 15:54:40 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Client Quit) |
| 2026-02-24 15:54:52 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-02-24 15:54:53 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Client Quit) |
| 2026-02-24 16:07:00 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds) |
| 2026-02-24 16:10:49 | → | califax_ joins (~califax@user/califx) |
| 2026-02-24 16:10:54 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-24 16:11:17 | × | Square2 quits (~Square4@user/square) (Ping timeout: 268 seconds) |
All times are in UTC.