jemc changed the topic of #ponylang to: Welcome! Please check out our Code of Conduct => https://github.com/ponylang/ponyc/blob/master/CODE_OF_CONDUCT.md | Public IRC logs are available => http://irclog.whitequark.org/ponylang | Please consider participating in our mailing lists => https://pony.groups.io/g/pony
jemc has quit [Ping timeout: 252 seconds]
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 :)
Foaly has joined #ponylang
<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> wine: /usr/lib/x86_64-linux-gnu/wine /usr/lib/wine /usr/share/wine
hybryd_ has joined #ponylang
<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> Аftеr thᥱ ɑⅽqᥙⅰsitiഠᥒ bу Ꮲrivɑtᥱ Iᥒternet Αсϲеss, ᖴreenⲟԁᥱ ⅰs ᥒow beіᥒg ᥙѕᥱd tο pᥙsһ ⅠCΟ ѕcams һttⲣs:∕/www․ⅽοindеѕk.ϲഠm/haᥒⅾshakе-reveɑⅼеd˗ᴠсѕ-bɑϲk╴pⅼɑn-tഠ-gіve-awaу−100╴ⅿillⅰon-in−сrypto⧸
<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.]