00:01:20 should've used FireFly 00:02:37 Have you been stalking me recently 00:04:44 -!- tromp_ has joined. 00:05:26 -!- Yurume has joined. 00:08:49 complex fuzzy bag typing. 00:08:56 A type check returns a complex number. 00:09:13 -!- tromp_ has quit (Ping timeout: 252 seconds). 00:09:49 -!- XorSwap has joined. 00:19:55 -!- hppavilion[2] has joined. 00:22:25 I still want to play nomic 00:23:31 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 00:23:36 -!- hppavilion[2] has changed nick to hppavilion[1]. 00:25:19 Agora still exists afaik 00:25:31 Sgeo: Oh yeah, Agora 00:25:58 probably 00:26:03 I unsubbed from the mailing lists last year 00:26:05 it does. there's even been some activity lately. 00:26:07 cool 00:26:15 I'll probably get back in at some point 00:31:30 -!- lleu has quit (Quit: That's what she said). 00:33:05 -!- Treio has quit (Ping timeout: 250 seconds). 00:42:39 -!- hppavilion[1] has quit (Quit: Leaving). 00:43:04 -!- hppavilion[1] has joined. 00:45:43 -!- oerjan has quit (Quit: Nite). 00:59:24 -!- mad has joined. 01:01:56 -!- mad has quit (Read error: Connection reset by peer). 01:15:52 -!- Sprocklem has joined. 01:24:41 I just went to agora and looked at a random judicial case 01:24:55 Players: A lambda-nomic has "players", individual beings or groups of beings who participate in the game 01:24:55 Rules: A lambda-nomic has "rules", statements about what players of the game can and cannot do. 01:24:55 How to play: A game is played by players following the rules to arbitrary pedanticness. 01:24:55 Rule Proposal: At any time, a player can propose a new rule, an addendum to a rule, an edit to a rule, or the deletion of a rule. Players then vote on the rule by saying "yea" or "nay", and if there are more "yea"s than "nay"s the rule, addendum, edit, or deletion is enacted. All future moves are based on this rule. 01:24:57 Whoops 01:25:00 That was a mistake 01:25:10 Exhibit by ais523 01:25:12 Hey there. 01:25:17 That's the first thing I saw 01:34:50 -!- lynn_ has quit (Ping timeout: 244 seconds). 01:37:56 -!- tromp_ has joined. 01:41:01 -!- vodkode has joined. 01:44:00 -!- adu has joined. 02:00:22 -!- AlexR42 has joined. 02:03:02 -!- boily has joined. 02:03:18 @metar CYUL 02:03:20 CYUL 250100Z 03022G27KT 4SM -FZRA BKN006 OVC010 M00/M01 A2963 RMK SF6SF2 PRESFR SLP036 02:03:36 Freezing Cow Weather. 02:05:42 -!- tromp_ has quit (Remote host closed the connection). 02:08:50 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:14:06 helloily 02:14:17 aubergine is now online 02:15:03 quinthellopia! 02:15:07 aubergine? online? 02:15:16 http://aubergine.tryitonline.net/ 02:15:29 holy fungot. 02:15:30 boily: " tackled" in what sense? not to be a web page 02:15:35 purple is too, but ubergenes needs securing 02:15:45 that is... 02:15:49 wow. 02:16:04 * boily sheds a tear 02:17:45 dennis is p cool 02:18:10 what you up to? 02:18:55 wanna play games friday? 02:19:40 I'm back home after a spicy Chinese supper. 02:20:08 sure! I just have to be home Friday. 02:20:19 quintopia: Do you own http://tryitonline.net/ ? Or is that a major website I haven't noticed yet? 02:20:36 hppavellon[1]. 02:20:38 hppavilion[1]: dennis owns it 02:20:46 Who? 02:20:57 Is that a person I should know about? 02:21:00 boily: just be on steam and ill ping you 02:21:20 hppavilion[1]: sure! everyone should know dennis! 02:21:39 what's a dennis? 02:21:39 quintopia: OK, help me know dennis/ 02:21:41 *. 02:21:50 Whot is this dennis you speak of? 02:22:02 he's the most golfiest of golfers on ppcg 02:22:11 -!- mad has joined. 02:22:27 Ah! 02:23:41 hppavilion[1]: did you `list yet hth 02:23:52 `? weather 02:23:54 lambdabot: ?? (?metar CYUL) \ (?metar ENVA) \ (?metar ESSB) \ (?metar KOAK) 02:23:57 CYUL 250200Z 03021G31KT 5SM -FZRA BKN006 OVC012 M00/M01 A2957 RMK SF6SF2 PRESFR SLP016 \ ENVA 250120Z 27015KT 9999 SCT009 BKN015 02/00 Q0999 RMK WIND 670FT 28015KT \ ESSB 250150Z AUTO 23006KT 9999 NCD M03/M05 Q0998 \ KOAK 250153Z 31007KT 10SM FEW200 17/08 A3010 RMK AO2 SLP194 T01670083 02:24:01 shachaf: Nope, not even sure what that is 02:24:03 `list 02:24:11 b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname 02:24:12 why not KATL? 02:24:21 quintopia: feel free to add it hth 02:24:44 hppavilion[1]: It's a list of nicks. 02:24:51 lambda would run out of space tho 02:24:56 shachaf: OK. 02:25:05 And now you're on the list. 02:25:10 `list 02:25:15 hppavilion[1] b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname 02:25:23 ... 02:25:24 FUUUUUUUUUUUUUUUUUUUUUUUU 02:25:38 * boily pat pat pat hppavilion[1] 02:25:41 `? list 02:25:42 list is a fun program that HackEgo has! Run it with `list and join the fun! 02:25:51 hppavilion[1]: don't worry, it only hurts once. 02:26:15 shachaf: is there any way to make lambdie answer with multiple messages? 02:26:21 I'm not sure. 02:26:27 that way we'd cover all the most important metars. 02:26:39 -!- tromp_ has joined. 02:27:04 quintopia: So I take it that tryitonline executes on the server? 02:28:09 yes 02:28:16 Ah. 02:29:17 I'm trying yet again to make a pan-unicode programming language 02:29:39 neo-apl? :D 02:30:15 hppavilion[1]: as long as it features ¨ on egregious glyphs, and that multiocular O. 02:30:28 mad: o hai. are you mad, or madbr? 02:30:43 `? mad 02:30:44 mad: Nah, it's a stacky lang for now 02:30:44 mad=madbr=madbrain 02:30:44 This wisdom entry was censored for being too accurate. 02:31:00 it's just an alt nick ;) 02:32:00 makes sense. 02:33:07 `le/rn madbr/He alternates between making sense, and being logical. He doesn't monetize the brotherhood scheme. 02:33:10 Learned «madbr» 02:34:55 good night boily 02:35:29 bonne nuitopia! 02:35:36 hppavilion[1]: sounds pointless :p 02:36:07 quintopia: Welcome to #esoteric. You new here? 02:36:33 -!- andrew has joined. 02:36:58 `? quintopia 02:36:59 quintopia is our resident tl;dr generator. He is flooded by thundercats and thunderdogs. 02:37:09 `? hppavilion[1] 02:37:10 hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. 02:37:49 hppavilion[1]: are you? most folks here are a lot lazier than that 02:38:15 quintopia: Fair point xD 02:39:10 time to hit the sack and understand the inherent properties of my pillow. 02:39:27 hppavilionne nuit[1]. 02:39:48 mad: eeeeh... bonne nuit toéssi. m'a toujours bin trouver de quoi avec ton nick demain qui fitte avec bonne nuit. 02:40:10 -!- boily has quit (Quit: KERNEL CHICKEN). 02:40:17 ...oké ;) 02:42:43 -!- mad has quit (Read error: Connection reset by peer). 02:46:52 -!- tromp_ has quit (Remote host closed the connection). 02:47:41 J"bo!vig!ybnswt <-- encrypted 02:49:16 <^v> i was pinge 02:49:19 <^v> i was pinged* 02:49:25 <^v> although I'm not really sure how you'd noping "^v". maybe like "↑v" (which is two extra bytes, not only one). 02:49:28 -!- adu has quit (Ping timeout: 255 seconds). 02:49:31 <^v> hi 02:58:03 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 03:04:43 -!- mad has joined. 03:05:32 got a strange cpu design which seems pretty balanced on paper 03:06:23 instructions come in 4-instruction groups (32bits each, so each group is 128bits, always aligned) 03:06:38 2 go to the "front end", 2 go to the "back end" 03:07:15 front end is basically a classic MIPS 03:07:41 except one of the registers is a "queue input" ie every time an instruction writes there, the value is queued to the back-end 03:08:29 -!- AlexR42 has quit (Remote host closed the connection). 03:08:54 also one of the variants of 'store' doesn't specify the data to store and simply protects the memory address from loading/storing until the back-end queues an output value 03:09:49 the back end is also similar to a MIPS but one of the registers is a 'queue input', which pops one value coming in from the front end 03:10:30 and the result of an alu operation can be queued to the memory output queue 03:10:59 also the back end only has ALU operations, no load/store 03:11:12 how is an address protected? 03:11:29 the address is added to the write queue 03:11:49 every time a value is loaded/stored, it's compared to all the addresses in the write queue 03:12:26 if any matches, it stalls until the matching write in the write queue is executed 03:13:41 most CPUs these days do this actually 03:13:48 it's just that they don't expose it 03:20:22 -!- Alcest has joined. 03:22:09 -!- tromp_ has joined. 03:22:25 -!- hppavilion[1] has joined. 03:36:44 -!- adu has joined. 03:38:00 -!- mihow has quit (Quit: mihow). 03:47:20 <\oren\> omg why did i put landing legs on my communication satellite? 03:47:37 because they're cool 03:48:07 or maybe you want to land on a death star. 03:55:48 so that it can stand upright as ppl work on it? 03:56:08 though I guess you'd remove the legs before sending it to space 03:56:18 yeah 03:57:50 (the reason why I chose the death star is that the satellite isn't going to change its speed much, so most of the approach navigation will have to be done by the object it's going to land on) 03:58:45 -!- XorSwap has quit (Quit: Leaving). 04:02:33 -!- lambda-11235 has quit (Ping timeout: 240 seconds). 04:18:03 anyone feel like gaming 04:19:07 hppavilion[1]! 04:19:17 adu! 04:19:29 wait... i don't know you 04:19:32 `? adu 04:19:37 adu? ¯\(°_o)/¯ 04:19:40 adu! 04:19:47 neither does hackego :/ 04:19:48 `? quintopia 04:19:53 quintopia is our resident tl;dr generator. He is flooded by thundercats and thunderdogs. 04:19:59 `le/rn adu/Bye! 04:20:02 Learned «adu» 04:20:10 clever :P 04:20:10 hppavilion[1]: what's happening with my nick? 04:20:20 adu: ? 04:20:25 hppavilion[1]: I just had a power outage for 1 hour 04:20:35 adu: Is the line not highlighted all the way? 04:20:42 Ah, power outages suck 04:20:51 hppavilion[1]: we lit like 50 candles, and then blew out 50 candles when the power came on again 04:20:57 xD 04:21:01 it was fun 04:21:04 adu: Did I tell you about thoof? 04:21:15 hppavilion[1]: is that the proof about Peano? 04:21:27 hppavilion[1]: or PCRE-based proofs? 04:21:33 Yes 04:21:37 hppavilion[1]: Yes 04:21:38 PCRE-based proofs 04:21:41 OK 04:21:57 I'm low on battery 04:22:07 hppavilion[1]: are you having a power outage? 04:22:56 and what's with the ZWSP? 04:22:56 No 04:23:09 ¯\(°_o)/¯ 04:23:35 ZWSP??? 04:23:58 zero-width-space? 04:24:01 in my font, looks like ¯\(°[ZWSP])/¯ 04:24:11 Oh' 04:24:45 I'm trying to figure out what it's supposed to look like 04:25:04 It's not supposed to render 04:25:27 then what is it? 04:25:45 hppavilion[1]: what does it look like on your screen? 04:25:46 Zero-width spacer? 04:25:52 Nothing 04:25:59 (°_o) 04:26:09 ah 04:26:12 eyes? 04:26:14 int-e: We should make one with legs xD 04:26:23 (°_o) 04:26:25 / \ 04:26:29 hppavilion[1]: myndzi is awol 04:26:29 It's the dunno lol face 04:26:30 No... 04:26:35 (°_o) 04:26:37 | 04:26:40 / \ 04:26:42 hppavilion[1]: That looks more like it's laughing 04:26:44 I see the arms, I don't see the face 04:27:02 hppavilion[1]: I have a special font that renders unicode spaces 04:27:06 adu: Have you not seen it before? 04:27:09 adu: That must be it then 04:27:11 hppavilion[1]: seen what? 04:27:27 I've seen butt face: (_|_) 04:27:30 `? questionable content 04:27:31 questionable content? ¯\(°_o)/¯ 04:27:34 http://idunnolol.com/ 04:27:35 adu: I think that oerjan was doing something with ping prevention 04:27:42 hppavilion[1]: is that a 4chan thing? 04:27:48 ¯\_(ツ)_/¯ 04:27:50 :( 04:27:59 The middle doesn't render 04:28:00 * adu doesn't do 4chan 04:28:06 ¯\(°_o)/¯ 04:28:08 looks like katakana 04:28:28 prooftechnique: that's better :) 04:28:44 Yay! 04:28:55 prooftechnique: looks like zim or grr making *whaaa* or *wheee* face 04:29:11 That's a fair comparison :D 04:29:22 * adu likes zim and grr 04:29:26 * adu doesn't like 4chan 04:30:07 adu: Nobody likes 4chan. They all moved to infinitychan. 04:30:14 `? 4chan 04:30:15 4chan? ¯\(°_o)/¯ 04:30:18 ... 04:30:22 lolol 04:30:26 ಠ_ಠ 04:30:37 I'm not angry, I'm just disappointed. 04:30:54 💩 04:31:49 I can't wait until they make racist fonts 04:32:04 adu: ? 04:32:11 http://unicode.org/reports/tr51/ 04:33:48 Sorry, not "racist", I meant "FITZPATRICK TYPE" 04:34:29 `learn 4chan is twice as loud as stereo. 04:34:32 Learned '4chan': 4chan is twice as loud as stereo. 04:34:48 adu: Unicode discriminates against purple people with ultraviolent pokadots 04:34:57 hppavilion[1]: lol 04:35:18 Pokadots that will rip you to shreds given the chance 04:36:57 you know how some people want to go back in time and kill hitler? 04:37:18 I want to go back in time and kill 4chan, and gif, and compuserve 04:37:48 gif is great 04:37:55 What did gif ever do to you? 04:38:01 shachaf: tell that to PNG, and JPEG2000 04:38:09 adu: It also discriminates against black gas pumps 04:38:11 adu: none of which were around in 1989 04:38:20 Choosy moms choose GIF 04:38:32 Though I shudder to pronounce it that way 04:38:33 adu: gif is *old*. it was great at the time. 04:38:38 int-e: well, maybe I'll publish a paper on DWTs in 1972 04:39:02 much better than PCX, for example 04:39:09 http://unicode.org/reports/tr51/#Subject_Emoji_Modifiers 04:39:26 I feel like getting a negative Erdős number would be a productive use of a time machine 04:39:36 hppavilion[1]: that's the same link 04:39:44 oh, you did an anchor 04:39:46 adu: Yes, but that section explains my joke 04:39:47 n/m 04:40:48 prooftechnique: you can't publish -1 papers with Erdos 04:41:05 adu: really, don't kill gif. kill the netscape navigator authors who came up with the blink tag and thought displaying animanted gives was a bright idea, if you must kill somebody. 04:41:22 s/gives/gifs/ 04:41:41 adu: No, but you could be the primary author on his first paper 04:41:44 It is beyond the scope of Unicode to provide an encoding-based mechanism for representing every aspect of human appearance diversity that emoji users might want to indicate. 04:41:53 I would be willing to kill , but not netscape 04:42:01 I think I found a new niche for character encodings 04:42:12 adu: I would just kill the guy who invented blink 04:42:23 netscape gave birth to mozilla, and mozilla gave birth to Rust, and I am madly in love with Rust 04:42:23 adu: whatever was wrong with mosaic ;) 04:42:45 we had rust before we had computers... 04:42:55 adu: A character encoding with ALL the possible emoji in it 04:42:59 int-e: not rust, "Rust" 04:43:00 I'd go back in time and fix the mess that is User-Agent 04:43:10 https://www.rust-lang.org/ 04:43:11 (these newfangled language names that are common words really annoy me) 04:43:41 (Go is the worst offender, but neither "rust" nor "swift" are much better) 04:43:42 Like Ruby? And Python? And C? 04:44:03 at first, I thought Rust was the same as Dylan, Delphi, Julia, Nim, you know the new compiled langs 04:44:29 but then it grew on me, and I learned about the borrow, oh, the borrow 04:44:56 int-e: It's funny that google named their language Go, knowing full well googling "go" will probably get the word excluded from the search 04:45:08 Go and Swift are tinker toys, I don't really consider them compiled languages 04:45:17 hppavilion[1]: they were in the position to "fix" that 04:45:24 I'm surprised there isn't a Rust library called Arrietty, yet 04:45:58 Go and Swift are not really architecturally different than Cython or GCJ, just different names for stuff 04:46:09 adu: I think the presence and use of a compiler is what makes them compiled languages. :/ 04:46:30 prooftechnique: is Cython compiled? is GCJ compiled? no 04:46:37 adu : how do go/swift/cython/gcj work architecturally? 04:46:50 they're slight optimizations of a fundamentally interpreted model 04:47:25 So "compiled" means "compiled to machine code" for you 04:47:38 Rather than, say, bytecode or an IR 04:48:06 prooftechnique: no, compiled is a philosophy, which you can't get by optimizing the interpreted, garbage collected, extremely RTTI-dependant model 04:48:28 hmm, perhaps I meant statically typed 04:49:04 my usual classification is (I)static-typed-manual-mem-alloc (C++, asm, pascal...), (II)static-type-globally-garbage-collected (Java, C#), (III) dynamic-typed-globally-garbage-collected (perl, python, lua, javascript...) 04:50:28 I haven't touched go/swift/etc... but my really murky understanding was that they were somewhere between category (I) and (II) 04:51:15 one is "I am assembling an efficient binary with as few key presses as possible", and the other is "I'm playing with ideas, to see what happens without a compilation step" 04:52:05 -!- idris-bot has quit (Quit: Terminated). 04:52:25 like, my classification is based on speed grades: you can get java to run pretty fast, but you can never prevent the garbage collector from stopping the world once in a while, which is why people who need speed grade (I) have never moved to java or C# (video games, pro audio) 04:52:41 -!- idris-bot has joined. 04:53:35 this is also why asm.js exists: javascript is in speed grade (III) and cannot be moved from there, so they had to come up with something new for a faster speed grade 04:54:02 mad: Go is similar to Cython in the sense that the Go runtime is pretty much all of Plan9, but you get a binary from it so it's "compiled", Swift is Objective-C with a different syntax, Cython compiles your Python to C using libpython, so all the slowness of Python can still creep up on you, and GCJ compiles Java 04:54:30 mad: sometimes speed and philosophy are incompatible 04:56:05 well, yeah, this is why speed grades exist 04:56:18 prooftechnique: for BC/IR I would use "precompiled" 04:56:39 prooftechnique: because there's still a lot of work to do 04:56:50 basically this is "given a perfect compiler/interpreter what's the fastest it can go" 04:57:43 mad: there are many stop-free GCs, Go just switched to one recently, iirc 04:58:47 adu: I'll believe that when I see it 04:59:07 https://talks.golang.org/2015/go-gc.pdf 04:59:13 | (• ◡•)| 04:59:19 oh, also, generally grade (III) languages can't be threaded (except for lame workarounds like worker objects) 04:59:23 (❍ᴥ❍ʋ) 05:00:20 https://golang.org/doc/go1.5 05:00:26 -!- jaboja has joined. 05:00:36 and languages in the same speed grade can generally be linked together (like asm and c++ in the same project) 05:01:06 whereas c++ and java together means you get to use the horribly clunky JNI 05:01:37 "virtuous cycle" 05:01:47 mad: well, with your speed grades, I would put Go/Swift in (II) and Rust in (I) 05:02:09 ಠ‿ಠ 05:02:44 Go has a clunky FFI because it uses a completely incompatible calling convention 05:03:06 adu: I remember reading somewhere in rust documentation about one guy proposing to literally remove garbage collected objects so I guess that works there 05:03:11 Rust uses the clang calling convention, which iirc, is the same as gcc 05:03:37 mad: there is no gc in rust 05:04:13 mad: there is a library, which no one uses, which provides a Gc generic type 05:05:16 mad: I think rust-0.1-alpha had gc builtin, but that was way before 1.0 was released 05:06:12 "GC pause [graph has points from about 0.2ms to 2.8ms]" 05:07:13 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 05:07:45 that's probably fast enough for video games (not for pro audio tho ;) ) 05:10:01 "[LATENCY] [50 miliseconds]: Perceptual Causality (cursor response threshold)" 05:10:22 not true 05:10:46 that's like 3 frames 05:11:09 people can see and feel 3 frames 05:13:22 mad: source? 05:13:23 also it's impossible to play a synthesizer with 50ms latency 05:13:42 adu : add a 3 frame lag to a video game 05:13:51 mad: link? 05:13:54 guaranteed people will see it 05:14:01 mad: reference? 05:14:40 mad: url? 05:15:23 just play minecraft and you'll see 05:15:38 mad: minecraft is not written in Rust 05:15:55 the game has small lags all the time (which is probably inevitable considering how it works) 05:16:40 mad: so your claim is that a certain lag is perceptible, not that Rust has gc 05:16:46 yes 05:16:49 ah ok 05:16:51 oh 05:16:53 I was confused 05:17:09 I thought you were saying that lag wasn't perceptible :o 05:17:09 :D 05:17:22 I thought you were saying that Rust had gc 05:17:25 :P 05:17:28 -!- tromp_ has quit (Remote host closed the connection). 05:17:30 ha of course not 05:18:07 my favorite FFI is Haskell's 05:18:33 if Rust is in speed grade (I) then it has a bright future 05:19:15 if it was in speed grade (II) then I'd say it has to be better than C# or java... if it's in grade (I) it only has to be better than C++ :D 05:19:24 "foreign puts :: CString -> IO ()", almost every FFI function has "IO a" as it's return type, there's something beautiful about that 05:19:58 adu : considering how haskell reorders everything, it pretty much has to, no? :D 05:20:43 mad: I don't think its so much about reordering as purity 05:21:04 both come together 05:21:11 C is "impure", and in order for Haskell to use it, it must be in the IO monad, which contains impurity 05:21:21 if you don't have purity then you can't reorder anything 05:21:36 maybe 05:21:51 you can only do small scale reorderings 05:21:58 (which is what GCC and LLVM do) 05:22:41 I once saw a presentation about reordering in Sun's HotSpot JVM, and how it spawned a JCP community around it 05:22:41 if you increase the scale of the reordering the potential interactions grow way too quickly which is why you can only do small local reorderings 05:23:08 oh? 05:23:12 which then led to the official definition of "concurrent java" 05:23:39 java is also a fundamentally impure language 05:24:19 and since you have referrences all over the place.. :3 05:24:27 yeah, and I know that java has had sync primitives from the beginning 05:24:59 sync is different 05:25:04 sync is just a mutex 05:26:21 basically when something is pure, that means it doesn't have referrences 05:27:03 it's like you can only have one of these two things in a language 05:27:41 mad: if you're interesting it was something like this: http://www.slideshare.net/alexandermartens/the-java-memory-model 05:27:45 * Sgeo thinks of Rust as a mostly improved but sometimes weakened Haskell-lite 05:27:53 but I'm pretty sure that's not the exact presentation 05:29:44 Sgeo: I wouldn't put Rust and Haskell on the same page 05:29:55 Sgeo: but their type systems are similar 05:30:20 adu : some of those "atomicity" rules are basically just going with what they implemented on CPUs 05:30:22 their stance on purity, of course, different 05:31:04 "Access to variables of primitive types (excluding long and double) and reference variables are atomic." 05:31:12 &mut is pretty much ... similar to either State or ST, not sure which 05:31:16 notice the (excluding long and double) 05:31:52 mad: or maybe it was http://www.slideshare.net/michalwarecki/java-memory-model-23207253 05:32:32 Sgeo: I never understood State or ST, my haskell programming carrer has been in the IO, List sandbox 05:33:27 State is take a T, give back a T 05:33:39 (And another value) 05:34:02 Sgeo: can I show off my haskell packages? 05:34:20 Sure, but I'm more obsessed with Rust at the moment 05:34:41 Sgeo: :D 05:34:56 Sgeo: then can I show off my rust packages? 05:35:02 Sure 05:35:14 https://github.com/andydude/rust-sha 05:38:13 -!- jaboja has quit (Ping timeout: 244 seconds). 05:38:52 -!- hppavilion[1] has joined. 05:39:14 My packages: https://github.com/Sgeo/take_mut and https://github.com/Sgeo/hlist 05:39:26 Sgeo: I'm pretty sure it's the only SHA-3 implementation in Rust 05:39:53 heterogeneous list? are you insane? 05:40:14 With type-directed lookup reliant on type inference 05:40:18 Here's something 05:40:23 Antifunctions. 05:40:27 kinda wondering 05:40:39 Functions are things that take [0, infinity) values and produce exactly 1 value 05:40:44 hppavilion[1]: you missed my showing off of my rust package: https://github.com/andydude/rust-sha 05:40:59 Antifunctions take exactly one value and return [0, infinity) values 05:41:15 hppavilion[1]: that sounds like category theory 05:41:26 adu: Does it? 05:41:27 GOod 05:41:42 adu: How about Complex Fuzzy Bag typing (or just normal Fuzzy Bag typing)? 05:42:12 adu, I also have an anonymous sum type. It feels like playing with water, it just expands to fill its container 05:42:18 A type can be thought of like a set of possible values; a complex fuzzy bag type can be thought of as a set-like thing where values have a complex number representing how many times they appear in a set 05:42:26 Sgeo: That's gas. 05:43:05 Water IS a gas *pretends that's what he had in mind* 05:43:17 Sgeo: Yeah, no 05:43:35 Water is only water in liquid form IMHUQO 05:43:48 hppavilion[1]: you know what would sound even more category theory? co-functions 05:43:56 https://gist.github.com/Sgeo/ecee21895815fb2066e3 05:44:05 adu: YES 05:44:08 co-functions 05:44:14 adu: How do co-functions work 05:44:21 hppavilion[1]: lolol 05:44:27 hppavilion[1]: just how you described 05:44:29 -!- mad has quit (Ping timeout: 240 seconds). 05:44:31 What happens with the multiple values they return? 05:44:44 Does the program fork? 05:44:59