| --- Log opened Tue Oct 08 00:00:19 2019 |
| 00:05 | | Degi [Degi@Nightstar-2m6rsi.dyn.telefonica.de] has quit [Operation timed out] |
| 00:27 | <&McMartin> | So, anyone decided to break Steam^W^Winstall macOS Catalina yet |
| 00:31 | <~Vornicus> | how do they keep doing that |
| 00:31 | <~Vornicus> | and/or why |
| 00:32 | <&McMartin> | In this case: Steam's core application still has 32-bit components |
| 00:33 | <~Vornicus> | meanwhile I am *right now* running a program on Windows that is from the 90s. |
| 00:33 | <&McMartin> | To be fair, MS totally did drop support for the oldest architectures |
| 00:33 | <&McMartin> | By which I mean 16-bit unprotected memory mode |
| 00:34 | <~Vornicus> | Yes. |
| 00:34 | <&McMartin> | Some 90s programs would fail that criterion~ |
| 00:34 | <~Vornicus> | I can't precisely blame them on that one |
| 00:34 | <&McMartin> | (Including my mom's old version of PrintMaster, which she still occasionally grouses about) |
| 00:34 | <~Vornicus> | but like, dosbox. it's a thing. |
| 00:35 | <~Vornicus> | emulating macs seems to be a dark art at every level |
| 00:35 | <&McMartin> | Hardware DRM, hooray |
| 00:40 | <@sshine> | god, this is so satisfying. working with Emacs and 'lsp-mode' in a freshly configured system. we're close to the time where IDE support in arbitrary language and arbitrary editor is doable. |
| 00:46 | | Kindamoody is now known as Kindamoody[zZz] |
| 00:59 | | celmin|away is now known as celticminstrel |
| 01:21 | <@Reiv> | sshine: Provided the 'arbitary editor' is emacs? |
| 01:21 | <@Reiv> | which, I mean |
| 01:21 | <@Reiv> | emacs isn't an editor |
| 01:22 | <@Reiv> | It's an operating system~ |
| 01:22 | <@sshine> | Reiv, no, LSP originates from Microsoft. I think VSCode has the best support. |
| 01:23 | <@sshine> | the Emacs support really isn't good yet. to get good Emacs support, the language server (in Haskell's case, ghcide or haskell-ide-engine) has to play along with four Emacs packages maintained by different people. |
| 01:24 | <@Reiv> | To be needlessly flippant, that merely sounds like "Something made in *nix in general" >_> |
| 01:24 | <@sshine> | heh, yes |
| 01:24 | <@sshine> | sorry, three. that is, lsp-mode, lsp-ui, lsp-haskell. |
| 01:25 | <@sshine> | https://i.ibb.co/m5n6B7Z/lsp-mode.png <- the grey box on the top are type hints, and the red lines indented weirdly out in the free area are type errors. |
| 01:26 | <@sshine> | I have no idea why it does that. this is probably some problem in the link between lsp-ui and lsp-haskell, although it could be ghcide that doesn't annotate things correctly, for all I know. |
| 01:27 | <@sshine> | Reiv, but I imagine a day in a few years where most mainstream languages have an LSP server, and VSCode and a few other editors work well with them, and Vim and Emacs have somewhat tolerable support, too. |
| 01:27 | | * McMartin checks LSP |
| 01:28 | <&McMartin> | Yeah. LSP seems to have been invented for the express purpose of letting Visual Studio Code be easily extensible, and then Red Hat signed on to help make it be an actual open standard |
| 01:28 | <&McMartin> | The protocol itself seems to be mostly JSON? |
| 01:28 | <@sshine> | yes, I think so. |
| 01:28 | <@sshine> | maybe it'll support some binary variant of JSON eventually. |
| 01:29 | <&McMartin> | Aren't there lossless binary JSON-equivalents already? |
| 01:29 | | * McMartin has a vague memory of something named "SMILE" |
| 01:29 | <@sshine> | yes, lots. |
| 01:29 | <@sshine> | there are so many I don't know which one to prefer. |
| 01:31 | <@sshine> | so, LSP support in VSCode is so nice I changed to VSCode for a while, just to try it out. unfortunately VSCode doesn't run well over remote SSH, and I miss how Emacs major modes for my languages handle <Tab> for indentation. |
| 02:06 | | Vorntastic [uid293981@Nightstar-6br85t.irccloud.com] has quit [[NS] Quit: Connection closed for inactivity] |
| 02:14 | <&[R]> | <McMartin> Aren't there lossless binary JSON-equivalents already? <-- BSON from MongoDB |
| 03:09 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Connection closed] |
| 03:18 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 03:18 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 03:18 | | mode/#code [+o Reiv] by ChanServ |
| 03:19 | | * ToxicFrog screams at HTML/CSS |
| 03:20 | <&ToxicFrog> | <td style="vertical-align:middle"> works great unless there is an <img> inside the cell |
| 03:20 | <&[R]> | Probably depends on the render engine too |
| 03:20 | <&ToxicFrog> | At which point "middle" stops working and only "top" and "bottom" are recognized. |
| 03:20 | <&ToxicFrog> | (as in, even with mixed images and text, it doesn't work for either. Remove the images and the text is properly aligned.) |
| 03:21 | <&[R]> | :/ |
| 03:22 | < Mahal> | does img style="vertical-align:middle" work ? |
| 03:23 | <&ToxicFrog> | Mahal: bafflingly, yes, adding that to the image fixes the text |
| 03:23 | <&ToxicFrog> | Thank you, but also, wtf |
| 03:24 | < Mahal> | ^.^ |
| 03:37 | <@Reiv> | And this is why #Code exists, nowadays: For domain experts to talk past each other until the magical moment when they can help one another~ |
| 03:40 | < Mahal> | Is this where I point out that I haven't done any web development since 2007? |
| 04:50 | | * Alek eyebrows, wonders if this example, extended in principle, might fix the website he himself is supposed to be working on. |
| 05:12 | <@Reiv> | Mahal: So?~ |
| 05:34 | | Derakon is now known as Derakon[AFK] |
| 06:11 | | celticminstrel [celticminst@Nightstar-ocfc15.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
| 07:23 | | Kindamoody[zZz] is now known as Kindamoody|afk |
| 09:13 | | * ErikMesoy winces at learning the Intellij IDE where Ctrl-O does not mean Open file. It sometimes does nothing and sometimes pops up an 'Override method' dialog. |
| 09:33 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 09:33 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 10:58 | | Reiver [quassel@Nightstar-ksqup0.co.uk] has quit [[NS] Quit: Reblooting.] |
| 13:00 | <~Vornicus> | it's woooorkiiiiiiiiiiiiing |
| 13:01 | | * Vornicus has placed the infinite in a headlock. |
| 13:08 | <@TheWatcher> | Horay! |
| 13:32 | <~Vornicus> | ok. Next on the list: lloyd relaxation |
| 13:37 | | celticminstrel [celticminst@Nightstar-ocfc15.dsl.bell.ca] has joined #code |
| 13:37 | | mode/#code [+o celticminstrel] by ChanServ |
| 13:44 | | celticminstrel is now known as celmin|away |
| 14:13 | <@sshine> | like only lloyd can. |
| 14:54 | | Kindamoody|afk [Kindamoody@Nightstar-eubaqc.tbcn.telia.com] has quit [Client exited] |
| 14:55 | | Kimo|autojoin [Kindamoody@Nightstar-eubaqc.tbcn.telia.com] has joined #code |
| 14:55 | | mode/#code [+o Kimo|autojoin] by ChanServ |
| 14:55 | | Kimo|autojoin is now known as Kindamoody |
| 16:52 | | Emmy [Emmy@Nightstar-o9u.8m2.160.77.IP] has joined #code |
| 20:16 | <~Vornicus> | Ok. Lloyd relaxation: to run a round of relaxation, generate the voronoi diagram of a list of points, clip it to a finite bounding box; replace each original point with the centroid of the corresponding region. |
| 20:22 | <~Vornicus> | So I just need a list of points and a bounding box. |
| 20:48 | | Degi [Degi@Nightstar-bhptpp.dyn.telefonica.de] has joined #code |
| 21:04 | <~Vornicus> | Which I already generate, so all I need is the centroid thing, which is a simple calculation |
| 21:08 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 21:08 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 21:08 | | mode/#code [+o Reiv] by ChanServ |
| 21:09 | <@sshine> | I'm trying to model all possible syntactic structures of JSON numbers. my current approach is: data JSONNumber = JSONNumber { integer :: Maybe Integer, fraction :: Maybe Integer, exponent :: Maybe Integer } |
| 21:10 | <@sshine> | unfortunately I have two classes of values in this data type that aren't meaningful: JSONNumber Nothing Nothing Nothing, meaning "" or "." or "e" or ".e" (not well-defined numbers) |
| 21:11 | <@sshine> | and: JSONNumber Nothing (Just (-1)) Nothing, where the fraction is a negative number, meaning ".-1" or "0.-1" (not well-defined numbers) |
| 21:12 | <@sshine> | I wonder what the simplest data type definition that will totally cover the syntax without these odd corners. |
| 21:13 | <@sshine> | I guess there's an Either (has integer) (hasn't integer) outside, since the fraction part can't be Nothing when the integer part is. |
| 21:16 | <&[R]> | .e, e, .-1, and 0.-1 are not valid numbers in JSON |
| 21:32 | | Derakon[AFK] is now known as Derakon |
| 22:50 | <@sshine> | no, exactly. |
| 22:52 | | Degi [Degi@Nightstar-bhptpp.dyn.telefonica.de] has quit [The TLS connection was non-properly terminated.] |
| 22:54 | | Degi [Degi@Nightstar-bhptpp.dyn.telefonica.de] has joined #code |
| 23:02 | | Degi [Degi@Nightstar-bhptpp.dyn.telefonica.de] has quit [Connection closed] |
| 23:02 | | Degi [Degi@Nightstar-bhptpp.dyn.telefonica.de] has joined #code |
| 23:04 | | ErikMesoy [Bruker@Nightstar-gilb7q.bb.online.no] has quit [Ping timeout: 121 seconds] |
| 23:17 | | Emmy [Emmy@Nightstar-o9u.8m2.160.77.IP] has quit [Ping timeout: 121 seconds] |
| 23:29 | | Degi [Degi@Nightstar-bhptpp.dyn.telefonica.de] has quit [[NS] Quit: Leaving] |
| 23:30 | | Degi [Degi@Nightstar-bhptpp.dyn.telefonica.de] has joined #code |
| 23:36 | | * Vornicus grumps at windows programs that don't have an installer |
| 23:52 | | Degi- [Degi@Nightstar-bhptpp.dyn.telefonica.de] has joined #code |
| 23:53 | | Degi is now known as Degi__ |
| 23:53 | | Degi- is now known as Degi |
| --- Log closed Wed Oct 09 00:00:21 2019 |