< 1412726405 499186 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that changes any cpu design into raving insanity < 1412726406 361136 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :The Itanium's major failure was that it was less good at running x86 code than a real x86. < 1412726428 128164 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I'M not sure the itanium is even a better design than x86 < 1412726443 811847 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :It's probably too parallel < 1412726487 606123 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :real programs do a lot of horrible pipeline breaking stuff (essentially memory reading) so there's no point in doing something that does more than about 5-issue < 1412726513 978878 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so the potential gains of itanium never materialized < 1412726520 548276 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :except in floating point code < 1412726530 793439 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but they went after the server market < 1412726558 869493 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1412726577 380292 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Ping timeout: 246 seconds < 1412726584 413689 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1412726613 854510 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :inversely the kind of thing that helps you in horrible pipeline breaking stuff (code compression!!, crazy speculative memory accesses) are exactly the things that kept x86 faster than itanium, especially for the kind of applications itanium was used in < 1412726693 954245 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :And one of the other big selling points of the Itanium was that it could also run x86 code without any trouble. < 1412726701 723612 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :But it failed horribly at that. < 1412726724 884165 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :like, ARM cpus have a thumb mode, which uses 16bit instructions instead of 32bit ones... this disallows a lot of instructions... but it still runs about as fast as 32bit mode because the code is more compact! < 1412726743 205376 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :To the point that a software emulator performed better. < 1412726755 131758 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :true < 1412726790 954320 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :well, a really serious attempt would have used the same execution ressources for x86 and basically have 2 front ends < 1412726799 731602 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that's actually what ARM does < 1412726810 63970 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :*nod* < 1412726838 372281 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :arm64 uses a different front end (=different instruction set!) but has exactly the same pipelines behind that < 1412726839 455814 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Of course, the Itanium came at a fairly crappy point in Intel CPU design. < 1412726850 421576 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 246 seconds < 1412726851 956746 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Contemporary with the Pentium 4! < 1412726861 594167 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :pentium 4 wasn't _that_ bad < 1412726880 246102 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :compared to real cpu design mistakes (i860, i432) < 1412726912 880825 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it couldn't keep up with the pentium2's voodoo, but pretty much nothing can < 1412727021 383689 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1412727067 884649 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and it was basically a gamble based on silicon letting you go a few ghz faster still (was designed to scale up to 10ghz, they expected to reach something like 6ghz but of course it never happened) < 1412727083 969521 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :The depth of the pipeline was rather absurd though. < 1412727092 646886 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :31 stage pipeline. < 1412727105 931796 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if silicon reached 10ghz that would've paid off < 1412727144 520229 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :31 stage pipeline is okay if it lets you do something like run 10 instructions per cycle < 1412727158 415769 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it's a tradeoff < 1412727328 172400 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Unfortunately, real code branches rather more often than is necessary to make that pipeline worthwhile. < 1412727368 3742 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :To the point that a PIII has this tendency to outperform a P4. :) < 1412727447 632541 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :true < 1412727464 345959 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :well, if the p4 went at 6ghz it would've paid off < 1412727493 801394 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but it didn't and consequently the ultra deep pipeline is useless < 1412727500 929299 :AndoDaan!~Daanando@188.188.74.61 JOIN :#esoteric < 1412727542 309864 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :doesn't help that people use stuff like zip decompression as benchmarks < 1412727554 907870 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :which obviously tend to put the P2 ahead < 1412727578 367532 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :since it's basically nothing but jumps and hard to predict memory accesses < 1412727616 723846 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Doesn't help also that Intel decided RAMBUS was awesomesauce < 1412727642 293291 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :anyhow < 1412727672 188606 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :kindof wondering what kind of design is optimal if you have a 16bit memory bus and no cache < 1412727683 776519 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and no prefetch even < 1412727719 368017 :not^v!~notnot^v@198.109.114.66 JOIN :#esoteric < 1412727731 111448 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :(and as ZIP tends to be memory-latency bound...) < 1412727768 799307 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :yes exactly :D < 1412727904 153041 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I guess with no cache and small bus the design is basically something like the superH < 1412727922 580583 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :super limited constants, small register file (in spite of being a risc!) < 1412727933 308615 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :32bit registers though < 1412727937 929767 :not^v!~notnot^v@198.109.114.66 QUIT :Client Quit < 1412727957 183608 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and a multiplier would be useful as well < 1412728000 470101 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1412728041 524590 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :kindof wanting to have 16 registers so that everything fits nicely into nibbles and you can basically hex edit the code < 1412728072 595086 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and have 4/8/12bit constants < 1412728078 908403 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :eight bit opcodes? < 1412728108 588203 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :8bit opcode + 4bit src register + 4bit dest register < 1412728152 767343 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :except for a few operations that have a 4bit opcode because they are very common and benefit from it < 1412728169 860391 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1412728177 465053 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :like memory loading (probably 4bit opcode + 4bit dest + 4bit src + 4bit displacement) < 1412728231 790793 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and probably some operation to help loading up large constants (8bit mov immediate? 12bit mov immediate into a fixed register?) < 1412728254 112206 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :load with shift? < 1412728258 223536 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :yeah < 1412728267 425373 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :or maybe add large immediate < 1412728296 737430 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :mips has load high but I think it would be more useful to have an add operation < 1412728304 879879 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :or shift + add immediate < 1412728318 495476 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :yeah, i've been doing mips so that's what i'm thinking of. < 1412728330 953604 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :ARM does it by having a shift amount in every immediate < 1412728338 510194 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :i said you could implement the load 32 bit immediate pseudoop as a load high and add, but i don't know if that's what assemblers actually do. > 1412728648 655365 JOIN :#esoteric < 1412728650 357653 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1412728652 774026 JOIN :#esoteric > 1412728653 289965 JOIN :#esoteric < 1412728718 955065 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :yeah basically it's a multiply-accumulate but with fixed factor < 1412728762 434564 :AndoDaan!~Daanando@188.188.74.61 QUIT :Ping timeout: 245 seconds < 1412728908 588048 :boilyphone!~androirc@96.127.201.149 JOIN :#esoteric < 1412728950 922253 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the small opcode size makes it all kinda CISC-y, it's cute :D < 1412729040 237662 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :except without the mistakes of CISC (basically, not enough registers on 6502!) < 1412729068 342380 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :(and 8-bit opcodes being barely worth using at all) < 1412729091 501198 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :(and 8bit registers being basically too small) < 1412729250 816121 :boilyphone!~androirc@96.127.201.149 QUIT :Quit: TRANSITIVE CHICKEN < 1412729289 415177 :scounder!~scounder@2a01:7a0:10:151:236:17:48:1 QUIT :Ping timeout: 260 seconds < 1412729682 770731 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Hey, an 8 bit register is plenty if you've got 8 bit addresses! < 1412729754 948387 :AndoDaan!~Daanando@188.189.71.63 JOIN :#esoteric < 1412729835 310990 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :how often does that happen? :D < 1412729835 502639 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :even x86 ended up with segments due to 16bit being basically too small :D < 1412730068 223916 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com JOIN :#esoteric < 1412730193 47931 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi QUIT :Read error: Connection reset by peer < 1412730246 840715 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi JOIN :#esoteric < 1412730478 326380 :zzo38!~zzo38@24-207-58-35.eastlink.ca JOIN :#esoteric < 1412730521 953674 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Oops some of my messages got cut off. < 1412730744 655703 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :zzo38 : suppose you have about 250 RAM access cycles per scanline < 1412730767 488867 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the DRAM accesses are 16bit but have to be shared with the cpu (and with sound and DRAM refresh) < 1412730784 797466 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :what sort of gfx hardware would you design around that? :D < 1412730904 5086 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :for instance if you give half the cycles to cpu then you have 125 cycles < 1412730950 725169 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :considering hblank is about 75% of the scanline time you could have 320x224 display (NTSC) in 16 colors by using 80 cycles < 1412730977 315432 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but then you wouldn't have any sprites < 1412731057 285226 :not^v!~notnot^v@2601:4:4500:e15:941e:76c:7a9b:2e52 JOIN :#esoteric < 1412731164 697772 :scounder!~scounder@2a01:7a0:10:151:236:17:48:1 JOIN :#esoteric < 1412731278 329489 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com QUIT :Remote host closed the connection < 1412731495 367276 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :also if it's tiled you'd need to load up the tile info < 1412731683 778966 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1412731769 580368 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :you get to load up to about 250 words, how do you make it look pretty? :D < 1412731917 417267 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :madbr: Well, I would try to make the DRAM to pretend to be SRAM, first. < 1412731955 24518 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :yeah this is constant access time < 1412731960 159063 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :OK < 1412731973 274792 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :you lose a few cycles every scanline to refresh but that's a detail < 1412731981 769586 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Well, I would probably do something like the Famicom does it. It accesses sprites during hblank. < 1412732000 49044 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hmm but wouldn't that limit the amount of sprites you can display? < 1412732034 248838 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the master system does this as well < 1412732040 777503 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :The Famicom can display up to eight sprites at once, but if it runs faster then you can add more sprites per scanline. < 1412732057 273850 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(Actually, Famicom can have up to 64 sprites on the screen at once, but no more than 8 per scanline.) < 1412732072 96502 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :yeah 8 per scanline isn't much < 1412732088 524766 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :especially compared to the tg16 which can essentially cover the screen in sprites < 1412732143 36269 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But depending on the speed in relation to hblank time, you can design it to use more sprites. < 1412732150 662347 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hm < 1412732215 641877 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you use a half cpu half gpu separation, you have about 90 hactive cycles and 30 hblank cycles < 1412732237 255427 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but they are 16bit cycles which helps < 1412732267 814023 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :in 16 colors that's about... 8 sprites. but they are 16 pixel wide < 1412732269 800029 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :If the PPU uses separate memory, or if it is double bus memory, then you don't need to do that. < 1412732297 710977 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :was thinking of a single chip system-on-a-chip thing < 1412732325 880246 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you were to do that it would be better to just go to a single 32bit bus < 1412732371 458436 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com JOIN :#esoteric < 1412732420 457174 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :unless you did something like banked RAM... which is actually not a bad idea at all < 1412732492 777709 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :but then you could as well go 64bit SDRAM cached 3D etc < 1412732516 359581 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and then just use an ARM system on a chip < 1412732535 700716 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and then your design has no reason to exist because there's a million of those in the world already < 1412732541 518919 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't really like ARM though so I probably wouldn't use it. < 1412732553 864786 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I would prefer things like 6502 < 1412732559 123840 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :what's wrong with the ARM? < 1412732592 171668 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It is too messy, just like x86. The original ARM1 wasn't so bad though. < 1412732609 258175 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and the 6502 is less messy? :D < 1412732622 44767 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, I like it better, at least. < 1412732638 297901 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :For one it doesn't do caching and out of order execution and all that confusing stuff, so it works better. < 1412732647 49166 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the ARMs that are oriented towards embedded applications are a lot cleaner tbh < 1412732662 426673 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and a lot faster than the 6502 for similar complexity < 1412732687 164252 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that's why arms and mips are used in so many embedded applications < 1412732691 276718 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I could also try to design my own instruction set if I wanted to I suppose. < 1412732705 19970 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that's what I'm trying to do < 1412732723 914084 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :with 16bit instructions and 16bit memory bus but otherwise RISC with 32bit registers < 1412732751 354454 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :MIPS is not quite too bad either < 1412732779 25084 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :mips is very classic yes < 1412732791 842144 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :mostly because it's fast compared to how complex it is! < 1412732827 846749 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It is complex, but still better than modern x86 systems < 1412732841 36695 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :which are just really stupid. < 1412732878 495354 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :x86 evolved for compatibility and speed, not simplicity < 1412732880 100259 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric ::D < 1412732904 362186 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But I like the NMOS 6502 instruction set. < 1412733702 827935 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I am making Z-machine interpreter in Famicom, and have designed a new kind of mapper for it which bankswitches ROM and RAM one byte at a time. < 1412733804 568960 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric ::o < 1412733816 208328 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I'm not sure such a thing is possible in hardware :D < 1412733898 1630 :not^v!~notnot^v@2601:4:4500:e15:941e:76c:7a9b:2e52 QUIT :Ping timeout: 272 seconds < 1412734239 946341 :AndoDaan!~Daanando@188.189.71.63 QUIT :Ping timeout: 272 seconds < 1412734410 425108 :AndoDaan!~Daanando@188.188.90.66 JOIN :#esoteric < 1412734479 994316 :not^v!~notnot^v@2601:4:4500:e15:a159:3f07:5193:25a7 JOIN :#esoteric < 1412735034 926973 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412735220 254865 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1412735839 478642 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :madbr: I have made such a design, using four 74xx series; you can see the design I made if you want to < 1412735998 782293 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :See http://wiki.nesdev.com/w/index.php/User:Zzo38/Mapper_I for the design of this new kind of mapper. Do you know much about 74xx series? < 1412736769 995946 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I happen to like chess retropuzzles, even if you don't like it. < 1412736779 398312 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :strange < 1412736933 915999 :not^v!~notnot^v@2601:4:4500:e15:a159:3f07:5193:25a7 QUIT :Read error: Connection reset by peer < 1412736960 995365 :not^v!~notnot^v@2601:4:4500:e15:a159:3f07:5193:25a7 JOIN :#esoteric < 1412737150 372801 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :How strange? < 1412737583 976020 :not^v!~notnot^v@2601:4:4500:e15:a159:3f07:5193:25a7 QUIT :Ping timeout: 272 seconds < 1412737596 780835 :not^v!~notnot^v@2601:4:4500:e15:fd4f:4e10:eab1:4bc5 JOIN :#esoteric < 1412738001 703922 :AndoDaan_!~Daanando@188.189.69.224 JOIN :#esoteric < 1412738012 431838 :AndoDaan!~Daanando@188.188.90.66 QUIT :Ping timeout: 245 seconds < 1412738637 286093 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1412738941 573110 :not^v!~notnot^v@2601:4:4500:e15:fd4f:4e10:eab1:4bc5 QUIT :Read error: Connection reset by peer < 1412738967 254626 :not^v!~notnot^v@2601:4:4500:e15:fd4f:4e10:eab1:4bc5 JOIN :#esoteric < 1412739164 974496 :AndoDaan!~Daanando@188.189.75.65 JOIN :#esoteric < 1412739168 783466 :AndoDaan_!~Daanando@188.189.69.224 QUIT :Ping timeout: 258 seconds < 1412739401 174150 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1412739522 385920 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :When you say Minix is a good OS to read, do you mean this? http://www.minix3.org/ < 1412739533 885236 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Or... historical Minix that Linux came from? < 1412739586 24237 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean whatever the latest edition of Operating Systems Design and Implementation covers, probably. < 1412739653 68751 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I haven't researched Minix myself. < 1412739662 854004 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :"Revised to address the latest version of MINIX (MINIX 3), this streamlined, simplified new edition remains the only operating systems text to first explain relevant principles, then demonstrate their applications using a Unix-like operating system as a detailed example. It has been especially designed for high reliability, for use in embedded systems, and for ease of teaching." < 1412739709 423280 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :elliott_: Modern-day MINIX is intended as an actual reasonably useful OS that's also simple. < 1412739713 226708 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huh, hal finney died. well... got frozen. < 1412739725 202681 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Soooo, I imagine it's less simple than older versions. < 1412739729 961925 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Perhaps more illustrative though. < 1412739752 841963 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Should I buy the book, or are there good online things for Minix? < 1412739771 85274 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there's that MIT OS course. < 1412739774 557479 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's available online I think. < 1412739779 973024 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :probably a very good place to start. < 1412739795 281274 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com QUIT :Quit: must. do. english. paper. < 1412739803 78898 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Yeah. < 1412739818 28726 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :I actually know that's a good read. < 1412739877 591121 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :And hey, the code will actually run on computers people actually have. < 1412739908 329588 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Though MINIX is far more real-world. < 1412739915 387614 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :pkgsrc actually runs on it. :P < 1412740287 67651 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2006/ < 1412740587 994418 :AndoDaan_!~Daanando@188.188.85.150 JOIN :#esoteric < 1412740704 977559 :AndoDaan!~Daanando@188.189.75.65 QUIT :Ping timeout: 248 seconds < 1412742092 344786 :tromp_!~tromp@ool-4570a301.dyn.optonline.net JOIN :#esoteric < 1412742177 924442 :AndoDaan!~Daanando@188.189.65.53 JOIN :#esoteric < 1412742371 987714 :AndoDaan_!~Daanando@188.188.85.150 QUIT :Ping timeout: 272 seconds < 1412743025 754012 :not^v!~notnot^v@2601:4:4500:e15:fd4f:4e10:eab1:4bc5 QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1412743047 57851 :not^v!~notnot^v@2601:4:4500:e15:fd4f:4e10:eab1:4bc5 JOIN :#esoteric < 1412743078 848192 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :"Objective-C has elements that are unlike any language you've probably experienced, so sit back and enjoy your journey into the world of Objective-C!" < 1412743086 774587 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is that accurate even given Smalltalk exposure? < 1412743178 567512 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :no, it's totally unhealthy to sit too far back in a chair < 1412743209 437417 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net NICK :NSSgeo < 1412743237 540918 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is NS the Lisp parens of Objective-C? < 1412743293 304165 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's just a namespace... < 1412743302 975215 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :C library namespaces are way longer < 1412743421 786076 :not^v!~notnot^v@2601:4:4500:e15:fd4f:4e10:eab1:4bc5 QUIT :Ping timeout: 272 seconds < 1412743569 331830 :tromp_!~tromp@ool-4570a301.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1412743631 625689 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :.... Objective-C doesn't have generics. But it ... looks like a statically typed language. And according to StackOverflow it's fine to just send messages, no casting. Is the appearance of static typing a lie? < 1412744112 377632 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1412744765 465577 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I am no longer upset that Objective-C is mostly an Apple thing. I fail to see value in it < 1412744785 719231 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :stringByAppendingStringAndImSureThereAreEvenLongerMethodNames < 1412744870 454808 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :stringByReplacingOccurencesOfString:withString: < 1412744881 805583 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :^^ actual method name < 1412745591 484942 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :[NSString stringWithString:firstName] < 1412745610 281042 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Are message sends usually done without the space I'm expecting before firstName? < 1412745715 615491 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :i'm gonna be honest sgeo, i didn't peg you for the "complain about naming" type when you do your stupid language thing < 1412745716 63532 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 272 seconds < 1412745824 891481 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I have another non-naming complaint about Objective-C that I didn't air here, even the tutorial complained... getting hte value of an NSNumber* in order to do multiplication < 1412745835 151028 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :But names can be important < 1412745844 807474 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :[NSString stringWithFormat: @"%@ %@", firstName, lastName]; < 1412745857 792493 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is that true varargs, or a trick with , to make some sort of tuple-like thing? < 1412745870 131265 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :smalltalk has varargs doesn't it < 1412745905 325775 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I would say no. Although it does support apply-like functionality < 1412745908 222292 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I think < 1412746102 103502 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't know a lot of Objective-C stuff, but I know that it is a strict superset of C, so any C program will work just fine in Objective-C. I believe iPhone programs have to be in Objective-C; therefore C programs can be used too. Also, GCC can compile Objective-C programs, so it doesn't have to be used with Apple, if you have any other uses for it. < 1412746128 372308 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :irl it's an apple vendor lock in < 1412746131 120902 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :imho < 1412746146 913624 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :basically it's used nowhere else < 1412746182 32499 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :as in, good luck porting that to win32 or android < 1412746191 937796 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Well, you can still write C programs, and write the platform-specific stuff in Objective-C for Apple, and then the rest of the C stuff can still be used on normal C platforms. < 1412746212 873263 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :NSSgeo: it's a vararg afaik. in fact, objc_msgSend *always* works with the varargs. < 1412746275 988919 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :lifthrasiir: interesting < 1412746904 60906 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Yay lambdas < 1412747051 346161 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :.NET has a stereotype of being mainly Windows, doesn't it? But apparently some Linux programs use it < 1412747222 897524 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :So, I think it isn't a vendor lock since you can write the program in C. < 1412747568 514711 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :There are also APIs which I assume you generally have to call via Objective-C non-C code < 1412747587 937246 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Those APIs, even if you can use C syntax to call, are vendor lock-in < 1412747589 966703 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1412747661 67667 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, some APIs may be, although the general program logic doesn't have to be. However, some APIs may be such a case with any vendor system. You can still use conditional compilation and so on, which can be useful with other C programs too. < 1412747881 958122 :tromp_!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1412748242 807082 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT : < 1412748299 341387 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1412748598 990095 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Apparently people love Cocoa < 1412748643 879694 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it is good for making hot chocolate < 1412748862 264388 :fungot!fis@eos.zem.fi QUIT :Ping timeout: 250 seconds < 1412748884 273161 :fizzie!fis@unaffiliated/fizzie QUIT :Ping timeout: 260 seconds < 1412749592 811197 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is it possible that from a system of square Wang tiles you can make an equivalent system of triangular Wang tiles if you add more colors? < 1412749822 453626 :sebbu!~sebbu@unaffiliated/sebbu PRIVMSG #esoteric :NSSgeo, objective-c has a stereotype of being mainly MacOS, but some linux / programs use it too < 1412749825 951053 :sebbu!~sebbu@unaffiliated/sebbu PRIVMSG #esoteric :(GNUStep) < 1412749845 899858 :sebbu!~sebbu@unaffiliated/sebbu PRIVMSG #esoteric :it even has some cocoa-compatible library, although a little old < 1412749857 922395 :sebbu!~sebbu@unaffiliated/sebbu PRIVMSG #esoteric :linux / windows* < 1412750000 973937 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :sebbu: So, now we can see that it isn't Apple only. That doesn't have to do with the points I made though, which are unrelated. I was talking about programs that have some Objective-C stuff; now you can see that even mainly Objective-C programs can sometimes be used on non-Apple systems too. < 1412750071 222360 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(I still like to use C though, rather than Objective-C) < 1412750133 477085 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But still I like it that it can still be used with C programs, unlike with C++ which doesn't quite do that. < 1412750160 354061 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :...I am awake reasonably early for once < 1412750558 656143 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412750908 294485 :fizzie!fis@iris.zem.fi JOIN :#esoteric < 1412750918 80500 :fizzie!fis@iris.zem.fi QUIT :Changing host < 1412750918 233971 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1412751526 404598 :brandonson!~SingingBo@d50-98-172-234.bchsia.telus.net QUIT :Quit: WeeChat 0.4.3-dev < 1412751617 540875 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Remote host closed the connection < 1412751815 52174 :sebbu!~sebbu@unaffiliated/sebbu PRIVMSG #esoteric :zzo38, well, I already compiled objective-c + cocoa code under windows < 1412751837 929503 :sebbu!~sebbu@unaffiliated/sebbu PRIVMSG #esoteric :sure, it wasn't some new, high-end software < 1412751854 166326 :sebbu!~sebbu@unaffiliated/sebbu PRIVMSG #esoteric :the cocoa lib in macos(x)/ios has evolved a lot < 1412751863 431501 :sebbu!~sebbu@unaffiliated/sebbu PRIVMSG #esoteric :that'll be the main point of incompatibility < 1412751864 937833 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412752132 975535 :AndoDaan!~Daanando@188.189.65.53 QUIT :Ping timeout: 240 seconds < 1412753603 827276 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 640 1024?* < 1412753604 198528 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1412753606 794799 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 640 1024?* < 1412753606 948325 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 655360 < 1412753612 72054 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 640 1024?*l2 < 1412753612 225520 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 19.321928094887365 < 1412753683 256226 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 2^10 < 1412753685 441528 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 2^19 < 1412753685 886554 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1024 < 1412753687 150614 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 524288 < 1412753711 217552 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1412753809 504121 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 2^24 < 1412753811 209391 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 16777216 < 1412753819 721064 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's 16MB < 1412753821 842113 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1412754010 31686 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1412754050 269970 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :So < 1412754077 114027 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :24bit addresses < 1412754612 702647 :madbr!boulam@69-165-212-148.cable.teksavvy.com QUIT :Quit: Pics or it didn't happen < 1412754756 174645 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :why do some old CPUs have 32bit registers but 24bit addresses? < 1412754760 839398 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :to save 8 lines? < 1412755107 311644 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1412755334 160169 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"critical applications still rely on old platforms" such as PDP/11 < 1412755336 580110 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :good grief < 1412756846 344737 :fungot!fis@eos.zem.fi JOIN :#esoteric < 1412756881 732945 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: welcome back < 1412756882 472241 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mroman_: i don't know enough about darcs to advocate features arch has over it... he basically used cps in scheme and write in some parenthesized variant of c which are now all run on vm's, don't they? < 1412756899 140684 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: everything is a VM today, yes < 1412756899 405140 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mroman_: actually more like 2. hit on to induce to engage in such activities. < 1412756911 402158 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: two vms? < 1412756912 44542 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mroman_: what are the constraints, " number at ( x, x y < 1412757153 238862 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (2^24) / (2^10) < 1412757155 356520 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 16384.0 < 1412757170 503286 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (((2^24) / (2^10))*4)/1024 < 1412757172 521385 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 64.0 < 1412757178 212327 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1412757181 422514 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :too much < 1412757188 409944 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (((2^24) / (2^16))*4)/1024 < 1412757190 231056 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0 < 1412757203 875285 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (((2^24) / (2^12))*4)/1024 < 1412757205 826027 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 16.0 < 1412757221 292305 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (2^12)/1024 < 1412757222 935256 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4.0 < 1412757232 77684 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (((2^24) / (2^14))*4)/1024 < 1412757233 928276 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4.0 < 1412757242 739288 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1412757245 748230 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :this could be hard < 1412757266 510073 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (2^14)/1024 < 1412757268 214364 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 16.0 < 1412757279 151701 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :A page is 16kb and a page table is 4kb < 1412757302 417451 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :meh. why not < 1412757373 479493 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait < 1412757374 45436 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no < 1412757401 774475 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wait. yes < 1412757465 832522 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :x86-64 has 64-bit reigsters and 48-bit virtual addresses, presumably to save in the chip area cost of address-translation logic + number of levels in the page tables. < 1412757567 859727 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Reigster", must be some sort of a title. < 1412757585 293968 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The reigning reigster. < 1412757586 862662 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Motorola 68k has 32bit arithmetic register and 24bit addressing < 1412757783 327843 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The eZ80 is mostly 8-bit and has 24-bit addressing. (Though it admittedly does have a 24-bit ALU; it basically just makes the 16-bit register pairs of Z80 24 bits wide.) < 1412757817 54998 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(You can't address the upper bytes separately as an 8-bit register or anything.) < 1412758732 961214 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1412758972 946237 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"uhhuh mr chairman you anything [laugh] yeah okay" < 1412758989 391194 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I just fungot-style generated some sentences from a (giant) meeting corpus language model. < 1412759045 513427 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^styles < 1412759049 285261 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^style < 1412759049 438701 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl* ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1412759055 61394 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^style c64 < 1412759055 214580 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: c64 (C64 programming material) < 1412759062 309215 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: say something < 1412759062 462712 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mroman_: bit bit when a gosub, the < 1412759091 519837 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Mysteriously I can ping a google.com IP but not 8.8.8.8 or 4.2.2.2 or 208.67.222.222 (and DNS isn't working, of course). My mosh sessions are also still alive. I wonder what could be going on. < 1412759102 136212 :AnotherTest!~turingcom@94-224-16-225.access.telenet.be JOIN :#esoteric < 1412759104 256648 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Bit bit when a gosub", it's like a song. < 1412759122 365666 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you got DNS blocked! < 1412759136 462260 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you know they have to block alternative DNS-Servers < 1412759160 811622 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because with alternative DNS-Servers you can undermine state-ordered DNS bans < 1412759183 755813 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, it's back. < 1412759191 407454 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It was this way for a few minutes at least. < 1412759218 870398 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :in the near future only DNS servers certified by the state may be used < 1412759331 902411 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :mroman_: at some point, google will buy a piece of land and shadowrun will become reality < 1412759411 762794 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412759435 573429 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412759707 343545 :aretecode!~aretecode@69.163.36.90 QUIT :Ping timeout: 244 seconds < 1412759712 796631 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412759777 775332 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412759893 672655 :aretecode!~aretecode@69.163.36.90 JOIN :#esoteric < 1412759966 342395 :skarn!skarn@unaffiliated/skarn QUIT :Ping timeout: 272 seconds < 1412760017 986566 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412760028 545960 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode SINGLE LEFT-POINTING ANGLE QUOTATION MARK < 1412760029 161928 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​‹ < 1412760052 189436 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode SINGLE RIGHT-POINTING ANGLE QUOTATION MARK < 1412760052 883955 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​› < 1412760169 136563 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`unicode DOUBLE LEFT-POINTING ANGLE QUOTATION MARK < 1412760170 509880 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412760172 634256 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Aw. < 1412760178 574483 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unidecode ≺ < 1412760179 226181 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+227A PRECEDES] < 1412760197 752000 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: are there 24-bit long memory load and store instructions for those registers too? < 1412760206 685400 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`unicode LEFT-POINTING DOUBLE ANGLE QUOTATION MARK < 1412760207 389789 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​« < 1412760224 782402 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Why is it "SINGLE LEFT-POINTING ANGLE QUOTATION MARK" but "LEFT-POINTING DOUBLE ANGLE QUOTATION MARK"? < 1412760229 57939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` ls -l bin/icode < 1412760229 882463 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lrwxrwxrwx 1 5000 0 9 Sep 12 13:29 bin/icode -> unidecode < 1412760254 921888 :skarn!skarn@unaffiliated/skarn JOIN :#esoteric < 1412760337 705811 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unidecode < < 1412760338 430384 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+003C LESS-THAN SIGN] < 1412760338 723516 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: Yes. Though they're not really separate instructions, it's just a processor mode whether it does 16 or 24. < 1412760348 409928 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unidecode < < 1412760349 13314 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+003C LESS-THAN SIGN] < 1412760350 29124 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1412760352 467411 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1412760361 711533 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I guess there are some suffixes. < 1412760376 554161 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So maybe that translates to prefix bytes to temporarily override the mode, I'm not too familiar with the thing. < 1412760450 840290 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412760495 336140 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412760532 104168 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fun fact: eZ80 has as an officially documented feature the same thing that Z80 did undocumentedly, which is to let you access the low/high bytes of the index registers IX, IY as individual 8-bit registers IXH, IXL, IYH, IYL. < 1412760570 417017 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412760685 233932 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nice < 1412760700 8778 :drdanmaku!uid17782@gateway/web/irccloud.com/x-mmkdnosnvizhkbpz QUIT :Quit: Connection closed for inactivity < 1412760719 550245 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it sounds like alien if it has 3 byte long integers and read/writes for them. are they really 3 byte long writes, not 4 byte? < 1412760736 696755 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and the registers are 3 byte long too? < 1412760745 834180 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I can't imagine that these days. < 1412760818 278911 :Phantom_Hoover!~phantomho@146.66.63.84 JOIN :#esoteric < 1412760818 585682 :Phantom_Hoover!~phantomho@146.66.63.84 QUIT :Changing host < 1412760818 585887 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1412760832 600746 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unidecode ＜ < 1412760833 190560 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+FF1C FULLWIDTH LESS-THAN SIGN] < 1412760834 772261 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hoho < 1412760849 597797 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :＜b＞I'm BOLD! < 1412760952 444338 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's what the manual claims. < 1412761017 851094 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"In ADL mode, all addresses and data are 24 bits. All data READ and WRITE operations pass 3 bytes of data to and from the CPU when operating in ADL mode (as opposed to only 2 bytes of data while in Z80 mode operation)." < 1412761059 13096 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :≺span≻hehe≺/span≻ < 1412761091 981892 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1412761094 553422 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's called html injection over stuff that replaces similar looking stuff with ASCII stuff < 1412761121 250932 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and are there 16 bit load, store, compare instructions available in that mode? < 1412761121 846999 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Motorola DSP56k is also very 24-bit, but I guess "DSPs Are Different". < 1412761125 445940 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412761161 296336 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not byte-addressable, anyway, so having an odd number might not be much of a difficulty. < 1412761171 745297 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: exactly < 1412761229 205912 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's also useful in forums that filter out html-tags but you wan't to show somebody how to do stuff in HTML < 1412761238 780095 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know what eZ80 C implementations do, or whether there are many/any. SDCC doesn't target it. < 1412761283 850290 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Zilog has something, it seems. < 1412761378 173382 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412761434 306110 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :⎟ < 1412761435 634961 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"I swear on my mothers grave, to god and the great turtle that carries the earth that Zilog has not release a single stable, reliable and consistent compiler for at least eight years by now - I've used them for the past 6 years, and my colleagues have told me many similar stories of the even earlier ones." (Zilog's support forum posting) < 1412761465 378577 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412761486 173523 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Please, I'm on my knees here and the mental health of our entire development force is on the verge of collapse. < 1412761489 106794 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We need working software, we needed it 5 years ago, things went critical a long time ago and has only been getting worse ever since." < 1412761492 112848 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Very emotional. < 1412761505 245365 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (⟍c -> c) $ 5 < 1412761507 731568 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:2: lexical error at character '\10189' < 1412761521 942463 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This post was 2 years, 7 months ago, and received no replies. < 1412761581 334265 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unidecode ⧦ < 1412761581 905134 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+29E6 GLEICH STARK] < 1412761587 216798 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :why the hell is this in German? < 1412761587 851924 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412761735 476480 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@define let (⩵) = (==) < 1412761735 879795 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: Parse error: EOF < 1412761741 167084 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :? < 1412761748 298406 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@let (⩵) = (==) < 1412761750 976109 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1412761753 60282 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah < 1412761760 874794 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 5 ⩵ 5 < 1412761762 994327 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1412761766 316833 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412761810 805469 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> (\x → x ∷ Int) 42 -- it does *some* Unicode out of the box; sadly, AIUI λ counts as an alphabetic character. < 1412761812 913671 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 42 < 1412761872 68432 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :There's even ⩶ < 1412761887 273454 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but my terminal doesn't correctly display three nor two consecutive equals signs < 1412761894 503908 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :⩶f < 1412761910 157258 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- that f is displayed IN the three consecutive equals signs < 1412761977 712038 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I just get a rectangle. :/ < 1412762027 373459 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> ∞ < 1412762029 135075 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘∞’ < 1412762035 372966 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@let ∞ = Infinity < 1412762035 690232 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Plugin `eval' failed with: Enum.toEnum{Word8}: tag (8734) is outside of bounds (0,255) < 1412762045 380371 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hu < 1412762049 9254 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait < 1412762064 581500 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@let (∞) = Infinity < 1412762067 315124 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:183:7: Not in scope: data constructor ‘Infinity’ < 1412762073 459506 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not? < 1412762076 227998 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 1/0 < 1412762078 37726 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Infinity < 1412762083 190877 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@let (∞) = 1/0 < 1412762084 667600 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1412762090 324768 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> ∞ < 1412762092 477484 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘∞’ < 1412762102 804813 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (∞) < 1412762105 131597 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Infinity < 1412762106 663798 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wth < 1412762121 659577 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's an operator, I guess. < 1412762171 354875 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412762237 875141 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`unicode ∞ < 1412762239 2174 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+221E INFINITY \ UTF-8: e2 88 9e UTF-16BE: 221e Decimal: ∞ \ ∞ \ Category: Sm (Symbol, Math) \ Bidi: ON (Other Neutrals) < 1412762240 366992 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412762245 80634 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :See, category: symbol. < 1412762250 283954 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412762481 35308 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> let ℵ₀ = 1/0 in ℵ₀ -- will this make the resident mathematicians cry? < 1412762483 462968 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Infinity < 1412762538 287121 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412762569 851993 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412762798 161903 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so < 1412762817 285025 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@let ∞ = 1/0 in ∞ < 1412762817 722449 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Plugin `eval' failed with: Enum.toEnum{Word8}: tag (8734) is outside of bounds (0,255) < 1412762832 651473 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :this sucks < 1412762839 300289 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412762842 315685 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :∞ is cleary a Constant of some sort and not an operator < 1412762892 372129 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode π < 1412762893 208927 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+03C0 GREEK SMALL LETTER PI \ UTF-8: cf 80 UTF-16BE: 03c0 Decimal: π \ π (Π) \ Uppercase: U+03A0 \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) < 1412762901 134209 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> pi < 1412762902 814411 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.141592653589793 < 1412762906 471512 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's a letter, that will work fine. < 1412762911 44897 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@let π = pi < 1412762914 187346 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1412762915 772604 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> π < 1412762917 772468 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.141592653589793 < 1412762918 484822 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yep. < 1412763052 346384 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@let type ℕ = Integer < 1412763053 675380 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1412763066 555638 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> read "42" ∷ ℕ < 1412763068 586447 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 42 < 1412763070 842170 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So fancy. < 1412763088 918418 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's called Haskell/APL < 1412763090 969009 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Whoops, that should've been ℤ. < 1412763100 451794 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412763103 893236 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess there's still no undef that wouldn't wipe out everything at once. < 1412763114 231448 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :can you redef? < 1412763120 382538 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@let type ℕ = Integer < 1412763121 726467 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:188:1: < 1412763121 880868 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Multiple declarations of ‘ℕ’ < 1412763121 881032 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Declared at: .L.hs:186:1 < 1412763121 881121 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:188:1 < 1412763126 390492 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I guess not < 1412763436 975456 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412763516 290301 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think you can redeclare values, not tycons < 1412763920 617493 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412763976 646944 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412764063 944261 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412764149 410707 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1412764277 653596 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412764302 856225 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412764572 495761 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1412764581 300859 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412764611 610297 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412764760 740629 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :vittu! < 1412764775 293811 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Such language. < 1412764787 866967 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1412764791 44502 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :very wow < 1412764885 939245 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412764890 629653 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412765188 315884 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412765188 613511 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412765766 628228 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :for once it wasn't even fungot who said the v-word. < 1412765766 822689 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: 3) load the timer latch, while attenuating at the first byte to it whenever you are happy with your computer with the get statement to add some special screen editing capabilities. the < 1412765796 222688 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412765839 333651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell zzo38 Is it possible that from a system of square Wang tiles you can make an equivalent system of triangular Wang tiles if you add more colors? <-- it seems to me you could just split each square along the diagonal and give the diagonal edges a unique color for each original square < 1412765839 686415 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1412765923 746910 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412766095 279014 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412766102 324786 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412766179 155862 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: But wouldn't that be SO BORING. < 1412766227 246437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1412766401 706424 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412766429 503760 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com JOIN :#esoteric < 1412766664 623525 :skarn!skarn@unaffiliated/skarn QUIT :*.net *.split < 1412766665 63445 :16WAAR95O!sandroco@50708355.static.ziggozakelijk.nl QUIT :*.net *.split < 1412766665 217657 :tromp!~tromp@rtc35-154.rentec.com QUIT :*.net *.split < 1412766665 800373 :aloril!~aloril@dsl-tkubrasgw2-50defd-78.dhcp.inet.fi QUIT :*.net *.split < 1412766691 129866 :heroux_!sandroco@50708355.static.ziggozakelijk.nl JOIN :#esoteric < 1412766692 733750 :tromp!~tromp@rtc35-154.rentec.com JOIN :#esoteric < 1412766724 672886 :aloril!~aloril@dsl-tkubrasgw2-50defd-78.dhcp.inet.fi JOIN :#esoteric < 1412766845 417704 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412766880 336829 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412766962 855949 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412766982 186153 :skarn!skarn@unaffiliated/skarn JOIN :#esoteric < 1412767175 294957 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1412767182 361271 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412767276 698497 :boily!~boily@96.127.201.149 QUIT :Quit: MAGICAL LYRICAL CHICKEN < 1412767575 934273 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: Aren't you the finn who doesn't speak finnish? < 1412767641 940177 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@help define < 1412767642 256126 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :let = . Add a binding < 1412767655 596171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1412767674 443315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's shachaf, and his finnishness is fractional. < 1412767701 58615 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah. right < 1412767707 88527 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I gotta make me a list < 1412767723 827521 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :of people I can annoy with questions about finnish < 1412767732 66879 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`cat finns < 1412767732 553445 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: finns: No such file or directory < 1412767735 42822 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1412767780 295723 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412767842 288107 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412767884 917613 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412767894 905164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: the top/current directory of HackEgo is not the place we put most long-time stuff. < 1412767934 315826 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we occasionally purge it of junk < 1412768144 383344 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412768382 28121 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412768462 269852 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412768477 261869 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412768520 709941 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1412768769 330744 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412768791 158602 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let x = "test" < 1412768794 236180 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1412768796 447650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> x < 1412768798 327190 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Ambiguous occurrence ‘x’ < 1412768798 530533 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : It could refer to either ‘L.x’, defined at L.hs:187:1 < 1412768798 683903 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : or ‘Debug.SimpleReflect.Vars.x’, < 1412768798 684026 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : imported from ‘Debug.SimpleReflect’ at L.hs:119:1-26 < 1412768798 684112 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (and originally defined in ‘simple-reflect-0.3.2:De... < 1412768815 210810 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let x = "test2" < 1412768816 469372 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:188:1: < 1412768816 669765 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Multiple declarations of ‘x’ < 1412768816 822938 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Declared at: .L.hs:187:1 < 1412768816 823061 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:188:1 < 1412768828 132430 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412768830 78905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I think you can redeclare values, not tycons <-- nope < 1412768952 362845 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1412768953 700957 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1412769072 391984 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412769107 494883 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1412769621 463962 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 272 seconds < 1412769687 751172 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412769731 400901 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412769748 636966 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412769773 839269 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Flow chart14]]4 10 02http://esolangs.org/w/index.php?diff=40589&oldid=40576 5* 03Oerjan 5* (+38) 10wrongtitle < 1412769927 371993 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`ls < 1412769928 79790 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​:-( \ a.out \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dc \ dog \ etc \ factor \ head \ hej \ hello \ hello.c \ ibin \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test.c \ Wierd \ wisdom \ wisdom.pdf < 1412769964 433306 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :something like people/swiss people/finns? < 1412769984 269890 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :people/secretly-german-but-if-someone-asks-im-american < 1412770002 582374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :NOT SURE < 1412770029 294544 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412770104 388650 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412770336 946097 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412770379 452979 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412770642 554033 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412770665 296926 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412770795 592254 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :people/chuchichäschtli? < 1412770869 934469 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ArrayZ14]]4 10 02http://esolangs.org/w/index.php?diff=40590&oldid=40588 5* 03Oerjan 5* (+195) 10some proofreading < 1412770883 662334 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(http://als.wikipedia.org/wiki/Chuchich%C3%A4schtli) < 1412770940 262556 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412770951 486696 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412771111 662392 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1412771245 555485 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412771298 769146 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412771547 223793 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412771627 16800 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412771887 927710 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412771938 590126 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com QUIT :Quit: Leaving < 1412772233 651377 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`learn chuchichäschtli is spoken as ˈχʊχːiˌχæʃːtli < 1412772233 814784 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412772235 230020 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :I knew that. < 1412772310 312651 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412772310 568499 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412772611 407797 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412772772 235445 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1412773144 665349 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412773215 305185 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412773282 255272 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412773513 367749 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412773547 600504 :tromp_!~tromp@ool-4570a006.dyn.optonline.net QUIT :Remote host closed the connection < 1412774033 251276 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1412774063 327573 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412774112 408343 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412774126 558894 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412774553 561140 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Flow chart14]]4 M10 02http://esolangs.org/w/index.php?diff=40591&oldid=40589 5* 03Ehird 5* (-4) 10righttitle < 1412774559 751590 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: ^ may interest < 1412774584 560628 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(it'll only accept arguments that are a valid link to that page when enclosed in [[]], basically; it's what {{lowercase}} uses) < 1412774845 314447 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412774977 396810 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412775090 382921 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1412775150 272950 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412775172 415281 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412775454 500436 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412775902 307221 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412776292 786996 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412776818 385947 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412776819 817825 :King2218!793636a9@gateway/web/cgi-irc/kiwiirc.com/ip.121.54.54.169 JOIN :#esoteric < 1412776965 986561 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Money on the internet, be it Visa, Mastercard, Paypal or others, is not easily programmable. It necessitates authorizations from a central server and third parties take commissions. It seems unimaginable to make the above process automatic: creating a bank account that can be filled up by users and which is emptied when a condition concerning a Coq proof is met." ??????? < 1412776996 567344 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nobody has ever made a website that allows people to contribute money to a goal which is then cashed out to someone when a condition is met < 1412777004 306226 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's just not possible < 1412777197 300752 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412777238 98345 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412777503 345654 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412777675 820958 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1412777737 959538 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what? < 1412777756 437545 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Not using Coq proofs probably < 1412777760 955536 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there's stuff like kickstartet though < 1412777789 827913 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although you have to pay the money before the condition is met < 1412777800 716764 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd have made a joke now if my brain hadn't refused to remember the word "kickstarter" < 1412777805 708817 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412777811 514040 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::D < 1412778130 879568 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :elliott_: Oh man, I found that article; serious koolaid ... < 1412778167 861281 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean sure when it gets into more decentralised stuff that's something cryptocoins actually have an advantage in. < 1412778195 478954 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but the proof market thing is basically just... kickstarter with changed conditions. < 1412778271 502806 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :Yeah. Real World bounties like that are put up all the time; IIRC there's still a prize for Fermat's. < 1412778301 348508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um fermat's was solved. < 1412778310 719074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or are they asking for a simpler proof < 1412778333 887987 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :Naw, disregard me then, I didn't know that. < 1412778355 158371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah it's only been nearly 20 years. < 1412778358 242678 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fermat's last was solved before I was born < 1412778444 949120 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :I think I may have it confused with something else; or had incorrect information re: acceptance of proofs. Also I am not a mathematician. My humble apologies. < 1412778453 636214 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1412778462 465845 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION not trying to pile-on or belittle, just remarking
< 1412778486 690704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :try https://en.wikipedia.org/wiki/Millennium_Prize_Problems hth < 1412778886 784829 :augur!~augur@ip-64-134-240-197.public.wayport.net JOIN :#esoteric < 1412779196 372136 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :elliott_: Yeah, it's cool. My familiarity with that stuff is pretty poor. < 1412779492 364669 :King2218!793636a9@gateway/web/cgi-irc/kiwiirc.com/ip.121.54.54.169 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1412779841 584599 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :My lecturer said that all unsolved problem are equivalent to the SAT-Problem < 1412779854 972250 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*problems < 1412779928 97209 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :very very vaguely maybe < 1412779998 95697 :King2218!793636a9@gateway/web/cgi-irc/kiwiirc.com/ip.121.54.54.169 JOIN :#esoteric < 1412780037 137599 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :sat is solved, it's just that it takes forever < 1412780124 949570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh f < 1412780148 658086 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :if you found a correspondence between 3-sat and hilbert's 16th i would be impressed < 1412780188 536699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the idea is that you could search for proofs < 1412780214 150133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but you have to assume short enough proofs exist < 1412780235 152078 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412780268 839393 :King2218!793636a9@gateway/web/cgi-irc/kiwiirc.com/ip.121.54.54.169 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1412780281 435600 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION suddenly realizes the trick for getting A006520 down to ... well still one char too much to tie the best
< 1412780325 465669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah there < 1412780430 756761 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 258 seconds < 1412780474 21598 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman_: unsolved like large integer factoring or like goldbach's conjecture < 1412780522 961476 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :chemistry nobel is for microscopy, woooooooooooooo or something < 1412780598 683417 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Poll: How long could you survive without income?" ask hacker news: how rich are you < 1412780601 361460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did i mention the medicine nobel went to research in TRONDHEIM < 1412780618 972473 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION waves a very, very small trondheim flag
< 1412780650 311665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :'s ok i can use the microscopy from the chemistry nobel to see it < 1412780691 881784 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Maybe he meant "equivalent to all unresolved millenium prizes" < 1412780692 561145 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but < 1412780697 913473 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :3sat is not on the millenium prize list? < 1412780723 540460 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :maybe as "P vs. NP - The Beatdown" < 1412780745 6806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: i rather suspect he has only a vague idea, like that aaronson quote in the wikipedia page < 1412780768 630283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: it is in a sense true that SAT would allow us to solve anything we can solve at all < 1412780807 488767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*a fast algorithm for SAT < 1412780828 1481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because we can use SAT to search for the solution we'd otherwise take a long time to find < 1412780844 812817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but it still have to be a solution small enough < 1412780889 940741 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it does not apply to unsolved problems for which there only exists a proof solution too large for humanity to test < 1412780912 947448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it also does not apply to unsolved problems with no solution at all, as long as we put no bound on its size. < 1412781048 958940 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :sometimes solving a problem means more than a yes or no proof, it's kind of a broad thing to ask for < 1412781102 211528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm leaving my old solution up so fizzie can see what i did, because i think it's still elegant even if the trick everyone found is shorter < 1412781284 82088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok now the only golf i haven't either seen or cracked the trick of is the POCKET one < 1412781522 378027 :aretecode!~aretecode@69.163.36.90 QUIT :Quit: Toodaloo < 1412781718 201421 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :in Haskell? < 1412781787 196215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1412781854 482914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well of the recent open ones < 1412781861 451768 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ha < 1412781869 974242 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I have 38B for POCKET < 1412781873 303466 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :in Haskell < 1412781888 27614 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :pretty easy and straightforward actually < 1412781893 429630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :most do < 1412781949 820448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok the thing is, my solution so far that doesn't cheat too much has 39 < 1412782081 584942 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does the totally obvious thing. < 1412782142 986203 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not obvious enough if it's 39 < 1412782164 534890 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Do you have a == in your code? < 1412782170 472918 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. < 1412782173 336925 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1412782174 667717 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :good < 1412782182 297898 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 244 seconds < 1412782185 823528 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a '\v'? < 1412782204 995346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...why would i want a '\v' < 1412782229 301043 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well I can construct easily a 39B solution by replacing something with '\v' instead < 1412782232 921954 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it would still work < 1412782235 581931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ord '\v' < 1412782237 557409 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 11 < 1412782257 754500 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but '@' is shorter than '\v' for that purpose < 1412782289 623902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1412782308 212012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my 39 b solution is much more obvious than that hth < 1412782315 137431 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :really? < 1412782323 46329 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1412782324 933633 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :weird < 1412782326 137473 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's like the thing you'd do if you weren't trying to golf at all < 1412782333 433730 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :using isLower? < 1412782350 315236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :isLower isn't a Prelude function. < 1412782365 375881 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: couldn't you use SAT to search for a proof that a solution exists? < 1412782371 687757 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in the case that any solution would be too big to check. < 1412782382 481898 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I have a 55B solution with import Data.Char < 1412782382 662543 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if not even _that_ fits in human sizes, then we'd never solve it anyway. < 1412782383 354668 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::D < 1412782395 993879 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait < 1412782398 344561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: um a proof that a proof exists counts as a proof < 1412782399 411818 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I think I know < 1412782422 358564 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well I meant it sounded like you'd use SAT to find solutions to some criteria where the question is whether any such thing exists < 1412782432 576579 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and you said that wouldn't work if any such things would be far too big. < 1412782437 139672 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :what is the specification of the problem you're golfing? < 1412782449 854403 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but you could just search for a proof that such a solution exists, instead. since that's what humans would be doing anyway. < 1412782455 451482 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh well I have a 43B solution as well < 1412782455 952438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: there may be problems whose proofs are bigger than the size of the universe < 1412782456 396230 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :possibly I completely misinterpreted you. < 1412782468 174961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_shortest_ proofs < 1412782471 678167 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: right. in which case it doesn't matter if they're on the millenium prize list or not, because we will never solve them < 1412782483 387986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact there's a theorem that such things exist. < 1412782487 383780 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :of course < 1412782529 718654 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :42B < 1412782534 708840 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but this approach sucks < 1412782535 777399 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I guess < 1412782580 213428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i got 38 by blatantly cheating. < 1412782592 676933 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Help I have bought a Haskell-relevant domain name < 1412782628 397568 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :use it for a snobol fansite < 1412782632 842185 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. that reminds me of http://foldl.com/ and http://foldr.com/ < 1412782677 495083 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there's no such thing as cheating on anagol < 1412782690 160461 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1412783078 709507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: i think it is cheating when you make a program that doesn't work on obvious test cases that weren't included. < 1412783114 535736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i had thought that you're really supposed to append (cheating) or such if you do... < 1412783191 763422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and this problem has cheating on two levels. obvious cheating is using the fact that no test case contains other capital letters. < 1412783213 796411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :more subtly, shouldn't the letters POCKET _really_ appear in order to be removed? :P < 1412783232 998446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*in order in order < 1412783277 940395 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now i was trying to find a solution that only cheated on the subtle part, and that gave me 39. < 1412783304 568902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i didn't really expect anyone else to worry about that.) < 1412783370 186273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then if i cheat on the first part too, 38 is easy. < 1412783687 269074 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1412783949 293269 :tromp_!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1412784076 244414 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1412784267 638077 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1412784281 172341 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :isLower is approximately (>'z') ?! < 1412784302 697013 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i mean (>'Z') < 1412784419 719236 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1412784539 200074 :tromp_!~tromp@ool-4570a006.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1412784572 273605 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1412784580 373232 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1412784644 440475 :drdanmaku!uid17782@gateway/web/irccloud.com/x-bvdcsnspruglznvz JOIN :#esoteric < 1412784848 312238 :tromp_!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1412785435 781654 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :tl;dr: I mentioned that I kind of wanted some sort of web presence to one of my friends < 1412785456 438759 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :He suggested (as I had offered to help him Haskell earlier) I get haskellhero.uk < 1412785465 389283 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Now I have that and I am figuring out how the hell I set up a website < 1412785521 61530 :dianne!~hianne@unaffiliated/dianne PRIVMSG #esoteric :what do you intend to put there... < 1412785595 547817 :dianne!~hianne@unaffiliated/dianne PRIVMSG #esoteric :my idea: a flash guitar hero clone but with logicians instead of music < 1412785625 511350 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :How does that work? < 1412785641 472006 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :dianne, I will probably make it into a Haskell blog < 1412785693 408883 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :?messages-loud < 1412785693 754820 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oerjan said 5h 30m 54s ago: Is it possible that from a system of square Wang tiles you can make an equivalent system of triangular Wang tiles if you add more colors? <-- it seems to me you could just split each square along the diagonal and give the diagonal edges a unique color for each original square < 1412785712 526875 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :oerjan: It is also what I thought, to. < 1412786112 329420 :augur!~augur@ip-64-134-240-197.public.wayport.net QUIT :Remote host closed the connection < 1412786137 691499 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1412786167 641555 :augur!~augur@ip-64-134-240-197.public.wayport.net JOIN :#esoteric < 1412786410 827506 :tromp_!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1412786996 384244 :NSSgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1412787118 778239 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1412787333 786128 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 260 seconds < 1412787857 845227 :teuchter!choochter@nat/ibm/x-swioptgdnltlgttn QUIT :Read error: Connection reset by peer < 1412787938 27114 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 272 seconds < 1412787980 429051 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1412788163 263073 :augur!~augur@ip-64-134-240-197.public.wayport.net QUIT :Remote host closed the connection < 1412788482 392528 :Gumby!~TickerSno@50-198-72-10-static.hfc.comcastbusiness.net JOIN :#esoteric < 1412788732 496797 :Gumby!~TickerSno@50-198-72-10-static.hfc.comcastbusiness.net QUIT :Quit: Leaving < 1412788759 942570 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1412789088 998618 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Trivia: I am not very good at things < 1412789298 833969 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :
ACTION is currently in a passive-aggressive nick fight with someone
< 1412789315 498815 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I own Cu (because copper, get it?), and this person does not seem to understand how nickserv works. < 1412789328 150708 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :
ACTION keeps ghosting em
< 1412789370 258090 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1412789378 341060 :coppro!raedford@taurine.csclub.uwaterloo.ca NICK :Cu < 1412789981 513003 :MoALTz!~no@user-46-112-187-121.play-internet.pl JOIN :#esoteric < 1412790048 257709 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Remote host closed the connection < 1412790165 320907 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1412790446 402686 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412791225 279929 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1412791369 411456 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Cu: I have occasionally been known to m̶u̶r̶d̶e̶r̶ ghost pretenders to the Gregor name. < 1412791487 209395 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :-NickServ- Last addr : dlopen@libdl.so < 1412791489 718119 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Hahaha I love me. < 1412791533 935126 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :those striked out letters get dsisplayed in a different, noticeably bigger font here. < 1412791536 972223 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's quite the effect. < 1412791580 275647 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds < 1412792082 622733 :Cu!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Gregor: I ghosted em 5 times in as many minutes < 1412793368 159489 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1412793699 390546 :drdanmaku!uid17782@gateway/web/irccloud.com/x-bvdcsnspruglznvz QUIT :Quit: Connection closed for inactivity < 1412793708 587496 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Cu: Maybe you should sockpuppet Cu so you don't have to have an unrecognized nick. < 1412794149 528896 :Cu!raedford@taurine.csclub.uwaterloo.ca NICK :coppro < 1412794155 163301 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'm hoping I held it long enough < 1412794159 470943 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if it becomes a problem, I will < 1412794206 116093 :nortti!nortti@nano.smar.fi NICK :lawspeaker < 1412794216 163806 :lawspeaker!nortti@nano.smar.fi NICK :nortti < 1412794385 359410 :nortti!nortti@nano.smar.fi NICK :lawspeaker < 1412794503 781604 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1412794515 169525 :lawspeaker!nortti@nano.smar.fi NICK :nortti < 1412795164 629761 :shikhin!~shikhin@unaffiliated/shikhin NICK :[ < 1412795194 470470 :[!~shikhin@unaffiliated/shikhin NICK :Guest51757 < 1412795194 897229 :nortti!nortti@nano.smar.fi NICK :^ < 1412795206 741392 :Guest51757!~shikhin@unaffiliated/shikhin NICK :shikhin < 1412795218 360189 :^!nortti@nano.smar.fi NICK :nortti < 1412795264 678467 :erdic!~erdic@unaffiliated/motley QUIT :Remote host closed the connection < 1412795289 775226 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1412796188 868418 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :nortti, one man play in another channel/ < 1412796234 749210 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :Taneb: nah, lawspeaker is the nick I assume when untangling the law code of #osdev-offtopic < 1412796260 163653 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :and ^ was to check to see it is was available, after shikhin assumed [ < 1412796399 416564 :shikhin!~shikhin@unaffiliated/shikhin PRIVMSG #esoteric ::D < 1412796724 100258 :nortti!nortti@nano.smar.fi NICK :lawspeaker < 1412796744 79956 :lawspeaker!nortti@nano.smar.fi NICK :nortti < 1412796763 419518 :Sgeo!~quassel@metro29st13.m.subnet.rcn.com JOIN :#esoteric < 1412796985 311935 :Bicyclidine!~Glossina@wl-nat114.it.wsu.edu JOIN :#esoteric < 1412798271 184558 :Bicyclidine!~Glossina@wl-nat114.it.wsu.edu QUIT :Ping timeout: 244 seconds < 1412798429 631823 :Bicyclidine!~Glossina@wl-nat114.it.wsu.edu JOIN :#esoteric < 1412798663 261566 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1412798976 915144 :drdanmaku!uid17782@gateway/web/irccloud.com/x-ngbxuiupofznqzfc JOIN :#esoteric < 1412799900 231034 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 260 seconds < 1412800372 772328 :brandonson!~SingingBo@d50-98-172-234.bchsia.telus.net JOIN :#esoteric < 1412800391 781828 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1412800904 990286 :erdic!~erdic@unaffiliated/motley QUIT :Remote host closed the connection < 1412800930 261879 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1412801482 999665 :AnotherTest!~turingcom@94-224-16-225.access.telenet.be QUIT :Remote host closed the connection < 1412801885 83340 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412801942 953980 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Disconnected by services < 1412801948 71403 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1412802242 645728 :Bicyclidine!~Glossina@wl-nat114.it.wsu.edu QUIT :Ping timeout: 245 seconds < 1412802283 476943 :AndoDaan!~Daanando@188.188.94.90 JOIN :#esoteric < 1412802696 28785 :Sgeo!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :https://twitter.com/securetips < 1412802737 850031 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :How can I tell what version of glibc I have installed? < 1412802837 360643 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run echo -e 'char *gnu_get_libc_version(void); \n int main(void) { puts(gnu_get_libc_version()); }' | gcc -o /tmp/x -x c - && /tmp/x < 1412802838 153159 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2.13 < 1412802843 618613 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Straight from the horse's mouth. < 1412802854 718493 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Your package manager probably knows it too.) < 1412802952 909148 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run echo -e '#include \n int main(void) { char buf[1024]; confstr(_CS_GNU_LIBC_VERSION, buf, sizeof buf); puts(buf); }' | gcc -o /tmp/x -x c - && /tmp/x # alternatively < 1412802953 747285 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :glibc 2.13 < 1412803130 951694 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :suddenly want to make something where the version is a float < 1412803287 934697 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1412803382 819997 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :https://twitter.com/drraid/status/451697405529165824 it hurts < 1412803394 536208 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1412803612 932687 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1412803737 338662 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, my website has a big "Under construction" on it < 1412803743 283386 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :well, a small one, I guess < 1412803936 402704 :Vorpal_!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1412804100 298523 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 260 seconds < 1412804327 238473 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Now I just need to either get Hakyll working or roll a blog suite from scratch < 1412805998 944133 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1412806134 709207 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1412806252 920143 :tromp_!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1412806268 338285 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I... have just given myself a sticky plaster for the first time < 1412806301 482079 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I nicked my thumb while slicing some buns, just a nick, but it was annoying me) < 1412806318 621251 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am simultaneously adult and very not adult at the same time < 1412806510 598741 :AndoDaan!~Daanando@188.188.94.90 QUIT :Ping timeout: 276 seconds < 1412806540 841467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Now I have that and I am figuring out how the hell I set up a website <-- you realize you're now obligated to do it with haskell right? < 1412806580 952508 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, already on it < 1412806586 180597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1412806608 74469 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The current placeholder uses Happstack to serve a static, one-page, next-to-no-content site < 1412806683 12881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means your website is _already_ fancier than mine, in some sense. < 1412807155 633656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cc char *gnu_get_libc_version(void); \n int main(void) { puts(gnu_get_libc_version()); } < 1412807156 438605 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2.13 < 1412807166 276238 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: ^ < 1412807185 971972 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: whoa, you can get domains directly under .uk < 1412807262 181894 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, apparently < 1412807266 220204 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have one < 1412807346 593824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why would you use haskell to make a website < 1412807392 492743 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, because with that url it'd be a waste not to < 1412807492 671325 :dianne!~hianne@unaffiliated/dianne QUIT :Ping timeout: 245 seconds < 1412807713 748135 :dianne!~hianne@unaffiliated/dianne JOIN :#esoteric < 1412807825 341220 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1412808198 363746 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1412808541 437510 :Sgeo!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :"Heartbleed is the first real example of being able to download more RAM. " < 1412808700 128066 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sgeo, explanation/ < 1412808705 468386 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :? < 1412808735 934200 :Sgeo!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :Heartbleed allows attackers to download data pseudorandomly from a server's memory, iiuc < 1412808748 310539 :Sgeo!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :Also, @SecureTips is the best twitter account ever < 1412809171 684829 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com JOIN :#esoteric < 1412809391 292185 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1412809593 793222 :Sgeo!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :"Make sure to initialize memset before using it: memset(&memset, 0, sizeof(memset));" < 1412809604 112509 :Sgeo!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :Will that actually overrwite the memset function? < 1412809661 741875 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Probably the relevant memory page will not be writable even if it will try to. < 1412809755 375375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's almost certainly undefined behavior. < 1412809778 340539 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu JOIN :#esoteric < 1412810225 239989 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com QUIT :Read error: Connection reset by peer < 1412810323 254336 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :It's not just undefined behavior, it's *incredibly* undefined behavior. < 1412810343 328156 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :in bed! < 1412810353 60194 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :C does not require a Von Neumann architecture at all. < 1412810384 276832 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :good thing too, i've been using it on a harvard microcontroller < 1412810401 512461 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :To the point that merely casting a function pointer to a void pointer is UB. < 1412810412 116633 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so has anyone ever dd'd some data in tmpfs to an unused part of an active swap partition, and then deleted the original (so you have enough memory free) so you can disable the swap (and get the data back by dd'ing from the block device) < 1412810419 162322 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1412810421 790886 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because somehow this actually worked < 1412810439 482128 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com JOIN :#esoteric < 1412810467 961373 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Jesus christ that's crazy. < 1412810489 826853 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is what happens when you're like "well, I guess I can just use the entire 500 gigabyte drive as swap for now" < 1412810506 902243 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com PRIVMSG #esoteric :... < 1412810569 955329 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com PRIVMSG #esoteric :why would you do that < 1412810580 990932 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so I could partition the disk, duh < 1412810586 892033 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can't do that when you're using it as swap < 1412810680 656431 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com PRIVMSG #esoteric :i just came in < 1412810686 765782 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com PRIVMSG #esoteric :read what i could see < 1412810711 32758 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's ok, the context makes it less reasonable < 1412810717 718072 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but there are logs in the topic if you want to know the context. < 1412810776 358744 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the additional fun is partitioning the disk *without* disturbing the data, so you can then activate the /new/ swap, and dd the data back into tmpfs < 1412810779 682569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :#esoteric, the channel where you cannot assume that knowing the context of a statement makes it _less_ crazy < 1412810785 842086 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :haven't quite gotten to that part yet, we'll see < 1412810810 370340 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :hack the MMU to have it repartition the drive when you need more swap < 1412810815 983015 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Least you're not also switching partitioning schemes. < 1412810823 291405 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :MBR to GPT is probably a pain. < 1412810832 126256 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com PRIVMSG #esoteric :lol, oerjan < 1412810848 814564 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: I think gdisk can do that conversion? < 1412810871 420125 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Can it? Hrm. I'd hate to see the code for it. < 1412810908 426370 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :It's either going to be filesystem-specific or rather slow and painful to do. < 1412810942 314018 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for those following along at home, the data is actually a custom-made linux install live ISO configured to allow access via ssh, and the next step is to make a partition to hold it so I can install a syslinux that loads the ISO as a ramdisk < 1412810957 870346 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and then reboot, ssh in, and repartition the drive /again/, and install linux < 1412810965 72206 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :(the GPT headers go past where an MBR partition is likely to start) < 1412810974 43860 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :have you considered becoming an actor on CSI or something < 1412810993 737820 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :"wait, if i just dd the custom live iso into swap... i'm in" < 1412810998 579365 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :dear ISPs: if your rescue system can boot an ubuntu ISO, why not just let me give you another ISO to boot instead, it would save me so much effort < 1412811106 295966 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1412811166 736775 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1412811168 461199 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also dear linux distros: it'd be nice if I could, like, pass an ssh public key on the kernel commandline and have your live installation media start sshd and give root that key < 1412811178 314383 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1412811375 329578 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1412811437 481454 :dianne!~hianne@unaffiliated/dianne QUIT :Ping timeout: 245 seconds < 1412811455 864930 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: have you ever compiled syslinux? < 1412811467 176921 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you seem a likely person to ask < 1412811504 878934 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Y'know, I think I have. < 1412811528 255601 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...was it a pain? I guess it's likely to involve toolchain fuss with all the freestandingness. < 1412811568 153974 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :On a scale from 1 to 10, where 1 is musl and 10 is Perl cross-compiling, it's about a 2. < 1412811584 723021 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wow, tell me about perl cross-compilation < 1412811685 139375 :dianne!~hianne@unaffiliated/dianne JOIN :#esoteric < 1412811750 416259 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :You need to hand produce a config.sh, have Perl installed, and have the target you want to build for up, running, with sshd, and a reasonable toolchain. < 1412811786 608930 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :uh. < 1412811792 998916 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Yes, in order to *cross compile* you need to be able to *natively compile* as well. < 1412811801 522874 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...why even bother cross compiling? < 1412811808 34726 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :i don't think even sbcl is that bad, and it literally compiles itself twice. < 1412811839 338653 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :elliott_: Well, maybe you like pounding nails in your eyes. < 1412811895 218370 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Perl's build system is perhaps the worst to exist in a common project, BTW. < 1412811924 780183 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Oh yeah! Also, Perl's build system depends on Perl. < 1412811940 887630 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :i think cmucl uses self-modifying code during build, but it's hardly common < 1412811986 91683 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :When I was doing bootstrap-linux, it was Perl that gave me the most trouble, not GCC. < 1412812001 47593 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :heh. < 1412812012 587073 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :(note that Perl is a build dependency of Linux) < 1412812016 572137 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :(well, was) < 1412812019 698869 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how far are we to vanilla kernels working with clang? < 1412812030 419663 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there's been stuff merged recently, right? < 1412812034 587566 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :No idea; not checked in like a year.