Newest at the top
2024-10-09 14:26:35 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) alexherbo2 |
2024-10-09 14:26:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) (Remote host closed the connection) |
2024-10-09 14:18:55 +0200 | <hseg> | going through the botan devlog, I see reference to a crypto-schemes repo, but can't find it anywhere atm. Anyone know where it vanished off to? Also, I suppose the "cryptographic typeclasses" refered to are in the various Botan.*.Class modules? |
2024-10-09 14:17:28 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
2024-10-09 14:16:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) alexherbo2 |
2024-10-09 14:16:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) (Remote host closed the connection) |
2024-10-09 14:15:27 +0200 | <dminuoso> | The more information you embed into Haskell types, the more akward diagnostics become and quirkier your interfaces get. |
2024-10-09 14:14:46 +0200 | <dminuoso> | It beats having to either use type level tricks like in servant to attach actionable information to say handlers, or ramming it all into TH like in yesod. |
2024-10-09 14:14:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-09 14:13:52 +0200 | <dminuoso> | What I want is something like tags in go structs in Haskell, recoverable via generics or Data.Data.Data |
2024-10-09 14:13:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-09 14:11:22 +0200 | <dminuoso> | I mean yes, you can shoehorn anything in the type system. But you can also shoehorn runtime annotations into python and do type checking via symbolic execution. |
2024-10-09 14:10:28 +0200 | <dminuoso> | Hardly in Haskell. |
2024-10-09 14:10:26 +0200 | <dminuoso> | 10:14:23 kuribas │ Which would be possible in haskell or idris. |
2024-10-09 14:10:04 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
2024-10-09 14:07:59 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-09 14:02:17 +0200 | mari-estel | (~mari-este@2a02:3032:30b:ae0c:216:3eff:fe65:4eef) |
2024-10-09 14:02:14 +0200 | lieuwex | (~lieuwex@D964662A.static.ziggozakelijk.nl) (Quit: lieuwex) |
2024-10-09 14:02:12 +0200 | <tomsmeding> | kuribas: nope, sorry, but have fun! |
2024-10-09 14:02:11 +0200 | <lieuwex> | yes |
2024-10-09 14:02:07 +0200 | <tomsmeding> | I have a suspicion how you ended up here |
2024-10-09 14:02:00 +0200 | <tomsmeding> | lieuwex: hi |
2024-10-09 13:58:39 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-09 13:57:41 +0200 | <leah2> | i am :3 |
2024-10-09 13:56:04 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-09 13:55:27 +0200 | <kuribas> | tomsmeding: Are you going to munihac? |
2024-10-09 13:52:33 +0200 | <lieuwex> | tomsmeding: hi |
2024-10-09 13:51:54 +0200 | lieuwex | (~lieuwex@D964662A.static.ziggozakelijk.nl) |
2024-10-09 13:51:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-09 13:50:49 +0200 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) |
2024-10-09 13:50:35 +0200 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) (Quit: WeeChat 4.4.2) |
2024-10-09 13:48:49 +0200 | merijn | (~merijn@77.242.116.146) (Quit: leaving) |
2024-10-09 13:43:08 +0200 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) |
2024-10-09 13:42:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-09 13:37:25 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) alexherbo2 |
2024-10-09 13:36:16 +0200 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.5) |
2024-10-09 13:35:58 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
2024-10-09 13:35:30 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-09 13:34:58 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-10-09 13:28:46 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-09 13:24:45 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-09 13:24:14 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-09 13:20:37 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2024-10-09 13:19:04 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
2024-10-09 13:17:06 +0200 | gvg | (~dcd@user/gvg) gvg |
2024-10-09 13:16:20 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2024-10-09 13:15:58 +0200 | foul_owl | (~kerry@185.216.231.181) foul_owl |
2024-10-09 13:14:52 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-09 13:11:38 +0200 | arahael | (~arahael@user/arahael) arahael |
2024-10-09 13:10:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |