Newest at the top
2024-09-30 22:36:13 +0200 | <dpk> | is the author of https://learnyouahaskell.com/ around? the stylesheet on the online version of the book is broken for me because my browser refuses to load HTTP stylesheets on HTTPS pages, and the pages themselves only get served over HTTPS |
2024-09-30 22:34:34 +0200 | dpk | (~dpk@jains.nonceword.org) dpk |
2024-09-30 22:29:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-30 22:26:07 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
2024-09-30 22:25:15 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2024-09-30 22:24:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 22:23:26 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
2024-09-30 22:19:53 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
2024-09-30 22:14:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-30 22:12:18 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2024-09-30 22:09:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 22:06:59 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2024-09-30 22:06:28 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-09-30 21:58:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-30 21:55:01 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
2024-09-30 21:53:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 21:50:57 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
2024-09-30 21:49:49 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
2024-09-30 21:49:48 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-30 21:45:04 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-09-30 21:42:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-30 21:42:46 +0200 | Typedfern | (~Typedfern@2a02:9130:9c24:82f5:944f:4f4:c394:420c) typedfern |
2024-09-30 21:38:13 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
2024-09-30 21:37:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 21:33:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-09-30 21:30:49 +0200 | Typedfern | (~Typedfern@2a02:9130:9c33:296c:faee:c6d9:5df4:858) (Ping timeout: 265 seconds) |
2024-09-30 21:29:27 +0200 | echoreply | (~echoreply@45.32.163.16) echoreply |
2024-09-30 21:29:21 +0200 | vglfr | (~vglfr@2601:14d:4701:3b30:c3ef:3b3e:5ca1:502f) vglfr |
2024-09-30 21:29:02 +0200 | vglfr | (~vglfr@2607:fb91:891:b16:ad3:f757:b319:f3ab) (Read error: Connection reset by peer) |
2024-09-30 21:26:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-30 21:26:45 +0200 | <darkling> | Those used electricity. That's cheating. :) |
2024-09-30 21:25:54 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-09-30 21:25:45 +0200 | <geekosaur> | (this of course didn't apply to IBM Selectrics ("golf balls")) |
2024-09-30 21:25:09 +0200 | <darkling> | (This much I remember from using one) |
2024-09-30 21:24:51 +0200 | <geekosaur> | on the ones I've used, shift either raised or lowered the stamp (or the bed) slightly; keys had two leads on them, so that determined what got typed |
2024-09-30 21:24:44 +0200 | <darkling> | And it was usually quite heavy to press, because of lifting more or less all of the mechanism. |
2024-09-30 21:24:33 +0200 | <tomsmeding> | originally-originally :p |
2024-09-30 21:24:26 +0200 | <tomsmeding> | I see |
2024-09-30 21:23:38 +0200 | <int-e> | But I do know that the "shift" term originates from those. :P |
2024-09-30 21:22:59 +0200 | <int-e> | According to Wikipedia. I've seen and to a small extent used mechanical typewriters. I don't know what most of the parts are called. |
2024-09-30 21:22:59 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-09-30 21:22:15 +0200 | <tomsmeding> | (case stamp?) |
2024-09-30 21:21:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 21:21:21 +0200 | <int-e> | . o O ( the "shift" key originally lifted the *typing noise* case stamp ) |
2024-09-30 21:21:12 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-30 21:20:15 +0200 | <tomsmeding> | I guess this is the more appropriate presentation |
2024-09-30 21:20:09 +0200 | <lambdabot> | "ABCDEFGHIJKLMNOPQRSTUVWXYZ[]\\" |
2024-09-30 21:20:07 +0200 | <tomsmeding> | > map chr (map (\c -> ord c .&. complement 32) "abcdefghijklmnopqrstuvwxyz{}|") |
2024-09-30 21:20:07 +0200 | identity | (~identity@user/ZharMeny) (Read error: Connection reset by peer) |
2024-09-30 21:19:30 +0200 | <tomsmeding> | the "shift" key originally masked the 32-bit |