Logs: freenode/#xmonad
| 2021-03-24 11:05:52 | → | hacxman joins (~hexo@gateway/tor-sasl/hexo) |
| 2021-03-24 11:06:15 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds) |
| 2021-03-24 11:06:16 | hacxman | is now known as hexo |
| 2021-03-24 11:15:13 | × | Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-03-24 11:30:06 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 11:44:38 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-03-24 11:45:54 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-03-24 11:46:48 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-03-24 11:47:09 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-03-24 11:59:47 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-03-24 12:03:47 | <mc47> | does anyone know what "catch" is? It's mentioned in the website under verification tools, and the link there is dead |
| 2021-03-24 12:04:46 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 244 seconds) |
| 2021-03-24 12:05:45 | <Solid> | what's the link? |
| 2021-03-24 12:07:47 | <mc47> | https://www-users.cs.york.ac.uk/~ndm/catch/ |
| 2021-03-24 12:07:56 | <mc47> | It's in here https://xmonad.org/about.html |
| 2021-03-24 12:08:37 | <Solid> | ah |
| 2021-03-24 12:08:59 | <Solid> | searx brings up this: https://github.com/ndmitchell/catch |
| 2021-03-24 12:09:14 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-24 12:10:09 | <Solid> | I wouldn't bother linking to it, it's abandoned |
| 2021-03-24 12:11:00 | <mc47> | There's this blogpost about it from 2007 |
| 2021-03-24 12:11:32 | <Solid> | if you want to link to something about formal verification I think this https://webspace.science.uu.nl/~swier004/publications/2012-haskell.pdf is much better |
| 2021-03-24 12:11:33 | <mc47> | http://neilmitchell.blogspot.com/2007/05/does-xmonad-crash.html |
| 2021-03-24 12:12:07 | <mc47> | yeah that seems better |
| 2021-03-24 12:12:12 | <mc47> | thanks! |
| 2021-03-24 12:17:18 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 12:18:29 | → | Nahra joins (~Nahra@unaffiliated/nahra) |
| 2021-03-24 12:22:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-24 12:38:58 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-24 12:40:01 | × | ChubaDuba quits (~ChubaDuba@46.147.116.169) (Ping timeout: 256 seconds) |
| 2021-03-24 12:48:33 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 264 seconds) |
| 2021-03-24 12:55:47 | → | Nahra` joins (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-03-24 12:58:48 | × | Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving) |
| 2021-03-24 12:59:19 | × | Nahra` quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-03-24 13:00:28 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 13:00:34 | → | Nahra joins (~user@unaffiliated/nahra) |
| 2021-03-24 13:07:11 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 13:07:33 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 2021-03-24 13:11:11 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 13:11:31 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 2021-03-24 13:12:12 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 13:12:32 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 2021-03-24 13:13:09 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 2021-03-24 13:13:30 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 2021-03-24 13:15:12 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 13:15:35 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 2021-03-24 13:17:11 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 13:17:34 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 2021-03-24 13:19:14 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-24 13:43:29 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 265 seconds) |
| 2021-03-24 13:45:44 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-24 13:49:24 | → | idhugo_ joins (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) |
| 2021-03-24 13:52:14 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
| 2021-03-24 13:55:48 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 14:04:48 | <mc47> | And it's live |
| 2021-03-24 14:04:48 | <mc47> | https://themc47.github.io/xmonad-web/index.html |
| 2021-03-24 14:05:08 | <mc47> | I've opened an issue so we can discuss https://github.com/xmonad/xmonad-web/issues/19 |
| 2021-03-24 14:08:33 | <Solid> | \o/ |
| 2021-03-24 14:09:22 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-03-24 14:16:10 | <Solid> | the fact that everything is just markdown gives me hope we can migrate the wiki relatively painlessly |
| 2021-03-24 14:16:13 | → | azg256 joins (~azg256@78-56-98-5.static.zebra.lt) |
| 2021-03-24 14:16:29 | → | fakecrafter joins (~fakecraft@aftr-37-201-168-108.unity-media.net) |
| 2021-03-24 14:18:02 | <Liskni_si> | I was actually thinking that we'd migrate the wiki to the github wiki where it's freely editable, under something like a "old haskell.org wiki content" subdirectory, and then hope it organically transforms itself into an up-to-date wiki |
| 2021-03-24 14:25:20 | <Solid> | aha, that would probably be equally good |
| 2021-03-24 14:26:15 | <Solid> | perhaps even better because people don't need to open pr's for trivial things |
| 2021-03-24 14:26:27 | <Liskni_si> | yes, that was the idea |
| 2021-03-24 14:27:02 | <Liskni_si> | it'd also be good to cherry-pick the useful bits to the website, but ease of contribution would be my primary goal here |
| 2021-03-24 14:27:41 | × | dawiss quits (~dawiss@178.43.197.203.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 2021-03-24 14:29:16 | → | dawiss joins (~dawiss@185-119-185-201.actus-info.pl) |
| 2021-03-24 14:40:32 | → | woffs joins (3cd46299b2@woffs.de) |
| 2021-03-24 14:41:43 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 245 seconds) |
| 2021-03-24 14:48:48 | × | fakecrafter quits (~fakecraft@aftr-37-201-168-108.unity-media.net) (Quit: Lost terminal) |
| 2021-03-24 14:52:35 | <Liskni_si> | what's your opinion on seeking approval from AusCyberman on my PR? a bit of organizational debt again: historically all/most submissions to -contrib carry the author name in the maintainer field, but they don't automatically get any authority to actually maintain said modules, and in this particular case I'd be very uncomfortable if they got push access |
| 2021-03-24 14:54:45 | × | dawiss quits (~dawiss@185-119-185-201.actus-info.pl) (Ping timeout: 244 seconds) |
| 2021-03-24 14:56:22 | → | dawiss joins (~dawiss@178.43.197.203.ipv4.supernova.orange.pl) |
| 2021-03-24 15:04:12 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-03-24 15:05:33 | <Solid> | I've never regarded the maintainer field as much more than than a byproduct of the kind of template people chose to follow |
| 2021-03-24 15:05:44 | <Solid> | I don't think it matters very much |
| 2021-03-24 15:07:56 | <Liskni_si> | well I've seen you saying "this is your module, I'm only suggesting a change" on github … :-) |
| 2021-03-24 15:09:31 | <Solid> | I recall saying that on inital submissions only :> |
| 2021-03-24 15:09:51 | <Liskni_si> | oh, okay |
| 2021-03-24 15:19:35 | × | MrElendig quits (~Urist@archlinux/op/pdpc.supporter.active.mrelendig) (Ping timeout: 240 seconds) |
| 2021-03-24 15:20:26 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-03-24 15:21:21 | → | MrElendig joins (~Urist@archlinux/op/pdpc.supporter.active.mrelendig) |
| 2021-03-24 15:24:04 | <mc47> | Liskni_si having the wiki on GitHub is also an option, I really don't have a strong opinion here. I agree on making contributions easy |
| 2021-03-24 15:24:48 | <mc47> | I tmight be cool if AusCyberman gets mentioned there, that might motivate them to be active :) but I don't think approval is necessary |
| 2021-03-24 15:25:28 | ← | yakamo parts (~yakamo@167.71.77.160) () |
| 2021-03-24 15:26:46 | <Liskni_si> | I pinged them in the original PR |
| 2021-03-24 15:28:15 | <mc47> | oh alright, that's cool |
| 2021-03-24 15:30:23 | → | Waifod joins (~Waifod@91.106.123.186) |
| 2021-03-24 15:31:20 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-03-24 15:31:43 | × | thc202 quits (~thc202@unaffiliated/thc202) (Read error: Connection reset by peer) |
| 2021-03-24 15:32:54 | × | idhugo_ quits (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 2021-03-24 15:37:33 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-03-24 15:38:08 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-03-24 15:39:54 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-03-24 15:43:37 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-24 15:46:26 | × | materiyolo quits (~materiyol@112.204.160.151) (Ping timeout: 240 seconds) |
| 2021-03-24 15:47:57 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2021-03-24 15:50:10 | → | geekosaur joins (ac3a8f06@172.58.143.6) |
| 2021-03-24 15:51:19 | → | materiyolo joins (~materiyol@112.204.174.249) |
All times are in UTC.