| 2024-01-31 00:03:05 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-31 00:03:53 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-01-31 00:04:10 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e728886c6af3a169d6ea.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-01-31 00:08:10 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-31 00:10:50 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-01-31 00:11:33 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-01-31 00:20:09 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-31 00:20:18 +0100 | Buliarous | (~gypsydang@46.232.210.139) |
| 2024-01-31 00:24:33 +0100 | ubert | (~Thunderbi@p200300ecdf1f173c03fd09da48ef3e71.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-31 00:29:58 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 276 seconds) |
| 2024-01-31 00:33:58 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-31 00:39:19 +0100 | mud | (~mud@user/kadoban) |
| 2024-01-31 00:39:40 +0100 | gdr3941 | (~user@2600:1700:4770:3bc0::12) |
| 2024-01-31 00:43:18 +0100 | tomku | (~tomku@user/tomku) |
| 2024-01-31 00:46:23 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-01-31 00:46:49 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-31 00:48:32 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2024-01-31 00:52:57 +0100 | iakov | (~quassel@2a02:8106:244:b000:c4b2:cd08:c7cf:1672) (https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-01-31 00:55:03 +0100 | Xe | (~cadey@perl/impostor/xe) (Quit: WeeChat 4.1.2) |
| 2024-01-31 00:56:52 +0100 | Xe | (~cadey@perl/impostor/xe) |
| 2024-01-31 01:03:05 +0100 | <jackdk> | EvanR: I use https://int10h.org/oldschool-pc-fonts/fontlist/font?ibm_vga_9x16 as my terminal and emacs font. It gives many people flashbacks to "my computer's misbehaving and I've been reduced to flipping BIOS settings to recover it" (hi Axman6) |
| 2024-01-31 01:04:54 +0100 | Square | (~Square@user/square) |
| 2024-01-31 01:04:54 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 268 seconds) |
| 2024-01-31 01:05:40 +0100 | <EvanR> | yes |
| 2024-01-31 01:07:19 +0100 | <c_wraith> | those classic fonts were *really* good |
| 2024-01-31 01:07:38 +0100 | <c_wraith> | like, I'm astounded how bad some modern fonts are in comparison. Ones that people even seem to think are good. |
| 2024-01-31 01:08:09 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-31 01:08:27 +0100 | <EvanR> | like, the ones that come bundled with linux distros |
| 2024-01-31 01:08:33 +0100 | <EvanR> | how... why... |
| 2024-01-31 01:09:07 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-31 01:10:32 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-01-31 01:12:36 +0100 | <duncan> | sun5x11 or nought |
| 2024-01-31 01:12:55 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-31 01:13:18 +0100 | <duncan> | https://computernewb.com/w/images/cn_wiki/8/83/Sparc1-SunOS.png |
| 2024-01-31 01:14:04 +0100 | <geekosaur> | https://blog.adafruit.com/2019/03/29/raster-crt-typography-the-glyphs-drawn-by-dec-vt100-and-vt220… |
| 2024-01-31 01:14:30 +0100 | <geekosaur> | although that's too recent to be the font I used to use back in the day |
| 2024-01-31 01:15:41 +0100 | <geekosaur> | sorry, it shows the font I used (Glass TTY VT220) |
| 2024-01-31 01:16:23 +0100 | <EvanR> | that sun font even looks better than some of these fonts you can find in your /usr/share/ |
| 2024-01-31 01:16:23 +0100 | <duncan> | I am also fond of the SGI fonts |
| 2024-01-31 01:16:46 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2024-01-31 01:16:47 +0100 | <geekosaur> | sadly I had to give it up when I needed UTF8 support |
| 2024-01-31 01:17:18 +0100 | <duncan> | there was some horrible way of sourcing them, there was the SGI OSS font archive which they provided, but they also had some really neat fonts which only appeared in PDF circulars/press releases |
| 2024-01-31 01:17:23 +0100 | <duncan> | https://web.archive.org/web/20050428123710/http://www.sgi.com/pdfs/3800.pdf |
| 2024-01-31 01:17:53 +0100 | <jackdk> | duncan: has antialiasing come into that image at some point? I suspect that the PNG makes it looks fuzzier than it looked IRL. It would be an excellent 1-bit bitmap font |
| 2024-01-31 01:18:34 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-01-31 01:18:59 +0100 | <duncan> | jackdk: this image is from an emulator I believe. the actual font shipped with openBSD as the default console font until very recently, it's also in the Debian/Linux kbd source archive (but not shipped with binaries) |
| 2024-01-31 01:19:17 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-31 01:19:23 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-31 01:19:28 +0100 | <jackdk> | I suspected something like that. It is very classy. |
| 2024-01-31 01:19:34 +0100 | <duncan> | at one point I converted it to TTF so I could make fake sparcstation splash screens for Coreboot with it |
| 2024-01-31 01:20:01 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-01-31 01:23:00 +0100 | cheater_ | (~Username@user/cheater) |
| 2024-01-31 01:24:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-31 01:24:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-31 01:25:47 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2024-01-31 01:25:56 +0100 | cheater_ | cheater |
| 2024-01-31 01:26:43 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
| 2024-01-31 01:28:39 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 268 seconds) |
| 2024-01-31 01:30:48 +0100 | gdr3941 | (~user@2600:1700:4770:3bc0::12) (Ping timeout: 268 seconds) |
| 2024-01-31 02:00:19 +0100 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-01-31 02:00:24 +0100 | ystael | (~ystael@user/ystael) |
| 2024-01-31 02:00:33 +0100 | xigua | (~xigua@user/xigua) |
| 2024-01-31 02:07:05 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-01-31 02:07:40 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-01-31 02:09:28 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-31 02:13:52 +0100 | Zmzi | (rscastilho@user/Zmzi) |
| 2024-01-31 02:13:58 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-01-31 02:14:18 +0100 | Zmzi | (rscastilho@user/Zmzi) (Remote host closed the connection) |
| 2024-01-31 02:19:11 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 264 seconds) |
| 2024-01-31 02:22:21 +0100 | mikess | (~mikess@user/mikess) |
| 2024-01-31 02:23:37 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-31 02:25:43 +0100 | mobivme | (~mobivme@130.105.134.228) (Remote host closed the connection) |
| 2024-01-31 02:38:01 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-01-31 02:38:21 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-31 02:44:49 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-01-31 02:48:24 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-31 02:53:38 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-31 02:54:58 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-31 02:57:41 +0100 | lewisje | (~lewisje@74.215.19.22) (Ping timeout: 240 seconds) |
| 2024-01-31 02:59:59 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-01-31 03:02:47 +0100 | lewisje | (~lewisje@74.215.19.22) |
| 2024-01-31 03:03:25 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 264 seconds) |
| 2024-01-31 03:05:28 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-01-31 03:06:23 +0100 | mima | (~mmh@aftr-62-216-211-21.dynamic.mnet-online.de) (Ping timeout: 268 seconds) |
| 2024-01-31 03:10:31 +0100 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-01-31 03:14:50 +0100 | xff0x_ | (~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2024-01-31 03:15:04 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Ping timeout: 276 seconds) |
| 2024-01-31 03:19:53 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-01-31 03:23:42 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-31 03:29:44 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-31 03:31:00 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-31 03:32:37 +0100 | otto_s | (~user@p5de2f341.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-01-31 03:33:55 +0100 | otto_s | (~user@p5b0443c0.dip0.t-ipconnect.de) |
| 2024-01-31 03:39:51 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) |
| 2024-01-31 03:40:38 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-01-31 03:40:38 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2024-01-31 03:40:38 +0100 | Feuermagier_ | Feuermagier |
| 2024-01-31 03:46:46 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-31 03:53:00 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-01-31 03:55:27 +0100 | mei | (~mei@user/mei) |
| 2024-01-31 03:56:05 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2024-01-31 03:59:50 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-01-31 04:02:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-31 04:03:20 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-01-31 04:07:26 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-01-31 04:09:40 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-31 04:21:21 +0100 | dhruvasagar | (~dhruvasag@49.207.206.234) (Read error: Connection reset by peer) |
| 2024-01-31 04:21:24 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) (Remote host closed the connection) |
| 2024-01-31 04:23:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) |
| 2024-01-31 04:38:00 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-01-31 04:45:35 +0100 | td_ | (~td@i53870904.versanet.de) (Ping timeout: 252 seconds) |
| 2024-01-31 04:47:21 +0100 | td_ | (~td@i53870937.versanet.de) |
| 2024-01-31 04:51:02 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
| 2024-01-31 04:59:37 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
| 2024-01-31 05:43:28 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-31 05:51:31 +0100 | aforemny_ | (~aforemny@2001:9e8:6ccc:8900:501c:e264:7efa:e6e0) |
| 2024-01-31 05:52:00 +0100 | circuitcraft | (~circuitcr@69.80.137.75) |
| 2024-01-31 05:52:01 +0100 | aforemny | (~aforemny@i59F516EE.versanet.de) (Ping timeout: 260 seconds) |
| 2024-01-31 06:08:13 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-01-31 06:11:08 +0100 | trev | (~trev@user/trev) |
| 2024-01-31 06:28:33 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-01-31 07:02:05 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-31 07:02:16 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-31 07:02:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-01-31 07:03:25 +0100 | euleritian | (~euleritia@dynamic-176-006-192-164.176.6.pool.telefonica.de) |
| 2024-01-31 07:06:56 +0100 | Square2 | (~Square4@user/square) |
| 2024-01-31 07:10:10 +0100 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2024-01-31 07:10:35 +0100 | euleritian | (~euleritia@dynamic-176-006-192-164.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-01-31 07:10:57 +0100 | euleritian | (~euleritia@dynamic-176-007-018-200.176.7.pool.telefonica.de) |
| 2024-01-31 07:11:52 +0100 | euleritian | (~euleritia@dynamic-176-007-018-200.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-31 07:12:12 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-31 07:13:25 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-01-31 07:13:33 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-01-31 07:13:54 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-01-31 07:27:23 +0100 | cereb | (~cereb@2a01:799:e26:7600:f519:db79:b633:401f) |
| 2024-01-31 07:27:35 +0100 | circuitcraft | (~circuitcr@69.80.137.75) (Leaving) |
| 2024-01-31 07:30:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-01-31 07:31:51 +0100 | euleritian | (~euleritia@dynamic-176-007-018-200.176.7.pool.telefonica.de) |
| 2024-01-31 07:43:43 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-01-31 07:56:36 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-01-31 07:59:23 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e77604cf13b28e5a1920.dip0.t-ipconnect.de) |
| 2024-01-31 08:03:49 +0100 | ft | (~ft@p508dbdf9.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-01-31 08:04:11 +0100 | son0p | (~ff@152.203.88.4) (Ping timeout: 264 seconds) |
| 2024-01-31 08:09:54 +0100 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 2024-01-31 08:10:13 +0100 | fun-safe-math | (~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) () |
| 2024-01-31 08:12:50 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 2024-01-31 08:15:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-01-31 08:15:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-31 08:18:58 +0100 | fun-safe-math | (~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) |
| 2024-01-31 08:26:00 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-31 08:27:39 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-31 08:28:49 +0100 | michalz | (~michalz@185.246.207.193) |
| 2024-01-31 08:34:47 +0100 | euleritian | (~euleritia@dynamic-176-007-018-200.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-31 08:35:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-31 08:37:27 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-31 08:38:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-01-31 08:39:12 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-31 08:40:26 +0100 | yeahitsme | (~bob@user/yeahitsme) |
| 2024-01-31 08:46:16 +0100 | ubert | (~Thunderbi@p200300ecdf1f173061cd031af74c0119.dip0.t-ipconnect.de) |
| 2024-01-31 08:46:30 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-31 08:49:47 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-31 08:50:07 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-01-31 08:51:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-31 08:58:31 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 2024-01-31 08:59:42 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-31 09:04:20 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-31 09:08:11 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-31 09:09:43 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-01-31 09:13:56 +0100 | zetef | (~quassel@95.77.17.251) (Quit: No Ping reply in 180 seconds.) |
| 2024-01-31 09:15:20 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-31 09:20:13 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-01-31 09:20:51 +0100 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2024-01-31 09:21:26 +0100 | Square2 | (~Square4@user/square) |
| 2024-01-31 09:24:58 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-31 09:26:12 +0100 | CiaoSen | (~Jura@2a05:5800:281:f800:e6b9:7aff:fe80:3d03) |
| 2024-01-31 09:26:30 +0100 | mima | (~mmh@aftr-62-216-211-37.dynamic.mnet-online.de) |
| 2024-01-31 09:38:02 +0100 | zetef_ | (~quassel@86.121.125.186) |
| 2024-01-31 09:38:21 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-01-31 09:45:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-31 09:45:19 +0100 | pruiz | (~user@user/pruiz) |
| 2024-01-31 09:54:00 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-01-31 10:01:28 +0100 | ell | (~ellie@user/ellie) (Ping timeout: 246 seconds) |
| 2024-01-31 10:06:00 +0100 | zetef_ | (~quassel@86.121.125.186) (Ping timeout: 256 seconds) |
| 2024-01-31 10:06:11 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-31 10:06:46 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-01-31 10:09:42 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-31 10:10:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-31 10:12:36 +0100 | danse-nr3 | (~danse@151.43.180.181) |
| 2024-01-31 10:14:45 +0100 | son0p | (~ff@152.203.124.215) |
| 2024-01-31 10:19:15 +0100 | bilegeek | (~bilegeek@2600:1008:b0a6:862c:438e:9e61:511c:caa5) |
| 2024-01-31 10:21:16 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-01-31 10:25:36 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-31 10:39:52 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-31 10:40:13 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6917:2efe:dcc7:7830) (Remote host closed the connection) |
| 2024-01-31 10:46:12 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-31 10:48:24 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-01-31 10:49:08 +0100 | danse-nr3 | (~danse@151.43.180.181) (Ping timeout: 252 seconds) |
| 2024-01-31 10:49:59 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-01-31 10:49:59 +0100 | Feuermagier | Guest1822 |
| 2024-01-31 10:49:59 +0100 | Guest1822 | (~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2024-01-31 10:49:59 +0100 | Feuermagier_ | Feuermagier |
| 2024-01-31 10:54:41 +0100 | danse-nr3 | (~danse@151.43.180.181) |
| 2024-01-31 11:00:03 +0100 | notzmv | (~zmv@user/notzmv) |
| 2024-01-31 11:11:17 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2024-01-31 11:13:59 +0100 | hackyhacker | (~user@212.71.9.113) |
| 2024-01-31 11:14:07 +0100 | ubert | (~Thunderbi@p200300ecdf1f173061cd031af74c0119.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-01-31 11:14:10 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2024-01-31 11:15:41 +0100 | ubert | (~Thunderbi@p200300ecdf1f17306319bd767d2fba32.dip0.t-ipconnect.de) |
| 2024-01-31 11:20:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6432:fd7e:104:6723) |
| 2024-01-31 11:25:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-31 11:31:15 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-31 11:32:08 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-01-31 11:33:37 +0100 | raoul | (~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds)) |
| 2024-01-31 11:33:44 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2024-01-31 11:33:58 +0100 | raoul | (~raoul@95.179.203.88) |
| 2024-01-31 11:34:02 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2024-01-31 11:35:36 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-01-31 11:40:38 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2024-01-31 11:53:38 +0100 | CiaoSen | (~Jura@2a05:5800:281:f800:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-01-31 11:56:48 +0100 | <Athas> | I have a program that fails at runtime with <loop> with GHC 9.8.1, but not with any previous version. Is there a known bug that has this symptom? |
| 2024-01-31 11:57:40 +0100 | <danse-nr3> | :/ |
| 2024-01-31 12:09:31 +0100 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) |
| 2024-01-31 12:10:54 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 268 seconds) |
| 2024-01-31 12:16:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-01-31 12:24:04 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Remote host closed the connection) |
| 2024-01-31 12:29:25 +0100 | statusbot4 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2024-01-31 12:29:30 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2024-01-31 12:36:02 +0100 | <L29Ah> | is there a ci thing that i can plug into, say, github so it will produce proper statically-linked (to musl libc for proper portability) binaries for my haskell executable projects? |
| 2024-01-31 12:38:04 +0100 | <dminuoso_> | L29Ah: nix has a simple thing. |
| 2024-01-31 12:38:16 +0100 | <dminuoso_> | Or well, haskell.nix does. |
| 2024-01-31 12:45:28 +0100 | <dminuoso_> | Sigh. Why cant we have type guaranteed safe numerical conversions in base? |
| 2024-01-31 12:46:35 +0100 | <danse-nr3> | for instance? |
| 2024-01-31 12:48:23 +0100 | <dminuoso_> | https://hackage.haskell.org/package/int-cast |
| 2024-01-31 12:48:27 +0100 | <dminuoso_> | This thing should be part of base. :/ |
| 2024-01-31 12:49:13 +0100 | <dminuoso_> | I've just been bitten by a fromIntegral overflow. |
| 2024-01-31 12:50:08 +0100 | qqq | (~qqq@92.43.167.61) (Ping timeout: 252 seconds) |
| 2024-01-31 12:50:17 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-31 12:50:45 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-01-31 12:51:53 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-31 12:53:32 +0100 | califax | (~califax@user/califx) |
| 2024-01-31 12:55:54 +0100 | <danse-nr3> | well i stopped complaining about type safety in base |
| 2024-01-31 12:57:13 +0100 | <dminuoso_> | I find it very curious how haskell designers and contributors explore so many type safety constructs, but leave the base around as a repackaged minesweeper game. :S |
| 2024-01-31 12:57:41 +0100 | <danse-nr3> | XD |
| 2024-01-31 13:05:01 +0100 | danse-nr3 | (~danse@151.43.180.181) (Ping timeout: 256 seconds) |
| 2024-01-31 13:05:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-31 13:06:07 +0100 | <tomsmeding> | dminuoso_: overflow because of conversion to a smaller type? int-cast still allows conversion from Int to Word, even with intCastEq |
| 2024-01-31 13:06:48 +0100 | <tomsmeding> | which _is_ an overflow too, though I guess it's invertible so less of a problem |
| 2024-01-31 13:08:07 +0100 | hongminhee | (sid295@id-295.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-31 13:10:08 +0100 | <dminuoso_> | tomsmeding: Fair, I should have correctly called it truncation. |
| 2024-01-31 13:10:17 +0100 | <tomsmeding> | right |
| 2024-01-31 13:10:37 +0100 | <dminuoso_> | And the overflow has a defined behavior, unlike some of the overflow/underflow in C. |
| 2024-01-31 13:10:56 +0100 | <tomsmeding> | praise be |
| 2024-01-31 13:13:14 +0100 | hackyhacker | (~user@212.71.9.113) (Ping timeout: 252 seconds) |
| 2024-01-31 13:13:37 +0100 | bilegeek | (~bilegeek@2600:1008:b0a6:862c:438e:9e61:511c:caa5) (Quit: Leaving) |
| 2024-01-31 13:14:32 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-31 13:19:11 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-31 13:24:55 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-31 13:25:08 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) |
| 2024-01-31 13:27:51 +0100 | img | (~img@user/img) |
| 2024-01-31 13:31:16 +0100 | <theInvertedFunct> | > take 5 [1..] |
| 2024-01-31 13:31:17 +0100 | <lambdabot> | [1,2,3,4,5] |
| 2024-01-31 13:31:49 +0100 | <theInvertedFunct> | > :type 1 |
| 2024-01-31 13:31:51 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2024-01-31 13:33:02 +0100 | <theInvertedFunct> | > 1 : 2 : 3 : [] |
| 2024-01-31 13:33:03 +0100 | <lambdabot> | [1,2,3] |
| 2024-01-31 13:33:56 +0100 | <theInvertedFunct> | :t 1 |
| 2024-01-31 13:33:57 +0100 | <lambdabot> | Num p => p |
| 2024-01-31 13:35:06 +0100 | <theInvertedFunct> | @djinn (a, b) -> (b, a) |
| 2024-01-31 13:35:06 +0100 | <lambdabot> | f (a, b) = (b, a) |
| 2024-01-31 13:37:46 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-01-31 13:38:31 +0100 | danse-nr3 | (~danse@rm-19-23-242.service.infuturo.it) |
| 2024-01-31 13:39:06 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-31 13:40:41 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-31 13:42:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-31 13:43:29 +0100 | danse-nr3 | (~danse@rm-19-23-242.service.infuturo.it) (Ping timeout: 252 seconds) |
| 2024-01-31 13:44:38 +0100 | danse-nr3 | (~danse@rm-19-23-242.service.infuturo.it) |
| 2024-01-31 13:45:56 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) (Quit: Leaving) |
| 2024-01-31 13:46:15 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) |
| 2024-01-31 13:47:21 +0100 | <tomsmeding> | theInvertedFunct: you can also private-chat with lambdabot :) |
| 2024-01-31 13:48:12 +0100 | <danse-nr3> | although at least this way they animate the channel a bit :P |
| 2024-01-31 13:48:31 +0100 | <danse-nr3> | not sure what are they up to though |
| 2024-01-31 13:49:38 +0100 | <theInvertedFunct> | trying to figure out how IRC works, that's all |
| 2024-01-31 13:53:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-31 13:53:57 +0100 | Silver_X | (~Silver_X@182.178.197.19) |
| 2024-01-31 13:54:58 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) (Quit: Leaving) |
| 2024-01-31 13:55:14 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) |
| 2024-01-31 13:55:32 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) (Client Quit) |
| 2024-01-31 13:55:47 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) |
| 2024-01-31 13:55:50 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) (Client Quit) |
| 2024-01-31 13:56:04 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) |
| 2024-01-31 13:57:03 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) |
| 2024-01-31 13:58:03 +0100 | Silver_X | (~Silver_X@182.178.197.19) (Client Quit) |
| 2024-01-31 14:10:57 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) (Remote host closed the connection) |
| 2024-01-31 14:13:51 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-01-31 14:14:09 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
| 2024-01-31 14:14:10 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2024-01-31 14:17:45 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) (Quit: Leaving) |
| 2024-01-31 14:18:08 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) |
| 2024-01-31 14:18:08 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 2024-01-31 14:18:20 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2024-01-31 14:21:44 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) (Client Quit) |
| 2024-01-31 14:22:09 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) |
| 2024-01-31 14:23:54 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-31 14:27:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-5ac6-2c3c-76d5-617b-7b48.rev.sfr.net) |
| 2024-01-31 14:32:35 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-444c-cdb2-1eed-378e.fixed6.kpn.net) (Quit: Leaving) |
| 2024-01-31 14:40:23 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-31 14:44:24 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-01-31 14:45:26 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-01-31 14:45:41 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-31 14:46:01 +0100 | danse-nr3 | (~danse@rm-19-23-242.service.infuturo.it) (Ping timeout: 276 seconds) |
| 2024-01-31 14:46:43 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-01-31 14:57:29 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-31 15:08:14 +0100 | yeahitsme | (~bob@user/yeahitsme) (Leaving) |
| 2024-01-31 15:13:38 +0100 | waterproof-socks | (~waterproo@81.221.195.151) |
| 2024-01-31 15:13:42 +0100 | yeahitsme | (~bob@user/yeahitsme) |
| 2024-01-31 15:19:31 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 15:23:41 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 2024-01-31 15:25:09 +0100 | mima | (~mmh@aftr-62-216-211-37.dynamic.mnet-online.de) (Ping timeout: 268 seconds) |
| 2024-01-31 15:29:11 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-01-31 15:29:14 +0100 | mrvdb- | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-31 15:30:16 +0100 | mrvdb | (~mrvdb@185.92.221.186) |
| 2024-01-31 15:31:37 +0100 | mei | (~mei@user/mei) |
| 2024-01-31 15:32:50 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-31 15:39:39 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-01-31 15:40:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-31 15:44:28 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-01-31 15:45:13 +0100 | euleritian | (~euleritia@dynamic-176-007-008-205.176.7.pool.telefonica.de) |
| 2024-01-31 15:48:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-31 15:49:06 +0100 | danse-nr3 | (~danse@151.35.152.246) |
| 2024-01-31 16:04:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-31 16:05:04 +0100 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-01-31 16:14:33 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-01-31 16:28:30 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-01-31 16:29:47 +0100 | mima | (~mmh@dhcp-138-246-3-45.dynamic.eduroam.mwn.de) |
| 2024-01-31 16:38:44 +0100 | m4d | (~m4d@2a02:908:176:83a0:10f7:659f:f4f7:686e) |
| 2024-01-31 16:40:25 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 16:43:04 +0100 | euleritian | (~euleritia@dynamic-176-007-008-205.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-31 16:43:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-31 16:43:45 +0100 | Xe | (~cadey@perl/impostor/xe) (Quit: WeeChat 4.2.1) |
| 2024-01-31 16:44:12 +0100 | Xe | (~cadey@perl/impostor/xe) |
| 2024-01-31 16:46:38 +0100 | pavonia | (~user@user/siracusa) |
| 2024-01-31 16:47:45 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-01-31 16:49:02 +0100 | m4d | (~m4d@2a02:908:176:83a0:10f7:659f:f4f7:686e) (Remote host closed the connection) |
| 2024-01-31 16:52:05 +0100 | <tinjamin> | gm haskellers |
| 2024-01-31 16:54:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-31 17:01:48 +0100 | Square | (~Square@user/square) |
| 2024-01-31 17:06:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-01-31 17:08:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-31 17:08:34 +0100 | <danse-nr3> | hey tinjamin |
| 2024-01-31 17:08:45 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-01-31 17:08:53 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-01-31 17:10:32 +0100 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-31 17:22:08 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2024-01-31 17:25:33 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Client Quit) |
| 2024-01-31 17:26:14 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-01-31 17:30:05 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds) |
| 2024-01-31 17:30:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-31 17:31:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-31 17:31:48 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-01-31 17:31:52 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-01-31 17:35:01 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 276 seconds) |
| 2024-01-31 17:36:52 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-31 17:39:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-31 17:47:56 +0100 | waterproof-socks | (~waterproo@81.221.195.151) (Ping timeout: 250 seconds) |
| 2024-01-31 17:50:10 +0100 | mud | (~mud@user/kadoban) |
| 2024-01-31 17:55:34 +0100 | m1dnight | (~christoph@78-22-2-15.access.telenet.be) |
| 2024-01-31 17:59:11 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-01-31 18:06:25 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-01-31 18:08:44 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-5ac6-2c3c-76d5-617b-7b48.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2024-01-31 18:14:43 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-5ac6-2c3c-76d5-617b-7b48.rev.sfr.net) |
| 2024-01-31 18:15:34 +0100 | pruiz | (~user@user/pruiz) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2024-01-31 18:16:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-31 18:17:14 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-01-31 18:20:29 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-31 18:20:29 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-01-31 18:21:27 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-31 18:22:14 +0100 | <haskellbridge> | 15<Jade> When using `BangPatterns`, how is `let x = f y in T x` translated? |
| 2024-01-31 18:22:37 +0100 | <haskellbridge> | 15<Jade> ah there should be an exclamation mark in the let binding, apologies |
| 2024-01-31 18:25:32 +0100 | <L29Ah> | > Just undefined |
| 2024-01-31 18:25:34 +0100 | <lambdabot> | Just *Exception: Prelude.undefined |
| 2024-01-31 18:25:52 +0100 | <L29Ah> | > let !x = undefined in Just x |
| 2024-01-31 18:25:54 +0100 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-01-31 18:26:42 +0100 | <danse-nr3> | > Just 1 <|> Just undefined |
| 2024-01-31 18:26:43 +0100 | <lambdabot> | Just 1 |
| 2024-01-31 18:26:57 +0100 | <danse-nr3> | > let !x = undefined in Just 1 <|> Just undefined |
| 2024-01-31 18:26:59 +0100 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-01-31 18:27:19 +0100 | <danse-nr3> | oops |
| 2024-01-31 18:27:20 +0100 | <L29Ah> | cool |
| 2024-01-31 18:27:20 +0100 | <danse-nr3> | > let !x = undefined in Just 1 <|> Just x |
| 2024-01-31 18:27:22 +0100 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-01-31 18:29:16 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-01-31 18:31:41 +0100 | mei | (~mei@user/mei) |
| 2024-01-31 18:34:50 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-01-31 18:37:02 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6432:fd7e:104:6723) (Remote host closed the connection) |
| 2024-01-31 18:37:40 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6432:fd7e:104:6723) |
| 2024-01-31 18:43:52 +0100 | ft | (~ft@p508dbdf9.dip0.t-ipconnect.de) |
| 2024-01-31 18:47:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-31 18:48:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-31 18:48:43 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-01-31 18:49:19 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-31 18:49:40 +0100 | euleritian | (~euleritia@dynamic-176-002-150-058.176.2.pool.telefonica.de) |
| 2024-01-31 18:51:07 +0100 | euleritian | (~euleritia@dynamic-176-002-150-058.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-31 18:51:24 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-31 19:01:18 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-01-31 19:02:57 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-31 19:03:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-31 19:03:15 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-01-31 19:04:13 +0100 | euleritian | (~euleritia@dynamic-046-114-178-068.46.114.pool.telefonica.de) |
| 2024-01-31 19:07:57 +0100 | waterproof-socks | (~waterproo@81.221.195.151) |
| 2024-01-31 19:09:44 +0100 | <haskellbridge> | 15<Jade> apologies, I know what it does; I was moreso wondering how it's translated in terms of (probably seq) |
| 2024-01-31 19:11:13 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-31 19:12:42 +0100 | euleritian | (~euleritia@dynamic-046-114-178-068.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-31 19:12:47 +0100 | <[Leary]> | Jade: `let !v = EXPR in BODY` = `let v = EXPR in v `seq` BODY`. See <https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/strict.html#dynamic-semantics-of-ba…> for detail (and other cases). |
| 2024-01-31 19:12:56 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2024-01-31 19:12:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-31 19:25:05 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-31 19:26:16 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2024-01-31 19:26:18 +0100 | ubert | (~Thunderbi@p200300ecdf1f17306319bd767d2fba32.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-31 19:29:43 +0100 | danse-nr3 | (~danse@151.35.152.246) (Ping timeout: 255 seconds) |
| 2024-01-31 19:30:36 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-31 19:32:22 +0100 | waterproof-socks | (~waterproo@81.221.195.151) (Ping timeout: 250 seconds) |
| 2024-01-31 19:32:25 +0100 | chomwitt | (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) |
| 2024-01-31 19:38:49 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 2024-01-31 19:39:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-31 19:40:41 +0100 | lisbeths_ | lisbeths |
| 2024-01-31 19:44:39 +0100 | waterproof-socks | (~waterproo@81.221.195.151) |
| 2024-01-31 19:46:06 +0100 | mima | (~mmh@dhcp-138-246-3-45.dynamic.eduroam.mwn.de) (Remote host closed the connection) |
| 2024-01-31 19:49:06 +0100 | <haskellbridge> | 15<Jade> thanks! |
| 2024-01-31 19:53:38 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-01-31 19:54:37 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-31 19:58:13 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-01-31 19:59:13 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 20:00:33 +0100 | cstml | (~cstml@user/cstml) |
| 2024-01-31 20:03:32 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-31 20:08:25 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-01-31 20:08:49 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-31 20:09:22 +0100 | yeahitsme | (~bob@user/yeahitsme) (Quit: Leaving) |
| 2024-01-31 20:19:06 +0100 | todi1 | (~todi@p5dca5fa8.dip0.t-ipconnect.de) |
| 2024-01-31 20:19:51 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 20:21:34 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-31 20:24:26 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-31 20:29:08 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 20:31:55 +0100 | ubert | (~Thunderbi@p200300ecdf1f1730e358a722804887de.dip0.t-ipconnect.de) |
| 2024-01-31 20:32:41 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-31 20:38:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6432:fd7e:104:6723) (Remote host closed the connection) |
| 2024-01-31 20:38:41 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
| 2024-01-31 20:39:14 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Client Quit) |
| 2024-01-31 20:51:35 +0100 | todi1 | (~todi@p5dca5fa8.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-01-31 20:51:38 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-31 20:53:13 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 268 seconds) |
| 2024-01-31 20:54:30 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-31 20:56:34 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-31 20:59:07 +0100 | todi | (~todi@p5dca5fa8.dip0.t-ipconnect.de) |
| 2024-01-31 21:04:01 +0100 | cstml | (~cstml@user/cstml) (Ping timeout: 264 seconds) |
| 2024-01-31 21:08:52 +0100 | todi | (~todi@p5dca5fa8.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-01-31 21:09:23 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2024-01-31 21:14:30 +0100 | todi | (~todi@p5dca5fa8.dip0.t-ipconnect.de) |
| 2024-01-31 21:15:11 +0100 | destituion | (~destituio@2a02:2121:304:cc78:a079:4ba5:932e:f993) |
| 2024-01-31 21:16:41 +0100 | destituion | (~destituio@2a02:2121:304:cc78:a079:4ba5:932e:f993) (Client Quit) |
| 2024-01-31 21:17:01 +0100 | destituion | (~destituio@2a02:2121:304:cc78:a079:4ba5:932e:f993) |
| 2024-01-31 21:18:20 +0100 | nitrix | (~nitrix@user/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-31 21:19:10 +0100 | nitrix | (~nitrix@user/nitrix) |
| 2024-01-31 21:23:41 +0100 | destituion | (~destituio@2a02:2121:304:cc78:a079:4ba5:932e:f993) (Leaving) |
| 2024-01-31 21:26:57 +0100 | mmhat | (~mmh@p200300f1c73bf4c7ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-31 21:28:49 +0100 | destituion | (~destituio@2a02:2121:304:cc78:a079:4ba5:932e:f993) |
| 2024-01-31 21:29:08 +0100 | mobivme | (~mobivme@130.105.134.228) |
| 2024-01-31 21:30:01 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: updating stuff) |
| 2024-01-31 21:30:34 +0100 | mmhat | (~mmh@p200300f1c73bf4c7ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2024-01-31 21:30:59 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-31 21:31:05 +0100 | lekrot | (~lekrot@2a02:2121:304:cc78:a079:4ba5:932e:f993) |
| 2024-01-31 21:31:22 +0100 | lekrot | (~lekrot@2a02:2121:304:cc78:a079:4ba5:932e:f993) (Remote host closed the connection) |
| 2024-01-31 21:31:50 +0100 | lekrot | (~lekrot@2a02:2121:304:cc78:a079:4ba5:932e:f993) |
| 2024-01-31 21:33:55 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-01-31 21:35:24 +0100 | notzmv | (~zmv@user/notzmv) |
| 2024-01-31 21:38:35 +0100 | lekrot | (~lekrot@2a02:2121:304:cc78:a079:4ba5:932e:f993) (Remote host closed the connection) |
| 2024-01-31 21:40:47 +0100 | andscape | (~andscape@77.18.52.196.tmi.telenormobil.no) |
| 2024-01-31 21:47:41 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-31 21:47:48 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-5ac6-2c3c-76d5-617b-7b48.rev.sfr.net) (Remote host closed the connection) |
| 2024-01-31 21:49:59 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 21:54:38 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-31 21:54:56 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-01-31 21:57:21 +0100 | mei | (~mei@user/mei) |
| 2024-01-31 22:05:04 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-01-31 22:07:50 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-01-31 22:08:19 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 22:12:45 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: -) |
| 2024-01-31 22:12:46 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2024-01-31 22:13:04 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-5ac6-2c3c-76d5-617b-7b48.rev.sfr.net) |
| 2024-01-31 22:15:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-31 22:19:49 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-01-31 22:20:04 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 22:20:08 +0100 | mud | (~mud@user/kadoban) |
| 2024-01-31 22:21:37 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-01-31 22:26:20 +0100 | waterproof-socks | (~waterproo@81.221.195.151) (Quit: Client closed) |
| 2024-01-31 22:29:50 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-31 22:31:48 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: -) |
| 2024-01-31 22:32:04 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-01-31 22:32:19 +0100 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2024-01-31 22:32:38 +0100 | mud | (~mud@user/kadoban) |
| 2024-01-31 22:33:01 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Client Quit) |
| 2024-01-31 22:33:18 +0100 | circuitcraft | (~circuitcr@136.142.159.2) |
| 2024-01-31 22:33:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-01-31 22:35:21 +0100 | ubert | (~Thunderbi@p200300ecdf1f1730e358a722804887de.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-31 22:37:26 +0100 | ubert | (~Thunderbi@p200300ecdf1f17307f93205392f6fa9a.dip0.t-ipconnect.de) |
| 2024-01-31 22:43:04 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 22:44:49 +0100 | ubert | (~Thunderbi@p200300ecdf1f17307f93205392f6fa9a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-01-31 22:47:51 +0100 | circuits | (~circuitcr@136.142.159.124) |
| 2024-01-31 22:47:55 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2024-01-31 22:50:09 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 22:50:52 +0100 | chomwitt | (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds) |
| 2024-01-31 22:52:01 +0100 | circuitcraft | (~circuitcr@136.142.159.2) (Ping timeout: 264 seconds) |
| 2024-01-31 22:53:00 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-31 22:53:30 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-31 22:56:47 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-31 23:02:10 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 23:05:13 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-01-31 23:06:41 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-31 23:07:31 +0100 | dtman34 | (~dtman34@2601:447:d000:93c9:27e9:54c2:8285:dbbb) (Ping timeout: 255 seconds) |
| 2024-01-31 23:11:16 +0100 | circuits | (~circuitcr@136.142.159.124) (Quit: Leaving) |
| 2024-01-31 23:12:24 +0100 | thegeekinside | (~thegeekin@189.141.113.100) |
| 2024-01-31 23:13:16 +0100 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2024-01-31 23:20:20 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 23:23:04 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-01-31 23:26:45 +0100 | urdh | (~urdh@user/urdh) |
| 2024-01-31 23:26:52 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-31 23:26:59 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-01-31 23:29:48 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-31 23:31:58 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-31 23:40:36 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 23:47:10 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-01-31 23:47:45 +0100 | jargon | (~jargon@211.sub-174-205-230.myvzw.com) |
| 2024-01-31 23:48:15 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 23:53:54 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2024-01-31 23:55:55 +0100 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2024-01-31 23:57:18 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-31 23:58:43 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
