Logs: liberachat/#haskell
| 2021-06-29 13:08:06 | <Athas> | pledge() is stupidly simple and inflexible, but used pervasively in the OpenBSD userland. Linux's seccomp is extremely fine-grained, but used only by very large and complex programs (like browsers, for sandboxing). |
| 2021-06-29 13:09:23 | <Athas> | But perhaps this is better suited for #haskell-offtopic. |
| 2021-06-29 13:09:27 | <Athas> | So how about those monoids, huh? |
| 2021-06-29 13:10:37 | <gensyst> | AppArmor doesn't BY DEFAULT isolate an IRC client (which by default has access to entire home folder), making it too dangerous to use. (And even if I could write a configuration to isolate it, nobody is using AppArmor this way so it's a PITA to even try.) |
| 2021-06-29 13:10:38 | <Taneb> | As an on-topic thought, is "data NonEmpty f a = a :| f a; instance Foldable1 f => Foldable (NonEmpty f)" sensible? Useful? Does it have any other instances? |
| 2021-06-29 13:10:48 | <gensyst> | I don't recall now why I discarded SELinux honestly |
| 2021-06-29 13:11:14 | <maerwald> | written by NSA? ;) |
| 2021-06-29 13:11:26 | <gensyst> | Seems like jails have a similar issue. The default behavior is dangerous. |
| 2021-06-29 13:11:33 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-06-29 13:11:50 | <gensyst> | Qubes is cool: I simply can't use an IRC client on an offline qube. problem solved |
| 2021-06-29 13:12:07 | <maerwald> | Is Qubes still developed? |
| 2021-06-29 13:12:10 | <gensyst> | yeah |
| 2021-06-29 13:12:10 | <Athas> | Taneb: hm. It seems to me that it makes certain assumptions about what 'f a' is. |
| 2021-06-29 13:12:18 | <Athas> | Namely that the 'a's are in positive position. |
| 2021-06-29 13:12:44 | <gensyst> | maerwald, https://www.qubes-os.org/news/ |
| 2021-06-29 13:12:44 | <Athas> | What if 'f = ((->) Int)'? |
| 2021-06-29 13:12:59 | <maerwald> | Afair the biggest problem on Qubes is the GPU |
| 2021-06-29 13:13:53 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-29 13:14:09 | <merijn> | Athas: Pledge is brilliant and everyone should copy it |
| 2021-06-29 13:14:25 | <merijn> | Athas: But linux won't, because they suffer from extremely fatal doses of NIH >.> |
| 2021-06-29 13:15:07 | <Taneb> | Athas: then it wouldn't have many useful instances. Invariant and Copointed don't count |
| 2021-06-29 13:15:53 | <nshepperd2> | Taneb: surely you mean Foldable f => Foldable1 (NonEmpty f) |
| 2021-06-29 13:16:03 | <Taneb> | nshepperd2: oh, yes indeed |
| 2021-06-29 13:16:11 | <Taneb> | Good catch |
| 2021-06-29 13:16:14 | <gensyst> | merijn, thanks for the raadt suggestion. will watch his stuff |
| 2021-06-29 13:16:32 | <nshepperd2> | anyway that's Product Identity, so it has pretty much all these instances https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Functor-Product.html |
| 2021-06-29 13:17:34 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 246 seconds) |
| 2021-06-29 13:18:36 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-06-29 13:18:45 | <gensyst> | maerwald, yeah that's an issue. if i need a gpu one day (e.g. machine learning), my plan is to have a separate machine for that. |
| 2021-06-29 13:19:30 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-06-29 13:19:40 | <nshepperd2> | i guess some of the instances could be written different though |
| 2021-06-29 13:20:02 | <maerwald> | I can also imagine that speech recognition software that hooks into X etc will be heavily broken |
| 2021-06-29 13:20:13 | × | dhil quits (~dhil@195.213.192.47) (Remote host closed the connection) |
| 2021-06-29 13:20:14 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-29 13:21:44 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-29 13:23:38 | zinc_ | is now known as zinc |
| 2021-06-29 13:30:40 | × | matsurago quits (~matsurago@p0111337-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp) (Quit: Leaving) |
| 2021-06-29 13:31:06 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-06-29 13:33:54 | × | offpics quits (~offpics@89-79-56-128.dynamic.chello.pl) (Read error: Connection reset by peer) |
| 2021-06-29 13:34:49 | × | gensyst quits (gensyst@user/gensyst) (Quit: Leaving) |
| 2021-06-29 13:41:22 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-06-29 13:42:49 | → | chomwitt joins (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-06-29 13:44:24 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) |
| 2021-06-29 13:46:57 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-06-29 13:48:43 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) (Ping timeout: 256 seconds) |
| 2021-06-29 13:49:25 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 246 seconds) |
| 2021-06-29 13:50:42 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-29 13:51:16 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-29 13:51:44 | → | laguneucl joins (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-06-29 13:56:06 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 256 seconds) |
| 2021-06-29 13:56:37 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-29 13:58:21 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-29 13:59:27 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-29 13:59:30 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 240 seconds) |
| 2021-06-29 14:00:14 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-29 14:00:19 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-29 14:00:34 | → | _xor joins (~xor@74.215.46.133) |
| 2021-06-29 14:01:06 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2021-06-29 14:01:57 | × | _xor quits (~xor@74.215.46.133) (Client Quit) |
| 2021-06-29 14:02:28 | → | _xor joins (~xor@74.215.46.133) |
| 2021-06-29 14:02:50 | × | _xor quits (~xor@74.215.46.133) (Client Quit) |
| 2021-06-29 14:03:07 | → | _xor joins (~xor@74.215.46.133) |
| 2021-06-29 14:05:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-29 14:08:30 | → | jneira_ joins (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) |
| 2021-06-29 14:12:13 | → | fendor_ joins (~fendor@77.119.195.142.wireless.dyn.drei.com) |
| 2021-06-29 14:12:52 | → | noctux joins (~noctux@user/noctux) |
| 2021-06-29 14:15:10 | × | fendor quits (~fendor@77.119.197.237.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-06-29 14:16:26 | → | motte_ joins (~weechat@82.131.107.112.cable.starman.ee) |
| 2021-06-29 14:17:57 | × | noctux quits (~noctux@user/noctux) (Ping timeout: 268 seconds) |
| 2021-06-29 14:18:02 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-29 14:18:52 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-29 14:19:54 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 256 seconds) |
| 2021-06-29 14:22:44 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-29 14:23:47 | → | noctux joins (~noctux@user/noctux) |
| 2021-06-29 14:26:25 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-29 14:30:35 | → | niHiggim joins (~niHiggim@sas08006.nat.sas.com) |
| 2021-06-29 14:31:14 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-06-29 14:33:02 | × | niHiggim quits (~niHiggim@sas08006.nat.sas.com) (Client Quit) |
| 2021-06-29 14:36:20 | × | noctux quits (~noctux@user/noctux) (Ping timeout: 256 seconds) |
| 2021-06-29 14:36:28 | → | noctux joins (~noctux@user/noctux) |
| 2021-06-29 14:38:08 | → | fizbin joins (~fizbin@162-252-228-60-static.hfc.comcastbusiness.net) |
| 2021-06-29 14:38:58 | → | Pickchea joins (~private@user/pickchea) |
| 2021-06-29 14:43:06 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 240 seconds) |
| 2021-06-29 14:44:26 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-29 14:44:46 | × | noctux quits (~noctux@user/noctux) (Ping timeout: 272 seconds) |
| 2021-06-29 14:46:32 | fendor_ | is now known as fendor |
| 2021-06-29 14:48:42 | → | noctux joins (~noctux@user/noctux) |
| 2021-06-29 14:50:45 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-29 14:52:07 | deni2 | is now known as deni |
| 2021-06-29 14:53:09 | → | Shaeto joins (~Shaeto@94.25.234.81) |
| 2021-06-29 14:53:20 | × | noctux quits (~noctux@user/noctux) (Ping timeout: 256 seconds) |
| 2021-06-29 14:53:50 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-06-29 14:55:32 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-06-29 14:58:50 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-29 15:00:33 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) |
| 2021-06-29 15:00:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-29 15:01:08 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-06-29 15:04:26 | → | theproffesor joins (~theproffe@2601:282:847f:8010::3a29) |
| 2021-06-29 15:04:35 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-29 15:04:35 | × | theproffesor quits (~theproffe@2601:282:847f:8010::3a29) (Changing host) |
All times are in UTC.