| --- Log opened Thu Mar 16 00:00:05 2017 |
| 00:03 | | LadyOfLight is now known as MaladyOfLight |
| 00:06 | | Vornicus is now known as Mornicus |
| 00:06 | | Mornicus is now known as Vornicus |
| 01:10 | | SmithKurosaki [uid215460@Nightstar-om40rg.irccloud.com] has quit [Z-Lined: Your IP range has been attempting to connect too many times in too short a duration. Wait a while, and you will be able to connect.] |
| 03:16 | | Turaiel is now known as Turaiel[Offline] |
| 03:45 | | Derakon is now known as Derakon[AFK] |
| 03:56 | | ion [Owner@Nightstar-gmbj85.vs.shawcable.net] has quit [Ping timeout: 121 seconds] |
| 03:56 | | Xon [Xon@Nightstar-j72.ku7.252.119.IP] has left #code [] |
| 03:58 | | ion [Owner@Nightstar-gmbj85.vs.shawcable.net] has joined #code |
| 05:22 | | LadyOfLight [catalyst@Nightstar-sgccre.dab.02.net] has joined #code |
| 05:25 | | MaladyOfLight [catalyst@Nightstar-cc6gdl.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 05:28 | | celticminstrel is now known as celmin|sleep |
| 06:45 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Operation timed out] |
| 06:56 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 06:56 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 07:02 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 07:53 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 07:53 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 07:59 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Operation timed out] |
| 08:57 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 08:57 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 09:06 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Operation timed out] |
| 09:12 | | LadyOfLight` [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has joined #code |
| 09:40 | | LadyOfLight` [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has quit [[NS] Quit: Leaving] |
| 09:48 | | You're now known as TheWatcher[d00m] |
| 09:58 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 09:58 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 10:14 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Connection reset by peer] |
| 10:47 | | You're now known as TheWatcher |
| 11:12 | | * TheWatcher encounters the hardest problem in computer science once again |
| 11:14 | <@Tamber> | Coming up with a good name? |
| 11:14 | <@TheWatcher> | Yep. |
| 11:33 | <&[R]> | Name it 2 |
| 11:38 | < sshine> | hmm, trying to get some logic straight. |
| 11:38 | <@Tamber> | "You are number six." "I AM NOT A NUMBER! I AM A FREE MAN!" |
| 11:38 | < sshine> | haha |
| 11:39 | < sshine> | I've got a constraint: max(m,p) + max(1(m,p), 1(n,q)) <= m where 1(i,j) is a function that's 1 if i*j > 0 and 0 if i*j = 0. |
| 11:39 | <@TheWatcher> | Tamber: ... that's it, I need to call this system Rover. |
| 11:40 | <@Tamber> | :D |
| 11:40 | <@Tamber> | Glad I could help. |
| 11:40 | < sshine> | if it were just 'max(m,p) <= m' then I could reduce it to 'm <= m && p <= m' or just 'p <= m'. |
| 11:42 | < sshine> | since there's an extra term that's either 0 or 1, I'm thinking of rewriting it into: '(m + max(1(m,p), 1(n,q)) <= m) && (p + max(1(m,p),1(n,q)) <= m)'. okay, I've got this, I think. |
| 11:42 | < sshine> | for some reason I thought it needed to be ||. >_< |
| 11:53 | | LadyOfLight` [catalyst@Nightstar-nft22l.dab.02.net] has joined #code |
| 11:55 | | LadyOfLight [catalyst@Nightstar-sgccre.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 12:29 | | LadyOfLight` is now known as LadyOfLight |
| 13:09 | < sshine> | so this book says that for a language like Standard ML, having infix pattern operators could be a problem. |
| 13:11 | < sshine> | e.g. fun foo (x Cons xs) = ... instead of (Cons (x, xs)), but SML already supports that and the only problems I can think of are: lexing+parsing becomes more difficult, and reading the code becomes more inconvenient unless adhering to naming standards. |
| 13:11 | < sshine> | the SML'97 spec doesn't even really say anything about this being a problem. I can't see it. |
| 14:38 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 14:38 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 14:54 | | LadyOfLight is now known as LadyOfNight |
| 16:09 | | celmin|sleep is now known as celticminstrel |
| 18:23 | | LadyOfLight [catalyst@Nightstar-un62o3.dab.02.net] has joined #code |
| 18:25 | | LadyOfNight [catalyst@Nightstar-nft22l.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 18:31 | < sshine> | let's say my 64-bit pointers are word-align and so their bit pattern always end with '000'. let's say I decide to use the least significant bit to denote whether it's actually a pointer (0 = yes, 1 = no). so words that end in '010', '100' and '110' don't have a clear meaning and I could give them one, e.g. use a bit for GC marking. |
| 18:32 | < sshine> | I wonder what else these bits could be used for. I'm thinking: a dynamic type system would let me decide e.g. if a reference to something is read-only. |
| 18:44 | < sshine> | or whether cloning an object is permitted. or if a mailbox-style message passing message has been collected by the process (which really just seems like a specialized GC mark). |
| 18:44 | < sshine> | it's just that most of my ideas revolve around dynamic type systems, and I don't really like dynamically typed languages, so the features I come up with are often better resolved through static compile-time type checking. |
| 18:47 | | * gnolam headdesks. |
| 18:47 | < sshine> | maybe there's something related to dependently typed languages in which some checks are delayed until run-time. |
| 18:47 | | * sshine goes over the F* tutorial and looks for dynamic features. |
| 18:48 | < sshine> | gnolam, what'd the desk do? |
| 18:52 | <~Vornicus> | "F*" suggests to me naughty words |
| 18:54 | < sshine> | hehe. |
| 18:54 | < sshine> | https://www.fstar-lang.org/tutorial/ |
| 18:54 | < sshine> | it's just one of those Idris-like languages that try to bring dependent types and such to the general programming public, but they're still very academic. |
| 18:55 | < sshine> | I like it. |
| 18:55 | < sshine> | but I never got very far with Idris or any of the theorem provers. |
| 19:28 | <@gnolam> | sshine: it almost physically hurts when you remote in to troubleshoot something and see a modern computer running Windows fucking XP. |
| 20:05 | | celticminstrel [celticminst@Nightstar-f7q0qd.dsl.bell.ca] has quit [Ping timeout: 121 seconds] |
| 20:05 | | celmin [celticminst@Nightstar-3s23r8.dsl.bell.ca] has joined #code |
| 20:05 | | mode/#code [+o celmin] by ChanServ |
| 20:07 | | LadyOfLight` [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has joined #code |
| 21:28 | | Kindamoody [Kindamoody@Nightstar-0lgkcs.tbcn.telia.com] has quit [Ping timeout: 121 seconds] |
| 21:30 | | Kindamoody|autojoin [Kindamoody@Nightstar-0lgkcs.tbcn.telia.com] has joined #code |
| 21:30 | | mode/#code [+o Kindamoody|autojoin] by ChanServ |
| 21:30 | | Kindamoody|autojoin is now known as Kindamoody |
| 22:25 | | LadyOfLight [catalyst@Nightstar-un62o3.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 22:35 | | LadyOfLight` [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has quit [[NS] Quit: Leaving] |
| 22:44 | | LadyOfLight [catalyst@Nightstar-re13k2.dab.02.net] has joined #code |
| 23:46 | | Derakon[AFK] is now known as Derakon |
| 23:58 | | Kindamoody [Kindamoody@Nightstar-0lgkcs.tbcn.telia.com] has quit [Ping timeout: 121 seconds] |
| --- Log closed Fri Mar 17 00:00:07 2017 |