IRC channel logs

2018-08-07.log

back to list of logs

<daviid>heya!
<daviid>dsmith-work: yes, developing apps for the librem5 phone, using guile, since they use debian as their os and gnome as the phone desktop (one will be able to use plasma as well)
<daviid>dsmith-work: postgres servers would run on ... servers. one can write an app, for the librem5 that uses libpq, or sqlite3 ... my concerns wrt postgres is platform independent: what we have is not good enough, imo
<daviid>amz31: what's the problem wrt latex?
<daviid>it would be nice to also improve our sqlite3 bindings, the bindings themselves, adding a manual ... but at least we can trust what we have (there are used by guix, and daniel did a good job to improve things recently, however it could have a web site, a good tutorial, releases ...
<daviid>lloda: are there? I have a question for you :)
<lloda>sneek: later tell daviid what time are you on? I can try to login tonight
<sneek>Got it.
<wingo>ACTION starts implementing jit for the various opcodes
***chimez1 is now known as chimez
***Mattias__ is now known as Cork
<OrangeShark>There is a new little book! https://mitpress.mit.edu/books/little-typer
<roelj>Is there a convenient way to merge pairs with the same key in an alist? So, transforming: ((a . b) (c . d) (a . e)), into: ((a . (b e)) (c . d))?
<rekado>roelj: does it *have* to be an alist?
<roelj>rekado: No..
<rekado>roelj: I don’t know if that’s convenient but you can fold over the alist item by item and accumulate the new alist.
<roelj>Right. Thanks!
<rekado>roelj: while you’re here: should we open an IRC channel for the gwl?
<roelj>rekado: Possibly. The mailing list is pretty quiet, so I wonder whether the same would happen to a gwl channel..
<ng0>we have more bots in libmicrohttpd than people.. but it exists if people need it.. same for gwl maybe?
<roelj>It probably can't hurt
***decal is now known as Combinatorialist
<amz31>daviid: no problem with latex it's just that what I am working on is so niche, that almost no conference is suitable for it
<amz31>daviid: also lloda is looking for you
<daviid>hello!
<sneek>Welcome back daviid, you have 1 message.
<sneek>daviid, lloda says: what time are you on? I can try to login tonight
<daviid>amz31: tx
<daviid>lloda: 'll write the quiz here (later, I'm on something else now) then yu can answer whenever you're happy/free to do so, no worries, and tx
<amz31>OrangeShark: I started PhD on my free time https://fr.wikiversity.org/wiki/Recherche:Pens%C3%A9es_Profondes_et_Dialogues_Pertinents
<amz31>I am not sure about the french.