So uh... Hey
- Thread starter Arabian
- Start date
BigPurpleSkiSuit
Active member
>Member since 2013
ALMIGHTYSOSA
Active member
1 watch yo disrespek u ain’t even og so y u false clamin wen u Ben hear fo 5 year
2 this site went to shit wit Pc ass mods who bee censorin reel skreet knowledge n info of liberrty n freedum. NS is a corporate finesse yo ass fo money site n look at all deez bs ads since we greedy
3 make better fred
2 this site went to shit wit Pc ass mods who bee censorin reel skreet knowledge n info of liberrty n freedum. NS is a corporate finesse yo ass fo money site n look at all deez bs ads since we greedy
3 make better fred
Arabian
Member
13937365:Lieutenant_Dan said:
At first I thought it was Lil_G, but this just seems to be another white kid. I can't tell if he's fooling though. Got my hopes up/Very disappointed.
4/10
I don't think it's the Mods' fault. You not being able to drop the n-word in public really wouldn't drive people away. I imagine it's just the format that's gotten stale. Either way, RIP and I'm glad I was here for long enough. Still wish i could get my old account back though.
BigPurpleSkiSuit
Active member
what happened to your old account?
13937370:Arabian said:
ALMIGHTYSOSA
Active member
13937370:Arabian said:
Bitch u triflin... fuk outta hear wit dat bullshit u ain’t gettin no clout today. U tink u sumthin special nobody care wat u say. I don’t kno lil_G idgaf he sound like clout chaser like u.
U betta stay way frum pimp like me omm... hav u paper chasin fo a brake n u ain’t make shit. U is lil speck very dissapointed wit dat mout game
ALMIGHTYSOSA
Active member
13937370:Arabian said:
N how u kno? U ain’t been here n we don’t want yo stanky ass hear. U ain’t Sean da gutter u don’t deez skreets
OP I remember you, you are like a pure maths and haskell (lul) person. I remember there was like a craze for topology due to its implication in neural network gradient descent and financial enginering on all those option greek surfaces, etc but idk where all that went.
Can you convince me why i should learn functional programming over bashing away at my python code
**This post was edited on Aug 18th 2018 at 12:40:48am
Can you convince me why i should learn functional programming over bashing away at my python code
**This post was edited on Aug 18th 2018 at 12:40:48am
Arabian
Member
13937379:TRVP_ANGEL said:
Yup, that's me
I'm not sure about the whole Finance thing - I switched focus to homotopical algebra so I could learn homotopy type theory and infinity-category theory, so I effectively left the applied sector entirely in doing so.
Functional programming is eminently useful when you consider its true definition. It's true definition is this: "Functional programming is a paradigm that has pure functions as its only primitives, and values referential transparency above anything else."
Why is this useful? Because pure functions are simply mathematical functions. Mathematical functions support equational reasoning - code that is subject to automatic inference and checking, and can be used to validate a program prior to running it. I've found that this is immensely useful for efficiency, business cost, and code quality, at the cost of uptime to learning what primitives I need to know (Functors, Monads, Lenses, etc.). This definition also implies immutability, and generally languages built on a well-defined term algebra like λ- or κ-calculus, are well understood, and have almost a century of theory backing calculus with both the core algebra and extensions to it. A type system is secondary to this, but usually included. Types, as I'm sure most are aware now, are also useful in the same vein. A type system can gaurantee things like Turing Incompleteness, recursion schemes are well-founded (terminating), and can immediately reduce a developer's workload by gauranteeing laws regarding their code (e.g. free theorems).
In a language like Python (and other languages like it), you lose pure functions and a strong type system. You now defer to ad hoc language trivia to construct your language, as opposed to a foundational theory, and it becomes much more burdensome over the long run as language features are introduced. If I know lambda calculus and type theory, i know every pure and logical functional progrmaming language. If i know python, I know python. There's nothing wrong with that, but basing a career on it will surely stunt your knowledge of programming, as well as your career prospects and ability.
And for the record, I am using haskell to build a language with embedded formal verification (Z3) right now as a job. And I write a little python too
BigPurpleSkiSuit
Active member
That's actually fascinating
13937413:Arabian said:Yup, that's me
I'm not sure about the whole Finance thing - I switched focus to homotopical algebra so I could learn homotopy type theory and infinity-category theory, so I effectively left the applied sector entirely in doing so.
Functional programming is eminently useful when you consider its true definition. It's true definition is this: "Functional programming is a paradigm that has pure functions as its only primitives, and values referential transparency above anything else."
Why is this useful? Because pure functions are simply mathematical functions. Mathematical functions support equational reasoning - code that is subject to automatic inference and checking, and can be used to validate a program prior to running it. I've found that this is immensely useful for efficiency, business cost, and code quality, at the cost of uptime to learning what primitives I need to know (Functors, Monads, Lenses, etc.). This definition also implies immutability, and generally languages built on a well-defined term algebra like λ- or κ-calculus, are well understood, and have almost a century of theory backing calculus with both the core algebra and extensions to it. A type system is secondary to this, but usually included. Types, as I'm sure most are aware now, are also useful in the same vein. A type system can gaurantee things like Turing Incompleteness, recursion schemes are well-founded (terminating), and can immediately reduce a developer's workload by gauranteeing laws regarding their code (e.g. free theorems).
In a language like Python (and other languages like it), you lose pure functions and a strong type system. You now defer to ad hoc language trivia to construct your language, as opposed to a foundational theory, and it becomes much more burdensome over the long run as language features are introduced. If I know lambda calculus and type theory, i know every pure and logical functional progrmaming language. If i know python, I know python. There's nothing wrong with that, but basing a career on it will surely stunt your knowledge of programming, as well as your career prospects and ability.
And for the record, I am using haskell to build a language with embedded formal verification (Z3) right now as a job. And I write a little python too
13937413:Arabian said:Yup, that's me
I'm not sure about the whole Finance thing - I switched focus to homotopical algebra so I could learn homotopy type theory and infinity-category theory, so I effectively left the applied sector entirely in doing so.
Functional programming is eminently useful when you consider its true definition. It's true definition is this: "Functional programming is a paradigm that has pure functions as its only primitives, and values referential transparency above anything else."
Why is this useful? Because pure functions are simply mathematical functions. Mathematical functions support equational reasoning - code that is subject to automatic inference and checking, and can be used to validate a program prior to running it. I've found that this is immensely useful for efficiency, business cost, and code quality, at the cost of uptime to learning what primitives I need to know (Functors, Monads, Lenses, etc.). This definition also implies immutability, and generally languages built on a well-defined term algebra like λ- or κ-calculus, are well understood, and have almost a century of theory backing calculus with both the core algebra and extensions to it. A type system is secondary to this, but usually included. Types, as I'm sure most are aware now, are also useful in the same vein. A type system can gaurantee things like Turing Incompleteness, recursion schemes are well-founded (terminating), and can immediately reduce a developer's workload by gauranteeing laws regarding their code (e.g. free theorems).
In a language like Python (and other languages like it), you lose pure functions and a strong type system. You now defer to ad hoc language trivia to construct your language, as opposed to a foundational theory, and it becomes much more burdensome over the long run as language features are introduced. If I know lambda calculus and type theory, i know every pure and logical functional progrmaming language. If i know python, I know python. There's nothing wrong with that, but basing a career on it will surely stunt your knowledge of programming, as well as your career prospects and ability.
And for the record, I am using haskell to build a language with embedded formal verification (Z3) right now as a job. And I write a little python too
This is actually sick, I understood 2/100ths of what you wrote but i want to learn the declarative paradigm now so i can flex some of these low-level words on my OOP pleb peers. Now bear with me OP, data science peasant here, just want to ask some questions since it seems like you are working in the industry. How is functional programming being applied in the software industry? It seems like almost all FP is inside academia while majority of commercial software dev are OO. Are you building actual products and tools with these languages or are they for very specific modules? How's the efficiency speed-up against traditional paradigms? ... Or is that not something to compare on? Do you know whether this stuff is used in data science industry?
The closest interactions I can think of that was outside of my programming paradigm was using Theano which you use python to create symbolic expressions to compile and run inside theano.
Also your resume on linkedin is insane, especially going from bachelor degree to AVP at BoA within a year. Sorry, im just a huge fan girl rn
**This post was edited on Aug 18th 2018 at 11:46:56am
Arabian
Member
13937417:TRVP_ANGEL said:
The big secret about FP is that while it's certainly less used than its imperitive counterparts, every single top 5 bank or financial institution worth talking about has a secret Haskell team operating inside of it, that they don't often send out listings for. I'm currently working with 2 folks from JP Morgan's Haskell team, which they used internally to develop the Quorum blockchain tech and the Hopper language - a haskell-based implementation of linear logic for smart contracts https://github.com/hopper-lang/hopper-v0. Goldman Sachs had a team for its algorithmic trading department, Jane Street uses Ocaml, Bank of America had both Haskell and Scala teams (I was on the scala team) for their backend. Nearly every Blockchain startup wtih a whitepaper is currently invested in using formal verification (extracting valid code from Coq or Agda or Z3) in conjunciton with Haskell, or Ocaml or Scheme to prove invariants about its code to solve the security problems inherent with the domain.
Speed in Ocaml and Haskell will always be worse in general than something like Java or C++, but in some cases, it truly excels and rivals it, making it a very profitable trade off in terms of security, time to market, and correctness of the code (not to mention maintainability in the long run). One incredibly useful thing FP has influenced in the past 10 years has been its applications in concurrency, and our understanding of how immutability influences the correctness of parallel and concurrent algorithms. It's almost a requirement now that you work with immutable data when working with concurrency primitives, and the application of algebraic laws to SIMD machines has been revolutionary. For instance, the Spark engine requires immutable data (in the form of RDD's), and all of the functions run on the Spark engine are required to be abelian (commutative) monoidal functions - that is, we use associativity of the monoidal structure to ensure we can arbitrarily partition data and compute it with the function, commutativity to ensure that if a partition finishes its computation first such that the order of combination doesn't matter with respect to the function, and we use the identity element (read: fixed point) of the function to mark the termination of the computation. This has been a huge revelation, and helped spawn the industry of Data Science.
FP concepts like referential transparency and the type system less in the Data science industry because Data Science seems to need fewer things about the language used and more about presentation and mathematical capacity, which R and Python seem to do fine with. But the influence is still there in the computation engines we defer to.
I would recommend you attempt to learn a little Haskell, just as a personal experience so you understand a bit about how to structure code. You can apply FP concepts in imperitive languages, it's just harder, but it's always a good tradeoff.
Thanks for stalking my linkedin
**This post was edited on Aug 18th 2018 at 1:29:39pm
13937429:Arabian said:I would recommend you attempt to learn a little Haskell, just as a personal experience so you understand a bit about how to structure code. You can apply FP concepts in imperitive languages, it's just harder, but it's always a good tradeoff.
Thanks for stalking my linkedin
**This post was edited on Aug 18th 2018 at 1:29:39pm
You're awesome, I will definitely take a look at dipping my toes in some haskell and scala and see where it takes me. I cant believe i just discovered this field existed just reading this thread.
ALMIGHTYSOSA
Active member
13937469:ThaLorax said:
Haha look at dis ^ u dick rida lmfao u reely kneed sum clout.... Arabian strait nerd idgaf bout em cuz Arabian izznt cut frum da same cloth. Prolly weak ass hell dare pull up bout dat action
topic:Arabian said:
Whats good dude? It's been a minute
cornholio
Active member
13937565:TRVP_ANGEL said:
considering i live where BoA is headquartered and personally know countless people who started there out of college with the title AVP, i'll continue to believe what i know is true.
besides 100k canadian is like 50k us, which is an entry level salary.
Arabian
Member
13937585:cornholio said:
13937587:TRVP_ANGEL said:
You both need to chill. AVP is not entry, but it is lower level than VP or SVP at BoA. The salary was 6-figure, for reference. This was also in NYC, at their tech center in Financial District (Across from the 1-trade center). It was also a software engineering position, so titles don't necessarily apply. That was my first dev job, and it went well. I left quickly because I was offered much more money working as a consultant with the company I came to NYC to work for. I did a few more jobs with them, and then finally made a switch to engineer outside of Finance. I took the relief in pressure to really learn my craft and kick my math back into gear learning theoretical CS over the course of the next year and a half, and here I am today, as a Haskell engineer at a particularly lucrative blockchain startup, traveling around the world giving talks on many things at the intersection of math, CS theory, programming language theory, and category theory. It's been a fun ride.
What matters is content, and I can fairly say that my current title is "software engineer", and after being a co-lead, as well as a senior, and a junior developer over the years, I'm making more as a "software engineer" than I ever was as a lead, or a senior, or a VP, or a junior, etc. etc.Chill. Titles don't mean anything other than how well you play the management game. Competency is in no way correlated to position or title. It can manifest at all levels of the corporate structure.
**This post was edited on Aug 19th 2018 at 7:12:21pm
*Fujative*
Active member
Same! I've been a member since 2003.
Twinjibber77
Active member
13937665:*Fujative* said:
Old school SPY icon and all... #Mmmmmmmm
Dr.Dealgood
Active member
Wild to see this thread and some old names... member since 2003 reporting for reactivation.
Dr.Dealgood
Active member
13937676:TOAST. said:
There's a ton of people who I wonder what the hell they're doing now... I ended up becoming a landscape architect.
TOAST.
Active member
13937679:Dr.Dealgood said:
Mechanical Engineer
Its interesting how a lot of people just end up growing away from skiing even though it was a large part of their life at one point. I know if I didn't live 10 minutes from my home hill i wouldnt be going nearly as much as I used to. I guess thats just being an adult though.
Arabian
Member
13937682:TOAST. said:
I think it's in the same vein as most things that cost money as a millennial - we can't really do it until we get the money, and it is a very expensive hobby. Unless you're a skibum, of course, which is cool, but not all of us want that life and things are just too expensive what with the baby boomers imploding the economy. The only reason I left Utah was because i couldn't find a job in either academia or making use of my Math degree, and everyone was still recovering from 2007-2008 well into 2016.
GayWolf420
Active member
ARABIAN!!!!!!!!!!!!
I've missed you, As do all of us NS tinychatters.
I've missed you, As do all of us NS tinychatters.
13937598:Arabian said:
Word. Gosta make that cheddar son. Not much here. Mountain stuff and newschoolers, pretty much nothings changed I guess lol. Tiny chat is still dead af although me and kevtron streamed the Olympics on there and that was pretty fun.
NS is still here
DirtYStylE
Active member
The mods have been working around the clock to clean this site up. So I wrote an NS theme song earlier this summer to celebrate (ghostbusters addition)
If there's something strange in you neighborhood
Who you gonna call? (eheath)
If there's something weird
And it don't look good
Who you gonna call? (eheath)
I ain't afraid of no troll
I ain't afraid of no troll
If there's something strange in you neighborhood
Who you gonna call? (eheath)
If there's something weird
And it don't look good
Who you gonna call? (eheath)
I ain't afraid of no troll
I ain't afraid of no troll
GayWolf420
Active member
i just realized it'll be 10 years next august on NS...not nearly in the same vein as 15 but what the fuck, man.
It feels just like yesterday we were trying to get poor unsuspecting randos that made it somehow into the NS tinychat to show their titties,
It feels just like yesterday we were trying to get poor unsuspecting randos that made it somehow into the NS tinychat to show their titties,
topic:Arabian said:
How many of those were unbanned tho.
You were a huge pain in the ass. I miss you though. You were a memorable member.
bibs_skibum
Active member
Old members!
Hi dudes, good to see you again
Hi dudes, good to see you again
