| --- Log opened Mon Sep 14 00:00:26 2020 |
| 00:04 | <&ToxicFrog> | I highly recommend a home server (for both files and other things), but that recommendation is also coloured by the fact that I literally grew up with one and have 30-odd years of workflows and habits built around that |
| 00:17 | <@sshine> | your parents had a home server? |
| 00:17 | <@sshine> | I've been thinking of getting one. a friend lets me stream from his plex. but then suddenly he deletes a movie. |
| 00:17 | <@sshine> | I just don't trust myself around custom hardware and Linux distros. somehow it always ends up half disassembled. |
| 00:58 | | himi [sjjf@Nightstar-1drtbs.anu.edu.au] has joined #code |
| 00:58 | | mode/#code [+o himi] by ChanServ |
| 01:17 | <&ToxicFrog> | sshine: when I was really little we had no LAN, but we did have two terminals attached to ancilla for a while. |
| 01:19 | <&ToxicFrog> | And from 1996[?] onwards we had at least two actual computers at all times, with ancilla serving as a file (and later, streaming music/video and http) server. |
| 01:19 | <&ToxicFrog> | So yes, they did. |
| 01:42 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Connection closed] |
| 01:44 | | Vorntastic [uid293981@Nightstar-ks9.9ff.184.192.IP] has joined #code |
| 01:44 | | mode/#code [+qo Vorntastic Vorntastic] by ChanServ |
| 02:56 | | celticminstrel [celticminst@Nightstar-8kptuo.dsl.bell.ca] has quit [Connection closed] |
| 02:59 | | celticminstrel [celticminst@Nightstar-8kptuo.dsl.bell.ca] has joined #code |
| 02:59 | | mode/#code [+o celticminstrel] by ChanServ |
| 04:18 | | Degi [Degi@Nightstar-6m66tr.dyn.telefonica.de] has quit [Ping timeout: 121 seconds] |
| 04:20 | | Degi [Degi@Nightstar-9d1dua.dyn.telefonica.de] has joined #code |
| 04:54 | | Pink [user1@Nightstar-g7hdo5.dyn.optonline.net] has quit [Ping timeout: 121 seconds] |
| 04:57 | | pinkmobile [uid208117@Nightstar-h2b233.irccloud.com] has joined #code |
| 05:02 | | Pink [user1@Nightstar-g7hdo5.dyn.optonline.net] has joined #code |
| 05:14 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has quit [Connection closed] |
| 05:14 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has joined #code |
| 05:14 | | mode/#code [+ao VirusJTG VirusJTG] by ChanServ |
| 05:22 | < Yossarian> | how very cash money of them |
| 05:45 | <@sshine> | okay, I'm too tired to calculate now. here's a function: 1->0, 2->256, 3->65536. my problem is that 1 << (8 * (n - 1)) == 1 and not 0. it works fine for n > 1. |
| 05:52 | <~Vorntastic> | Why do you need 1->0 instead of 1->1 |
| 05:54 | <~Vorntastic> | (I ask because while I can think of lots of models where I'd want 1 I can't think of any where I'd want 0) |
| 06:29 | | celticminstrel [celticminst@Nightstar-8kptuo.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
| 06:29 | | celticminstrel [celticminst@Nightstar-8kptuo.dsl.bell.ca] has joined #code |
| 06:29 | | mode/#code [+o celticminstrel] by ChanServ |
| 06:30 | | celticminstrel [celticminst@Nightstar-8kptuo.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
| 06:30 | | celticminstrel [celticminst@Nightstar-8kptuo.dsl.bell.ca] has joined #code |
| 06:30 | | mode/#code [+o celticminstrel] by ChanServ |
| 06:33 | | celticminstrel [celticminst@Nightstar-8kptuo.dsl.bell.ca] has quit [Operation timed out] |
| 07:07 | | pinkmobile [uid208117@Nightstar-h2b233.irccloud.com] has quit [[NS] Quit: Connection closed for inactivity] |
| 07:14 | | gnolam [lenin@Nightstar-ik80lk.priv.bahnhof.se] has joined #code |
| 07:14 | | mode/#code [+o gnolam] by ChanServ |
| 07:18 | | himi [sjjf@Nightstar-1drtbs.anu.edu.au] has quit [Ping timeout: 121 seconds] |
| 07:21 | | himi [sjjf@Nightstar-1drtbs.anu.edu.au] has joined #code |
| 07:21 | | mode/#code [+o himi] by ChanServ |
| 07:44 | | Kindamoody[zZz] is now known as Kindamoody |
| 08:21 | | himi [sjjf@Nightstar-1drtbs.anu.edu.au] has quit [Ping timeout: 121 seconds] |
| 09:36 | | Kindamoody is now known as Kindamoody|afk |
| 10:19 | | himi [sjjf@Nightstar-v37cpe.internode.on.net] has joined #code |
| 10:19 | | mode/#code [+o himi] by ChanServ |
| 12:14 | <@sshine> | Vorntastic, I'm writing a property-test generator that picks a number of bytes 1-32 and then picks a random number in that size range. so what I'm doing is calculating the lower and upper bounds for the random function to pick, based on the 1-32. |
| 12:15 | <~Vorntastic> | Okay so... |
| 12:15 | <@sshine> | Vorntastic, so for 1 byte, 0-255. 2 bytes, 256-65535. |
| 12:15 | <~Vorntastic> | You really want 0, 255, 65535 |
| 12:15 | <~Vorntastic> | Or (1<<(8*n))-1 |
| 12:15 | <@sshine> | ah, yeah. I can always add 1 to the lower bound of the higher byte. |
| 12:15 | <@sshine> | yay, thanks. |
| 12:16 | <@sshine> | sorry, subtract one |
| 12:16 | <~Vorntastic> | Starting at 256 you aren't exercising the whole range |
| 12:16 | <@sshine> | right. |
| 12:16 | <~Vorntastic> | Because the high byte will never be 0 |
| 12:20 | <~Vorntastic> | TBH though I'd just write a generator for random bytes and load 'em in |
| 12:21 | <~Vorntastic> | (or gloms of whatever size, with trimming) |
| 12:22 | <@sshine> | yeah, but the thing is, the property test is actually testing an assembly instruction alignment algorithm where the creepy corner case is variable-length instructions, so the real equivalence classes is "number of bytes the constant takes", rather than the full span of 256 bits, which I won't be able to cover with the default property-test generator (it'll probably just generate values up to 100, so never |
| 12:22 | <@sshine> | expand one byte.) |
| 12:24 | <@sshine> | I created labelled jumps as an abstraction for a compiler. the translation depends on how many bytes there are in "...": [JUMP "foo", ..., JUMPDEST "foo"] ~> [PUSH 0xFF, JUMP, ..., JUMPDEST] -- but the 0xFF also depends on itself. >_< |
| 12:25 | <@sshine> | my friend who wrote the compiler made a simplifying assumption: just assume that all PUSH instructions take 33 bytes and pad with a ton of zeros. ;-) |
| 12:26 | <@sshine> | so the code being generated is super bloated right now, and the code generator has a bunch of pseudo-instructions that are not okay to export as a representation of Ethereum VM opcodes in general. |
| 12:27 | < catalyst> | Jump, Jumpde, Jumpdest |
| 12:28 | <@sshine> | Jumpde? :) |
| 12:28 | <@sshine> | there's a JUMPI |
| 12:28 | <@sshine> | jump, jumpi, jumpdest |
| 12:39 | <~Vorntastic> | Jumpder |
| 13:15 | | Kindamoody|afk is now known as Kindamoody |
| 13:18 | | celticminstrel [celticminst@Nightstar-8kptuo.dsl.bell.ca] has joined #code |
| 13:18 | | mode/#code [+o celticminstrel] by ChanServ |
| 14:27 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 14:27 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 16:13 | | Vorntastic [uid293981@Nightstar-ks9.9ff.184.192.IP] has quit [[NS] Quit: Connection closed for inactivity] |
| 16:56 | | catalyst [catalyst@Nightstar-v6lb30.cable.virginm.net] has quit [Ping timeout: 121 seconds] |
| 17:34 | | Emmy [Emmy@Nightstar-l49opt.fixed.kpn.net] has joined #code |
| 17:38 | | catalyst [catalyst@Nightstar-v6lb30.cable.virginm.net] has joined #code |
| 19:08 | | VirusJTG_ [VirusJTG@Nightstar-42s.jso.104.208.IP] has joined #code |
| 19:10 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has quit [Ping timeout: 121 seconds] |
| 20:06 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 20:11 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 20:11 | | mode/#code [+o Reiv] by ChanServ |
| 22:40 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 22:40 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 22:40 | | mode/#code [+o Reiv] by ChanServ |
| 22:48 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 22:48 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 22:48 | | mode/#code [+o Reiv] by ChanServ |
| 23:19 | | Emmy [Emmy@Nightstar-l49opt.fixed.kpn.net] has quit [Ping timeout: 121 seconds] |
| 23:28 | | Pinkhair [user1@Nightstar-g7hdo5.dyn.optonline.net] has joined #code |
| 23:29 | | Pink [user1@Nightstar-g7hdo5.dyn.optonline.net] has quit [Ping timeout: 121 seconds] |
| 23:43 | | Kindamoody is now known as Kindamoody[zZz] |
| --- Log closed Tue Sep 15 00:00:27 2020 |