Logs: liberachat/#haskell
| 2021-08-19 19:01:35 | → | anderson joins (~ande@134.209.221.71) |
| 2021-08-19 19:01:37 | feetwind | is now known as Guest6642 |
| 2021-08-19 19:01:39 | → | Unode joins (~Unode@194.94.44.220) |
| 2021-08-19 19:01:47 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 2021-08-19 19:01:54 | <carbolymer> | what monochrom said |
| 2021-08-19 19:02:09 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-19 19:02:09 | [exa] | opens the website |
| 2021-08-19 19:02:20 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-19 19:02:33 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 2021-08-19 19:02:33 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2021-08-19 19:02:33 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2021-08-19 19:02:43 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-19 19:02:50 | <monochrom> | I still haven't used shelly or turtle because I took a very brief look (could be unfair) and thought "thanks, I'll go back to bash". |
| 2021-08-19 19:04:03 | <Lycurgus> | zsh want's to be bash these days |
| 2021-08-19 19:04:28 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-19 19:04:35 | <[exa]> | is it just a bunch of shell-like IO functions? |
| 2021-08-19 19:04:47 | <Lycurgus> | i use it but by running it from bash mostly |
| 2021-08-19 19:05:01 | → | jacks2 joins (~bc8167eb@217.29.117.252) |
| 2021-08-19 19:05:11 | × | yushyin quits (eUaFhTnLYh@karif.server-speed.net) (Quit: WeeChat 3.1) |
| 2021-08-19 19:05:19 | → | yushyin joins (1GanGy3aFa@karif.server-speed.net) |
| 2021-08-19 19:05:34 | → | toms joins (~foobar@pogostick.net) |
| 2021-08-19 19:05:50 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-08-19 19:05:59 | <Lycurgus> | HsSHellScript is what I seem to have selected |
| 2021-08-19 19:06:41 | <carbolymer> | [exa]: yeah, mostly |
| 2021-08-19 19:06:50 | <[exa]> | carbolymer: it's got no | pipe or I/O < redirections? |
| 2021-08-19 19:07:00 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-08-19 19:07:40 | → | AWizzArd joins (~code@gehrels.uberspace.de) |
| 2021-08-19 19:08:06 | <[exa]> | oh my |
| 2021-08-19 19:08:16 | <carbolymer> | monochrom: more or less what I think, but then suddenly I find myself doing loops, arrays and default values in bash and I wonder "why am I doing this to myself" |
| 2021-08-19 19:08:43 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-19 19:08:46 | × | enoq quits (~enoq@2a05:1141:1f5:5600:eb83:919c:c248:eabe) (Quit: enoq) |
| 2021-08-19 19:09:06 | <[exa]> | loops in bash are m'kay if you do them with `while read` or so |
| 2021-08-19 19:09:39 | <carbolymer> | 'while read' = a language without proper loops so let's agree on using those hacks |
| 2021-08-19 19:09:59 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-19 19:10:58 | <[exa]> | how's that not a proper loop? it loops here :D |
| 2021-08-19 19:11:24 | <carbolymer> | Lycurgus: and how do you like it? at first glance it seems to have similar amount of boilerplate comparing to turtle |
| 2021-08-19 19:12:18 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-08-19 19:12:20 | <Lycurgus> | carbolymer, not really used yet, just selected prima facie by it's looks compared to the others |
| 2021-08-19 19:12:34 | <fresheyeball> | does anyone know where hls keeps sqlite? |
| 2021-08-19 19:12:44 | <fresheyeball> | I think if I can delete it's sqlite it will start working again |
| 2021-08-19 19:12:51 | → | catern joins (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2021-08-19 19:12:51 | <Lycurgus> | i need a shell thing for hs, lisp and prolog and it's the hs choice |
| 2021-08-19 19:12:55 | <fresheyeball> | haskell-language-server-8.6.5: SQLite3 returned ErrorIO while attempting to perform step: disk I/O error |
| 2021-08-19 19:13:47 | <[exa]> | fresheyeball: o man, perhaps check `dmesg` |
| 2021-08-19 19:14:15 | <fresheyeball> | [exa]:I don't understand |
| 2021-08-19 19:14:18 | <fresheyeball> | what is dmesg |
| 2021-08-19 19:15:19 | <[exa]> | sounds like your disk may be slightly failing, checking the kernel log is usually the way to see if it's really disk or something less fatal |
| 2021-08-19 19:16:08 | <fresheyeball> | I don't think so |
| 2021-08-19 19:16:13 | <fresheyeball> | I think the sqlite is corrupted |
| 2021-08-19 19:16:31 | <fresheyeball> | This is a brand new NVMe and has no other indictation of problems |
| 2021-08-19 19:16:38 | <joeyh> | I have seen sqlite fail with that exact message on some filesystems due to problems with locking |
| 2021-08-19 19:17:07 | <fresheyeball> | question is, how to get hls to clean up after itself |
| 2021-08-19 19:18:22 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-19 19:18:27 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-19 19:19:03 | <cryptogainz> | Sooo, no one here interested in Cardano/Plutus? |
| 2021-08-19 19:19:23 | <fresheyeball> | cryptogainz: how can I help you? |
| 2021-08-19 19:20:04 | <fresheyeball> | my company writes plutus |
| 2021-08-19 19:20:14 | <fresheyeball> | or writes IN plutus |
| 2021-08-19 19:20:55 | × | urdh quits (~urdh@user/urdh) (Quit: Boom!) |
| 2021-08-19 19:20:57 | <cryptogainz> | Well I'm struggling to understand some Cardano/Plutus notions. Are you familiar with the blockchain itself? |
| 2021-08-19 19:21:40 | × | chomwitt quits (~chomwitt@ppp-94-67-193-240.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-08-19 19:21:55 | <[exa]> | cryptogainz: don't ask to ask, just ask |
| 2021-08-19 19:22:18 | <[exa]> | cryptogainz: at worst the question won't be on topic and we'll send you to offtopic channel. |
| 2021-08-19 19:22:41 | <jacks2> | kuribas, do you know about upcoming RecordDotSyntax extension? |
| 2021-08-19 19:22:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-19 19:23:17 | <kuribas> | jack2: not much... |
| 2021-08-19 19:24:06 | <kuribas> | jack2: looks neat, from what I have seen. But I'll wait until it is in a stable ghc version. |
| 2021-08-19 19:24:07 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2021-08-19 19:24:21 | <cryptogainz> | Well, it's a long question so here it goes. Cardano tokens live natively on the blockchain. Unlike Solidity tokens which are being minted through a smart contract (which includes gimmicks like taxes per tx, etc.) Cardano tokens are pure tokens. After that, you need Plutus smart contracts (or scripts as they call them) to make the tokens "gimmicky". My question is actually, how would that work in practice? I mint a token, I |
| 2021-08-19 19:24:21 | <cryptogainz> | wrote a Plutus script and then what? I send the token to the smart contract address (if there even is such a thing)? Maybe this is offtopic but I don't know who to ask if not Plutus/Haskell devs |
| 2021-08-19 19:24:22 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-08-19 19:25:43 | <[exa]> | ok it's slightly offtopic :] |
| 2021-08-19 19:25:47 | <fresheyeball> | cryptogainz: so you can mint tokens |
| 2021-08-19 19:26:14 | <fresheyeball> | they don't need to be related to ADA specifically |
| 2021-08-19 19:26:18 | <fresheyeball> | you can shitcoin |
| 2021-08-19 19:26:30 | <fresheyeball> | keep in mind, you can have arbitrary state |
| 2021-08-19 19:26:37 | <fresheyeball> | that state could be a second ledger |
| 2021-08-19 19:27:21 | <[exa]> | and I'm totally lost in bitcoin jargon it seems |
| 2021-08-19 19:27:37 | <jacks2> | kuribas, it will ship with the next stable version |
| 2021-08-19 19:27:40 | <cryptogainz> | How do you mean they don't need to be related to ADA specifically? |
| 2021-08-19 19:28:05 | <cryptogainz> | Hahaha exa, yea, it's hard to keep up with everything |
| 2021-08-19 19:30:50 | <sm> | cryptogainz: sounds like you got luck and found an expert, but also there's the free plutus training materials |
| 2021-08-19 19:31:29 | <cryptogainz> | Well, I tried the first 3 "lectures" but unfortunately this wasn't explained at all so I was hoping someone here knew the answer before I went through 12-13 extra hours of lectures |
| 2021-08-19 19:31:35 | <jacks2> | kuribas, I don't know how to post links to reddit posts [share link doesn't work], so here's a copy/pasted example. some are not thrilled with this extension, but personally, I can't wait for it. https://pastebin.com/47siAfMk |
| 2021-08-19 19:32:15 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Quit: Leaving) |
| 2021-08-19 19:32:30 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-08-19 19:33:28 | <sm> | I hear that |
| 2021-08-19 19:34:45 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-19 19:35:29 | <kuribas> | jacks2: not polluting the namespace with accessor functions will be great. |
| 2021-08-19 19:37:55 | <jacks2> | yes |
| 2021-08-19 19:38:30 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-19 19:39:14 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-19 19:40:25 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-19 19:41:10 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-19 19:41:10 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2021-08-19 19:43:04 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-08-19 19:46:09 | × | aman quits (~aman@user/aman) (Ping timeout: 248 seconds) |
| 2021-08-19 19:46:33 | → | aman joins (aman@user/aman) |
| 2021-08-19 19:48:19 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-19 19:50:03 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
All times are in UTC.