Logs: freenode/#haskell
| 2021-04-20 18:34:18 | <maerwald> | And1: you download the binary and run it via `arch -x86_64 binary` |
| 2021-04-20 18:34:37 | → | jchia[m] joins (jchiamatri@gateway/shell/matrix.org/x-tmjpbywqkunnmwlp) |
| 2021-04-20 18:34:47 | → | Poyo[m] joins (stikynotha@gateway/shell/matrix.org/x-xcbfkbcujzncipye) |
| 2021-04-20 18:35:02 | <maerwald> | yushyin: yeah, it's a bit annoying to switch between an ortho-split external keyboard and a regular laptop one |
| 2021-04-20 18:35:35 | <maerwald> | hell, why not laptop-split keyboard... but only mac would do that |
| 2021-04-20 18:35:50 | <monochrom> | My ortholinear keyboard was from https://en.wikipedia.org/wiki/Casio_FX-702P . Also ABCDE keyboard. :) |
| 2021-04-20 18:35:56 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-effbgvlwiyjkbspr) |
| 2021-04-20 18:36:21 | <And1> | maerwald: Oh, macOS won't let me run the binary. Probably need to disable some security features or whatever. :-o |
| 2021-04-20 18:36:37 | <maerwald> | yeah |
| 2021-04-20 18:36:57 | <maerwald> | darwin notarization or something |
| 2021-04-20 18:37:07 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-20 18:37:10 | <And1> | Damn. :D |
| 2021-04-20 18:37:26 | <maerwald> | they mean well |
| 2021-04-20 18:37:46 | <maerwald> | I guess that sums up apple |
| 2021-04-20 18:39:16 | <And1> | Heh, yeah. That's more than can be said about Google and others, I guess; in regards privacy/security at least. |
| 2021-04-20 18:41:00 | <fendor> | @pl \x y z -> ((x,y), z) |
| 2021-04-20 18:41:01 | <lambdabot> | ((,) .) . (,) |
| 2021-04-20 18:51:46 | <minoru_shiraeesh> | laptop keyboard designers could create narrow buttons for numbers, like this |
| 2021-04-20 18:51:49 | <minoru_shiraeesh> | | | | |
| 2021-04-20 18:51:51 | <minoru_shiraeesh> | | | | |
| 2021-04-20 18:51:53 | <minoru_shiraeesh> | | | | |
| 2021-04-20 18:52:22 | <maerwald> | like the F-key ones on kinesis advantage 2? |
| 2021-04-20 18:52:27 | <maerwald> | They are hilarious |
| 2021-04-20 18:52:43 | <maerwald> | but hard to get right without looking at them |
| 2021-04-20 18:53:41 | <maerwald> | external numpad is much more sensible imo |
| 2021-04-20 18:54:04 | <cjay> | And1: xattr -r -d com.apple.quarantine <dir> |
| 2021-04-20 18:55:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-20 18:55:24 | <minoru_shiraeesh> | I remeber being obsessed with the idea of buying very small, almost phone-sized computer |
| 2021-04-20 18:55:39 | <minoru_shiraeesh> | there was a track pad in the middle of a keyboard |
| 2021-04-20 18:56:06 | <minoru_shiraeesh> | it was sony vaio |
| 2021-04-20 18:57:04 | <minoru_shiraeesh> | https://youtu.be/nEBvGDwbh0Y |
| 2021-04-20 18:57:57 | × | lawr3nce quits (~lawr3nce@gateway/tor-sasl/lawr3nce) (Ping timeout: 240 seconds) |
| 2021-04-20 18:58:33 | <maerwald> | "and comfortably touch type" ...looking at how the wrists are bent, I predict RSI within 3 months |
| 2021-04-20 19:00:09 | <maerwald> | most keyboards have RSI speedup legs at the rear side, so the rear is lifted up |
| 2021-04-20 19:00:24 | <maerwald> | while your wrists need the opposite thing |
| 2021-04-20 19:00:58 | <Rembane> | I find that fascinating. I suppose it's an odd fossil from typewriters. |
| 2021-04-20 19:01:47 | <And1> | cjay: Wow, thanks. Thought that would no longer work under Big Sur; good to know! |
| 2021-04-20 19:02:06 | <And1> | maerwald: Missing: COMMAND … so, I guess that works. :) |
| 2021-04-20 19:02:17 | <maerwald> | And1: run `ghcup tui` |
| 2021-04-20 19:02:17 | × | LKoen quits (~LKoen@92.163.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-20 19:02:39 | <maerwald> | so... this could mean that rosetta changed how uname behaves? |
| 2021-04-20 19:02:58 | <maerwald> | that's a good method to globally break all sorts of scripts |
| 2021-04-20 19:03:07 | <And1> | maerwald: Looking at a very nice TUI now. |
| 2021-04-20 19:03:17 | <And1> | Sounds ridiculous somehow. |
| 2021-04-20 19:03:23 | → | LKoen joins (~LKoen@92.163.9.109.rev.sfr.net) |
| 2021-04-20 19:03:26 | × | Tops2 quits (~Tobias@dyndsl-095-033-023-254.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-04-20 19:03:43 | <maerwald> | I'm not sure what's going on. Maybe the other guy from the issue can chime in |
| 2021-04-20 19:04:23 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-20 19:05:43 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-20 19:07:04 | <yushyin> | maerwald: https://i.redd.it/cknkubh7nib61.jpg :D |
| 2021-04-20 19:07:21 | <maerwald> | damn |
| 2021-04-20 19:07:51 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-20 19:07:57 | <maerwald> | maybe I'll try that after I finish my lagrange keyboard |
| 2021-04-20 19:08:17 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-20 19:08:26 | → | Sorny joins (~Sornaensi@85.203.36.21) |
| 2021-04-20 19:08:27 | <And1> | yushyin: WOW. :D |
| 2021-04-20 19:08:45 | <monochrom> | That's l33t. :) |
| 2021-04-20 19:10:21 | <yushyin> | I'm happy with my redox keyboard, but laptop keyboards are now problematic to use |
| 2021-04-20 19:11:07 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-20 19:11:12 | × | Sorna quits (~Sornaensi@077213200034.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-20 19:11:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-20 19:11:46 | <maerwald> | yushyin: https://github.com/dpapavas/lagrange-keyboard#the-lagrange-keyboard |
| 2021-04-20 19:13:33 | <yushyin> | ahh yes, I know about dactyl at least |
| 2021-04-20 19:13:38 | × | lordcirth quits (~lordcirth@2607:f2c0:95b3:4400:f95c:f5c5:5660:38cf) (Remote host closed the connection) |
| 2021-04-20 19:13:54 | <maerwald> | yeah, this is better than dactly imo, especially the build is very well parametrized |
| 2021-04-20 19:14:12 | <maerwald> | and you can print different stands for different tenting angles |
| 2021-04-20 19:14:55 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-20 19:15:06 | <yushyin> | linked it to a friend who was about to build a dactyl |
| 2021-04-20 19:15:10 | → | zva joins (~zava@141.26.31.52) |
| 2021-04-20 19:15:32 | <maerwald> | but the controller is fully custom soldering, so you need some serious patience there |
| 2021-04-20 19:17:11 | <fresheyeball> | so I wrote a TH thing, like this foo :: String -> Q Exp |
| 2021-04-20 19:17:21 | <fresheyeball> | I can use it just fine like so |
| 2021-04-20 19:17:26 | <fresheyeball> | $(foo "bar") |
| 2021-04-20 19:17:42 | <fresheyeball> | is there a way I can view the generated haskell code in ghci? |
| 2021-04-20 19:20:48 | <fresheyeball> | runQ $ foo "bar" |
| 2021-04-20 19:20:59 | <fresheyeball> | works but it's not exactly easy to read Exp literals |
| 2021-04-20 19:23:31 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.44) (Ping timeout: 260 seconds) |
| 2021-04-20 19:23:53 | → | minoru_shiraeesh joins (~shiraeesh@109.166.59.151) |
| 2021-04-20 19:25:52 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-20 19:26:50 | <geekosaur> | :set -ddump-splices ? |
| 2021-04-20 19:26:57 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-20 19:29:34 | <fresheyeball> | geekosaur: thanks |
| 2021-04-20 19:29:36 | <fresheyeball> | that worked |
| 2021-04-20 19:32:08 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-20 19:34:35 | × | And1 quits (~And1@brewington.uberspace.de) (Quit: information\overflow()) |
| 2021-04-20 19:34:55 | → | And1 joins (~And1@brewington.uberspace.de) |
| 2021-04-20 19:39:16 | × | shailangsa quits (~shailangs@host86-186-132-20.range86-186.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2021-04-20 19:39:17 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-20 19:40:25 | → | lawr3nce joins (~lawr3nce@gateway/tor-sasl/lawr3nce) |
| 2021-04-20 19:48:14 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) |
| 2021-04-20 19:49:43 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-20 19:52:29 | × | knupfer quits (~Thunderbi@200116b82b97f0001c582609c5f80b04.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-04-20 19:52:37 | → | knupfer joins (~Thunderbi@200116b82b97f00088ad36c7c6f65050.dip.versatel-1u1.de) |
| 2021-04-20 19:54:31 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 245 seconds) |
| 2021-04-20 19:54:35 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Quit: Leaving...) |
| 2021-04-20 19:57:22 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-20 19:58:16 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-20 19:58:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-20 19:59:38 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-04-20 19:59:38 | Lord_of_Life_ | is now known as Lord_of_Life |
All times are in UTC.