Logs: liberachat/#haskell
| 2021-08-11 09:57:00 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 276 seconds) |
| 2021-08-11 09:57:26 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 2021-08-11 09:57:36 | → | chomwitt joins (~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374) |
| 2021-08-11 09:57:37 | → | MorrowM joins (~Morrow@176.12.208.59) |
| 2021-08-11 09:57:55 | <Gurkenglas> | (but even so - is there a library that wraps many reasonable usecases but not all, and perhaps another module that wraps all the reasonable usecases and then some, to find a tighter upper bound on the unattainable?) |
| 2021-08-11 09:58:58 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-11 09:59:35 | <Gurkenglas> | (Same for unsafeCoerce, of course, where Gödel says we can at most do the latter nested interval sequence) |
| 2021-08-11 10:02:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-11 10:02:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 10:03:14 | → | fendor_ joins (~fendor@212095005136.public.telering.at) |
| 2021-08-11 10:04:24 | × | fendor quits (~fendor@213162073240.public.t-mobile.at) (Ping timeout: 268 seconds) |
| 2021-08-11 10:05:43 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:3164:2b89:620b:cb12) |
| 2021-08-11 10:07:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-11 10:07:33 | → | montxero joins (~user@149.167.149.74) |
| 2021-08-11 10:07:48 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 10:08:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 10:12:28 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-11 10:15:47 | × | davros quits (~davros@host86-184-180-96.range86-184.btcentralplus.com) (Remote host closed the connection) |
| 2021-08-11 10:16:16 | × | akronymus quits (~akronymus@85.31.8.181) (Ping timeout: 246 seconds) |
| 2021-08-11 10:18:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-11 10:19:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 10:21:04 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9574c56a490b8c03a837.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-11 10:25:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-11 10:25:37 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2021-08-11 10:25:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 10:30:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-11 10:30:58 | × | fendor_ quits (~fendor@212095005136.public.telering.at) (Read error: Connection reset by peer) |
| 2021-08-11 10:31:05 | → | akronymus joins (~akronymus@85.31.8.181) |
| 2021-08-11 10:31:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 10:32:08 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-11 10:32:15 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-11 10:35:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-11 10:35:17 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-11 10:35:43 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-11 10:37:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-11 10:37:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 10:39:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-11 10:43:13 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds) |
| 2021-08-11 10:43:45 | → | bin_ joins (~bin@user/bin/x-1583188) |
| 2021-08-11 10:43:52 | × | _bin quits (~bin@user/bin/x-1583188) (Ping timeout: 268 seconds) |
| 2021-08-11 10:45:15 | → | OscarH_ joins (~OscarH@97e48a81.skybroadband.com) |
| 2021-08-11 10:45:58 | × | OscarH quits (~OscarH@97e48a81.skybroadband.com) (Ping timeout: 272 seconds) |
| 2021-08-11 10:47:21 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-08-11 10:47:54 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-08-11 10:48:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-11 10:48:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 10:52:21 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-11 10:53:43 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-11 10:56:27 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-11 10:56:57 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-11 10:57:37 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 248 seconds) |
| 2021-08-11 10:58:39 | → | Guest46 joins (~Guest46@2a01:4b00:8099:2b00:a808:2632:c145:d901) |
| 2021-08-11 10:58:39 | <Guest46> | hi |
| 2021-08-11 10:59:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-11 10:59:28 | <Guest46> | how nice is purescript frontend + haskell backend as a development experience? |
| 2021-08-11 11:00:08 | <Guest46> | i was thinking of making a website that lets you run code online but ties into the compiler for integration/tips or maybe language server |
| 2021-08-11 11:00:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 11:00:24 | <Guest46> | is it better to do everything on the backend and have a very dumb front end? |
| 2021-08-11 11:01:01 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-11 11:01:44 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-11 11:03:42 | <maerwald[m]> | Guest46: typescript + haskell is better |
| 2021-08-11 11:03:55 | <Guest46> | could you explain please? |
| 2021-08-11 11:04:17 | ← | akronymus parts (~akronymus@85.31.8.181) () |
| 2021-08-11 11:04:33 | × | MorrowM quits (~Morrow@176.12.208.59) (Ping timeout: 248 seconds) |
| 2021-08-11 11:04:50 | <maerwald[m]> | purescript isn't popular, lacks documentation, requires effort to integrate with certain js libraries, etc etc |
| 2021-08-11 11:04:56 | <maerwald[m]> | doesn't bring much to the table compared to typescript |
| 2021-08-11 11:05:14 | <Guest46> | is elm better? |
| 2021-08-11 11:05:43 | <Guest46> | i tried Rust with Seed (web assembly frontend) and found a bunch of strange runtime problems |
| 2021-08-11 11:06:06 | <maerwald[m]> | have never used elm... not sure why I would choose that over typescript either |
| 2021-08-11 11:06:35 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-11 11:06:44 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-11 11:06:44 | <maerwald[m]> | the language isn't even exciting (unlike purescript) |
| 2021-08-11 11:08:02 | × | Guest46 quits (~Guest46@2a01:4b00:8099:2b00:a808:2632:c145:d901) (Quit: Client closed) |
| 2021-08-11 11:08:15 | → | Guest46 joins (~Guest46@2a01:4b00:8099:2b00:a808:2632:c145:d901) |
| 2021-08-11 11:09:50 | <Guest46> | hmm maybe typescript is best |
| 2021-08-11 11:09:56 | <Guest46> | i'm guessing that asterius is still not usable?? |
| 2021-08-11 11:10:04 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-11 11:10:54 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Ping timeout: 258 seconds) |
| 2021-08-11 11:15:42 | → | Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) |
| 2021-08-11 11:15:49 | <nf> | int-e: hi! would you consider releasing a new lambdabot version please? |
| 2021-08-11 11:18:48 | <int-e> | oh wow, has it been a year already? |
| 2021-08-11 11:21:01 | × | jneira quits (~jneira@212.8.115.226) (Ping timeout: 246 seconds) |
| 2021-08-11 11:22:41 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Remote host closed the connection) |
| 2021-08-11 11:22:51 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 2021-08-11 11:23:19 | × | Arsen quits (~arsen@managarm/dev/Arsen) (Quit: Quit.) |
| 2021-08-11 11:24:12 | → | Arsen joins (~arsen@managarm/dev/Arsen) |
| 2021-08-11 11:29:12 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-11 11:30:01 | <Guest46> | int-e sorry if this is a dumb question but how does lambda bot ensure it is secure? like running random bits of code off the internet |
| 2021-08-11 11:30:09 | <Guest46> | not that the expressions are complicated |
| 2021-08-11 11:31:57 | <int-e> | Guest46: well, it leverages SafeHaskell and the type system to avoid running arbitrary IO. But I've also sandboxed mueval (which is what compiles and runs the Haskell code for lambdabot)... |
| 2021-08-11 11:33:25 | <merijn> | Guest46: Yahb doesn't bother with safe haskell at all and relies on just sandboxing |
| 2021-08-11 11:33:39 | <merijn> | % readFile "/etc/passwd" >>= putStrLn |
| 2021-08-11 11:33:40 | <yahb> | merijn: *** Exception: /etc/passwd: openFile: does not exist (No such file or directory) |
| 2021-08-11 11:33:50 | <Guest46> | huh interesting so like a linux container |
| 2021-08-11 11:33:53 | <Guest46> | or virtual machine? |
| 2021-08-11 11:34:07 | <merijn> | That or something like a BSD jail, yeah |
| 2021-08-11 11:34:10 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-08-11 11:34:16 | <merijn> | With limited network access, presumably |
| 2021-08-11 11:34:25 | <merijn> | > print True |
| 2021-08-11 11:34:26 | <lambdabot> | <IO ()> |
All times are in UTC.