<purr>
ec^: Found: you’re next, nexxy, and iterate
<ec^>
-nexxy
<purr>
ec^: sexxy
* ec^
laughs
<ec^>
-learn emilyrose = <krainboltgreene> Emilyrose is great.
<purr>
ec^: Learned `emilyrose`.
<Hrorekr>
ec^, thanks, I think all these years I have never been able to apply myself (long sob story, tell me if you want to hear it).
Hrorekr has quit [Quit: Leaving]
duckinator has quit [Remote host closed the connection]
<ec^>
... didn't even realize duckinator was in here
<krainboltgreene>
Doesn't seem like they are.
Rurik has joined #elliottcable
Rurik has quit [Ping timeout: 255 seconds]
Rurik has joined #elliottcable
|jemc| has joined #elliottcable
<|jemc|>
hey folks, just read through the Paws Nucleus design document - interesting stuff
<|jemc|>
I'll likely be back to this channel for more idling and discussion, but with the Paws focus on patterns for asynchrony, I wanted to drop a link here tonight to another emerging language that may be of interest: http://www.ponylang.org/
<|jemc|>
basically, every reference to a value/object has a reference capability attached, which dictates how that reference may be aliased or shared or accessed
<|jemc|>
through this mechanism, the compiler can enforce that there an no possibilities for data races, giving way to guaranteed safe lockless (actor-based) concurrency
<|jemc|>
it also happens to be a very static-type-oriented language, but I can see why they did this when they were already doing so much static analysis, and the reference capabilities make it worthwhile, I think
<|jemc|>
oh, and it's also interesting to note that the reference capabilities are all checked at compile time, so they have no runtime cost
<pikajude>
wow
<pikajude>
an actor consumes an extra 256 bytes of memory
<pikajude>
imagine showing that to an embedded systems programmer
<pikajude>
or a normal programmer 10 years ago
<|jemc|>
I think it's actually less than that on 32-bit systems, though pony only worked on 64-bit until quite recently
<alynn>
only embedded developers and Hitler develop for 32-bit
<pikajude>
embedded developers
<pikajude>
help! i'm stuck!
Rurik has quit [Ping timeout: 245 seconds]
|jemc| has joined #elliottcable
Rurik has joined #elliottcable
Rurik has quit [Changing host]
Rurik has joined #elliottcable
<Rurik>
ec^, there?
<Rurik>
ec, ^
<ec^>
Rurik: hi!
<ec^>
just woke up. I Feel Like Deeaaaaaaattth~~~
<ec^>
alynn: lol.
<purr>
lol
<ec^>
|jemc|: I'll add it to emerging-languages queue!
<ec^>
krainboltgreene: lawl ur a funy
<Rurik>
ec^, you like to teach?
<ec^>
Rurik: tell me your sob-story from last night! you can DM me if you'd rather
<ec^>
and yes lol I love to teach
<ec^>
afk for a while, shower and walking dogs and other morning shit
* ec^
stretches
* ec^
yawns
* ec^
pats purr
* purr
rrrrrrr
* ec^
climbs out of bed
<Rurik>
ec^, Well, do you know about IITs?
<Rurik>
not the Illinois one
<Rurik>
the Indian ones
<ec^>
I really like capabilities though.
<ec^>
did some research on them waaaaaaaay back when.
<ec^>
In some ways, not very relevant to my work; but they're just damn cool
<ec^>
Rurik: only because I keep getting the Indian ones in Google :P
<ec^>
Rurik: nothing else
<Rurik>
haha
<ec^>
(@ |jemc|, re: caps)
<Rurik>
They are like elite universities with a very tough entrance test
<Rurik>
TL;DR is I wanted to get enrolled into an IIT, ended up being enrolled into a mental hospital
<ec^>
Rurik: O_O
<ec^>
my first time away to college I failed out and v. nearly committed suicide.
<ec^>
Only way I got caught / saved is because I'd hacked the grades server when I went home for winter break, and a couple days before I was to fly back down to where school was, my parents got a *physical* report-card in the mail.
<ec^>
I hadn't thought they did that anymore. It didn't go … well. o_o
<Rurik>
oh
<Rurik>
I got diagnosed with schizoaffective disorder last year
<Rurik>
Really doubted my abilities and was suicidal for the last 3 years
<ec^>
Rurik: can relate. *hugs*
<Rurik>
ec^, anyway, I had an idea for a 1:1 teaching platform
<ec^>
am rly afk this time I swear, but will read when I get back
<krainboltgreene>
ec^: what did I say that was funny?
pikajude has quit [Ping timeout: 256 seconds]
<ja>
Greetings.
pikajude has joined #elliottcable
<|jemc|>
ec^: to some extent, there are two separate "capabilities" concepts in Pony (though they are integrated)
<|jemc|>
the one you're probably referring to researching earlier is the "unforgeable object reference* part
<|jemc|>
whereas I am more interested in the "dictates how that reference may eb aliased or shared or accessed" part
<ec^>
|jemc|: talking about infosec caps
<ec^>
yah, saw there was a difference, you note just sparked the association in my mind (=
<|jemc|>
yeah, the latter is sort of just an extension of the former
<ec^>
“a short scuffle about this in a post on Hacker News” — Current Status
<ec^>
well, |jemc|, welcome to the channel
<ec^>
sorry I can't engage more
<ec^>
Will hopefully have more time later today
<ec^>
1. there's a CoC to be posted soon, hope you're the type to be compfortable with that, 2. General topic is PL design or PLT tutoring or things of that ilk
<ec^>
2b. although it varies widely (el oh el freenode social channels)
<ec^>
back soon!
<brixen>
|jemc|: hi!
<brixen>
ec^: I lured |jemc| here with promises of great interest, please treat him kindly :)
<|jemc|>
topics of great interest are most important to me, receiving kindness is secondary ;)
<Rurik>
ec^, so, the rationale is that there are a lot of students in the city I live in and lots of teachers too
<Rurik>
I wanted to make something that connects teachers with students and weeds out the bad teachers
Rurik has quit [Ping timeout: 265 seconds]
Rurik has joined #elliottcable
Rurik has quit [Changing host]
Rurik has joined #elliottcable
Rurik has quit [Ping timeout: 272 seconds]
Rurik has joined #elliottcable
Rurik has quit [Changing host]
Rurik has joined #elliottcable
fujisan has joined #elliottcable
|jemc| has quit [Ping timeout: 240 seconds]
|jemc| has joined #elliottcable
|jemc| has quit [Ping timeout: 260 seconds]
jonathanzuniga has joined #elliottcable
|jemc| has joined #elliottcable
<pikajude>
i'm currently working with a SOAP service that doesn't apply an update 33% of the time
thealphanerd has quit [Quit: farewell for now]
<pikajude>
because of race conditions
<pikajude>
i see
|jemc| has quit [Ping timeout: 246 seconds]
thealphanerd has joined #elliottcable
|jemc| has joined #elliottcable
<ja>
Nice to have you on board, |jemc|!
|jemc| has quit [Ping timeout: 260 seconds]
creationix has joined #elliottcable
<ec^>
creationix: o7
<creationix>
sup
<ec^>
creationix: been a while since I dragged you in here. :3