Logs: liberachat/#haskell
| 2021-08-29 16:15:10 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2021-08-29 16:16:50 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-08-29 16:18:15 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-08-29 16:19:48 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-08-29 16:22:55 | → | max22- joins (~maxime@2a01cb088335980041b62e3fe7894c02.ipv6.abo.wanadoo.fr) |
| 2021-08-29 16:26:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) |
| 2021-08-29 16:27:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-29 16:28:27 | × | Philonous quits (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 2021-08-29 16:28:58 | → | Philonous joins (~Philonous@user/philonous) |
| 2021-08-29 16:28:59 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Remote host closed the connection) |
| 2021-08-29 16:29:02 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 250 seconds) |
| 2021-08-29 16:29:14 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) |
| 2021-08-29 16:34:25 | → | theproffesor joins (~theproffe@2601:282:847f:8010::f411) |
| 2021-08-29 16:34:25 | × | theproffesor quits (~theproffe@2601:282:847f:8010::f411) (Changing host) |
| 2021-08-29 16:34:25 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 2021-08-29 16:35:36 | × | goepsilongo quits (~goepsilon@2603-7000-ab00-62ed-71d9-8352-a788-43f1.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-29 16:38:38 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-29 16:40:09 | ← | theproffesor parts (~theproffe@user/theproffesor) (Leaving) |
| 2021-08-29 16:41:06 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-08-29 16:41:27 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2021-08-29 16:45:56 | × | azeem quits (~azeem@176.201.91.107) (Ping timeout: 250 seconds) |
| 2021-08-29 16:46:50 | → | azeem joins (~azeem@176.201.91.107) |
| 2021-08-29 16:52:58 | <siers> | tomsmeding, I learned more about GADTs and your gdiff implementation for a list now makes more sense. \o/ |
| 2021-08-29 16:55:14 | <siers> | tomsmeding, gdiff I think was initially written for agda, so all the dependent typeish machinery in haskell stands in the way of 'getting it' for me |
| 2021-08-29 16:56:50 | × | elf-fortrez quits (~elf-fortr@adsl-72-50-7-254.prtc.net) (Quit: Client closed) |
| 2021-08-29 16:59:10 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-29 17:07:29 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-29 17:09:32 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-29 17:11:26 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-29 17:14:40 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-29 17:14:58 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-08-29 17:17:31 | × | kenran quits (~kenran@200116b82b59720074ec92b473a42299.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-08-29 17:18:05 | → | kenran joins (~kenran@200116b82b59720051f2433385ad7a5b.dip.versatel-1u1.de) |
| 2021-08-29 17:23:45 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2021-08-29 17:23:50 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-08-29 17:31:37 | <siers> | does reflex frp have some runnable examples in the browser? |
| 2021-08-29 17:31:45 | × | azeem quits (~azeem@176.201.91.107) (Ping timeout: 248 seconds) |
| 2021-08-29 17:32:18 | → | azeem joins (~azeem@176.201.91.107) |
| 2021-08-29 17:35:07 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-08-29 17:41:53 | <Cale> | I have some random bits and pieces accumulated by helping people with random things. https://cale.l5.ca/Demos/ |
| 2021-08-29 17:42:18 | <Cale> | I'm a bit sad that the PrismataUnits one no longer works... |
| 2021-08-29 17:42:19 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-29 17:43:07 | <siers> | nice! |
| 2021-08-29 17:49:04 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-29 17:52:05 | × | t3hyoshi quits (~snicf@2600:8804:1b96:4900:759f:c8d1:b667:e4fb) (Quit: Konversation terminated!) |
| 2021-08-29 17:53:37 | × | azeem quits (~azeem@176.201.91.107) (Ping timeout: 248 seconds) |
| 2021-08-29 17:56:39 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2021-08-29 17:57:55 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-29 17:58:41 | <mastarija> | Do we have any markdown parser that also supports those yaml headers? And isn't pandoc / pandoc dependent? |
| 2021-08-29 17:59:41 | <sm> | could you rephrase that ? |
| 2021-08-29 17:59:47 | <Rembane_> | mastarija: Do you need a markdown parser that isn't Pandoc? Because Pandoc supports it. |
| 2021-08-29 18:00:13 | <mastarija> | Rembane_, yes, something that isn't Pandoc |
| 2021-08-29 18:00:18 | <mastarija> | something small |
| 2021-08-29 18:00:42 | <sm> | search hackage for "markdown" with google (some packages don't have it in their name IIRC) |
| 2021-08-29 18:01:06 | <mastarija> | sm, will try |
| 2021-08-29 18:01:39 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-08-29 18:01:41 | <mastarija> | all I've found on hackage so far was pure markdown, but I want some metadata with my markdown |
| 2021-08-29 18:02:02 | <Lycurgus> | is pandoc still a thing? |
| 2021-08-29 18:02:12 | <mastarija> | Lycurgus, a big thing |
| 2021-08-29 18:02:41 | <Lycurgus> | ah good just checking |
| 2021-08-29 18:03:29 | <Rembane_> | mastarija: If you don't find anything that supports YAML headers you can parse out the header first yourself and then send the rest to the markdown parser |
| 2021-08-29 18:03:39 | <mastarija> | Yes, that's my backup plan |
| 2021-08-29 18:03:50 | <mastarija> | But I've found mmark now |
| 2021-08-29 18:04:03 | <mastarija> | Put markdown and yaml in google and that came out |
| 2021-08-29 18:04:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-29 18:04:28 | <sm> | mastarija, cmark or cheapskate seem the way to go |
| 2021-08-29 18:04:40 | <davean> | mastarija: you don't do metadata with markdown, yaml the spec has a thing for trailing data that you would THEN feed into markdown processors |
| 2021-08-29 18:04:48 | <sm> | or mmark |
| 2021-08-29 18:04:54 | <mastarija> | davean, ah... yes |
| 2021-08-29 18:05:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-29 18:05:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-29 18:05:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-29 18:05:09 | <mastarija> | I was thinking that maybe I'm going about it the wrong way |
| 2021-08-29 18:05:19 | <davean> | mastarija: yep |
| 2021-08-29 18:05:23 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-29 18:05:24 | <mastarija> | but then again, I'm looking for out of the box experience |
| 2021-08-29 18:05:26 | <davean> | Nice and easy actually |
| 2021-08-29 18:05:53 | <mastarija> | davean, so maybe I can use cmark + yaml package |
| 2021-08-29 18:07:10 | <mastarija> | davean, do you maybe know of an example, how does one access the trailing data, is it a special YAML field name? |
| 2021-08-29 18:07:11 | <davean> | mastarija: yep |
| 2021-08-29 18:07:34 | <davean> | Oh god, I haven't done this in a few years lets see if I remember |
| 2021-08-29 18:07:52 | <mastarija> | :) |
| 2021-08-29 18:08:33 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-29 18:08:35 | <davean> | I stopped using YAML bcause of how insane the spec is |
| 2021-08-29 18:09:38 | <mastarija> | I always heard about the spec being insane, but for me it's just JSON without braces |
| 2021-08-29 18:10:11 | [exa] | makes a wish for a decent bencode editor |
| 2021-08-29 18:10:14 | <davean> | ITS VERY MUCH NOT and you can't safely expect thats what it is |
| 2021-08-29 18:10:31 | <davean> | mastarija: Your files can extremely violate that idea |
| 2021-08-29 18:10:35 | <davean> | and no, I don't recall sadly |
| 2021-08-29 18:10:59 | <davean> | Theres a reason there are multiple CSVs of "used yaml as a file format" |
| 2021-08-29 18:11:15 | <mastarija> | I meant, it's JSON for me because how I use it. I'm sure others might have some horror stories :D |
| 2021-08-29 18:11:32 | <davean> | A fully compliant YAML parser can cause arbitrary code execution during decoding :-p |
| 2021-08-29 18:11:57 | <mastarija> | Lol |
| 2021-08-29 18:12:00 | <davean> | if you only get YAML files from yourself thats fine |
| 2021-08-29 18:12:05 | <davean> | but if someone else can create them? |
| 2021-08-29 18:12:08 | <davean> | Uh |
| 2021-08-29 18:12:15 | <davean> | Enjoy being their cloud provider? :) |
| 2021-08-29 18:13:25 | <davean> | Luckily I don't think theres any YAML parsers that can even do that in Haskell because Haskell doesn't make hooking like that make sense |
| 2021-08-29 18:13:43 | <davean> | but its happened a large number of times in practice |
| 2021-08-29 18:13:47 | <mastarija> | Honestly, I was always a bit skeptical about configuration "languages". Maybe because I don't do very complicated stuff, but things like nix or dhall always look like complications, rather than solutions to me |
All times are in UTC.