endformationage has quit [Ping timeout: 252 seconds]
PrsPrsBK has quit [Quit: PrsPrsBK]
PrsPrsBK has joined #ponylang
jemc has joined #ponylang
endformationage has joined #ponylang
acarrico has quit [Ping timeout: 244 seconds]
acarrico has joined #ponylang
jemc has quit [Ping timeout: 268 seconds]
endformationage has quit [Quit: WeeChat 1.9.1]
bitcrusher1 has joined #ponylang
PrsPrsBK has quit [Quit: PrsPrsBK]
bitcrusher has quit [Ping timeout: 245 seconds]
OtakuSenpai has joined #ponylang
SqREL has joined #ponylang
SqREL has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
OtakuSenpai has quit [Remote host closed the connection]
OtakuSenpai has joined #ponylang
Nawab has quit [Quit: leaving]
OtakuSen1ai has joined #ponylang
OtakuSen1ai has quit [Client Quit]
SqREL has joined #ponylang
OtakuSen1ai has joined #ponylang
SqREL has quit [Client Quit]
OtakuSen1ai has quit [Read error: Connection reset by peer]
SqREL has joined #ponylang
OtakuSen1ai has joined #ponylang
beardhatcode has joined #ponylang
beardhatcode has quit [Client Quit]
beardhatcode has joined #ponylang
<beardhatcode>
thanks for the explaination jemc
bimawa2 has joined #ponylang
SenasOzys__ has quit [Remote host closed the connection]
SenasOzys has joined #ponylang
OtakuSenpai has quit [Read error: Connection reset by peer]
OtakuSenpai has joined #ponylang
SenasOzys has quit [Ping timeout: 244 seconds]
<beardhatcode>
What is the type of a function? (as in how doe you make a function type like String->String)
<SeanTAllen>
so -> isn't takes String returns String
<SeanTAllen>
its for "viewpoint" adapation
<SeanTAllen>
So you wouldnt have String->String
<SeanTAllen>
because the first half of that is view
<SeanTAllen>
like
<SeanTAllen>
box, iso, val etc
<SeanTAllen>
so box->String
<SeanTAllen>
Can you clarify what you meant by "What is the type of a function? (as in how doe you make a function type like String->String)" beardhatcode
OtakuSenpai has quit [Read error: Connection reset by peer]
OtakuSenpai has joined #ponylang
<beardhatcode>
I meant `{(String): String}` apparently
SenasOzys has joined #ponylang
<SeanTAllen>
Ah so a lambda that takes a String and returns a String?
<beardhatcode>
yes
<SeanTAllen>
I always have to look up lambda syntax as I rarely use the,
<SeanTAllen>
that looks right
<SeanTAllen>
I always end up firing up the playground or checking the tutorial to verify full syntax
beardhatcode has quit [Ping timeout: 252 seconds]
jemc has joined #ponylang
endformationage has joined #ponylang
beardhatcode has joined #ponylang
<beardhatcode>
Is there a distributed version of pony?
<jemc>
beardhatcode: no, there is not yet a distributed runtime - there is an academic paper with a design for one (http://www.doc.ic.ac.uk/~scd/Disributed_Pony_Sept_13.pdf), but nobody has yet taken on the implementation of it as a serious effort
<beardhatcode>
Hmm that document does not talk about capabilities
SqREL has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<jemc>
whoops, just noticed I linked the wrong document - that's not the academic paper :)
<jemc>
the paper doesn't really talk much about ref caps much either - what kind of discussion were you hoping to find?
<jemc>
ref caps in distributed pony should work basically the same way as they do in non-distributed pony - anything that is safe to pass to another actor is safe to pass to an actor in a remote process
vvandeJH has joined #ponylang
<vvandeJH>
well, it is the unique antiderivative of 1/x whose value at 1 is 0
<vvandeJH>
if K is algebraically closed you have equality at the endpoints, right?
vvandeJH has quit [Remote host closed the connection]
beardhatcode has quit [Read error: Connection reset by peer]
beardhatcode has joined #ponylang
TazyCI has joined #ponylang
<TazyCI>
tsoulus: 1/0 = ∞ in this context :D
<TazyCI>
Nobody c-ares about my question!
<TazyCI>
tbcsj: that's nice, maybe in a colour that doesn't make me sick?
<TazyCI>
in droidvim
TazyCI has quit [Remote host closed the connection]
beardhatcode has quit [Quit: beardhatcode]
jemc has quit [Ping timeout: 268 seconds]
webvictimsj has joined #ponylang
<webvictimsj>
that's what I was attempting with initEnv (instead of initEnv2)
<webvictimsj>
I do, or... you're telling me to?
<webvictimsj>
you are missing ~
webvictimsj has quit [Remote host closed the connection]
chainsolbt has joined #ponylang
<chainsolbt>
fedorafan: so are you still using Mac these days? Last I remember, you weren't much of a fan of the platform, after using it for a bit.
<chainsolbt>
because I can't figure out the problem
<chainsolbt>
gunix: have you tried using gpg-agent?
<chainsolbt>
for which numbers a will the lim x\rightarrow a f(x) work? such that 0 < |x-a|<\delta \implies |[x] - a| < \epsilon
<chainsolbt>
this somebody around here work with radius?
jemc has joined #ponylang
chainsolbt has quit [Remote host closed the connection]
jemc has quit [Client Quit]
jemc has joined #ponylang
Guest9039 has joined #ponylang
<Guest9039>
What's redirecting where?
<Guest9039>
Guys, how do i load a module WITH PARAMS at bootup automatically? I tried to put it in /etc/modules and "update-initramfs" as well as "update-grub" yet it does not load. "systemctl restart systemd-modules-load" exits with errors :/
<Guest9039>
gt8ost4l: and pastebinit is installed, too?
<Guest9039>
maybe that will change as more third party apps update to support it
<hybryd_>
And I love micromanaging details. Like, the coordinates of the control points have to be all multiples of 3, or multiples of 5, or perfect squares, or whatever.
<Guest9039>
if you have "lots of uses for it", then i suspect the quality of your code.
<hybryd_>
And this “insight” (if it deserves to be called that way) would readily apply to the eigenvalues of any k-linear transformation, with k a non-algebraically closed field.
<hybryd_>
SELECT relname,last_vacuum, last_autovacuum, last_analyze, last_autoanalyze FROM pg_stat_user_tables;
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
PrsPrsBK has joined #ponylang
hybryd_ has quit [Ping timeout: 252 seconds]
Guest9039 has quit [Ping timeout: 244 seconds]
jemc has quit [Ping timeout: 252 seconds]
jrgilmanhZ has joined #ponylang
<jrgilmanhZ>
so the answer to my seminal question is "not always"?
<jrgilmanhZ>
there are plenty of books and resources on haskell, just pick one up and read it, or several
<jrgilmanhZ>
cocreature: Show a => a -> String
jrgilmanhZ has quit [K-Lined]
jemc has joined #ponylang
jemc has quit [Ping timeout: 250 seconds]
kolinsOg has joined #ponylang
<kolinsOg>
horribleProgram: IRC isnt going to teach you C ;)
<kolinsOg>
IcePic: I have self deleting cookies, so I don't care if they set them, they will be erased when I close the tab anyway
kolinsOg has quit [K-Lined]
Foaly has joined #ponylang
<SeanTAllen>
Well that was fun
<SeanTAllen>
I've set the mode on the channel back to +r
<vaninwagen>
So we remember that the internet is a bad place after all, thanks for this little lesson SeanTAllen and thanks for restoring the anti-zombie fence around our little enclave
<SeanTAllen>
We didn't have +r for a long long time
<SeanTAllen>
It appears we can't ever do that again
<vaninwagen>
I learned my lesson
OtakuSenpai has quit [Remote host closed the connection]
OtakuSenpai has joined #ponylang
SenasOzys has quit [Ping timeout: 244 seconds]
SqREL has joined #ponylang
SqREL has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Foaly has quit [Read error: Connection reset by peer]
Foaly has joined #ponylang
SqREL has joined #ponylang
SqREL has quit [Client Quit]
OtakuSenpai has quit [Ping timeout: 244 seconds]
OtakuSenpai has joined #ponylang
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]