Conversation started Mar 12, 2014 at 17:22.
Jimmy Hoffa
Jimmy Hoffa
Mar 12, 2014 17:22
@ratchetfreak hey btw, you should totally learn Haskell. It's like, the best language ever. It'll make you a better programmer while simultaneously making you hate everything and giving you a migraine that never goes away. IT'S AWESOME. You should totally do it. I'll be happy to help, here let me get you some links that will help you on your journey!
user55340
> Adams was well known in Yosemite for his eccentricities and was asked to be a part of Donald Tresidder's new Winter celebrations in the elaborate, theatrical Christmas dinner with friends from the nearby Bohemian Club. Cast as the "Jester", Adams had asked the director for suggestions but was told to just act like a jester. Adams fortified himself with a few drinks and went on to climb the granite pillars to the rafters.
user15026
@JimmyHoffa I understand more of the words in this than I expected to.
user55340
(when they say Adams there they are referring to Ansel... its interesting seeing how many Yosemite traditions are tied to him)
Jimmy Hoffa
Jimmy Hoffa
@MichaelT I believe you have this mistaken, actually they're clearly talking about Grizzly Adams.
(Jeremiah Johnson is one of my favorite movies ever. I'll be damned if I let the spectacular fictional Grizzly Adams I know be replaced by the real-life Grizzly Adams who couldn't possibly be as interesting and fun)
user55340
For example, in Yosemite in the Awanhee... there's a piano. Now they have someone play piano and tea is served. This dates back to an early visit by Ansel to the park with his parents when he was studying to be a pianist.
user55340
Mar 12, 2014 17:27
He was making sure to practice every day and there were two pianos in the park. One of them was in the Awanhee. So he was playing. People started to gather to listen and enjoy it and the staff was confused what to do ('ask him to stop?') so they asked their manager what to do... the manager said "serve tea"
user55340
And thus piano music and tea became a staple of the Awahnee experience.
user55340
The other piano was owned by an artist. Harry Best. Harry had a daughter named Virginia Best who eventually became Virginia Best Adams.
user15026
@MichaelT Tha'ts fascinating.
Jimmy Hoffa
Jimmy Hoffa
@ratchetfreak have a start here always good to get the basics out of the way, y'know?
gnat
gnat
0
Q: How do you organize small projects (snippets, one off tools) etc on your development machine?

Jim WI have the best of intentions but eventually my dev machine ends up pretty messy, with projects I wrote just to give someone some support, and projects to answer questions on SO, and projects to do more or less one off tasks, etc etc - all of which I thought, maybe I'll want that some day. I'm t...

organization
blast from the past
gppd old days of NPR
user55340
Mar 12, 2014 17:30
user image
gnat
gnat
> Is this just me? Do you have any specific approach to organization? What I think I really want is a tool to do it all for me - some kind of searchable code database, where you commit a project, delete it from the file-system and then pull it out later on. Hmm, should I write such a thing? Would you use it?
like written in 2010
Jimmy Hoffa
Jimmy Hoffa
@ratchetfreak then you might want to have a look here to get a good idea how to recognize the generalization of arrows and why the Hask category matters and how Haskell not having co-strength leans it towards monadic instead of comonadic behaviours.
@ratchetfreak also I assume you're already familiar with church numerals because you're a programmer and all, but worth brushing up real quickly here
Church encoding
In mathematics, Church encoding is a means of representing data and operators in the lambda calculus. The data and operators form a mathematical structure which is embedded in the lambda calculus. The Church numerals are a representation of the natural numbers using lambda notation. The method is named for Alonzo Church, who first encoded data in the lambda calculus this way. Terms that are usually considered primitive in other notations (such as integers, booleans, pairs, lists, and tagged unions) are mapped to higher-order functions under Church encoding. The Church-Turing thesis asser...
also of course gotta brush up on
SKI combinator calculus
SKI combinator calculus is a computational system that may be perceived as a reduced version of untyped lambda calculus. It can be thought of as a computer programming language, though it is not useful for writing software. Instead, it is important in the mathematical theory of algorithms because it is an extremely simple Turing complete language. All operations in lambda calculus are expressed in SKI as binary trees whose leaves are one of the three symbols S, K, and I (called combinators). In fact, the symbol I is added only for convenience, and just the other two suffice for all of th...
user55340
@AshleyNunn nps.gov/yose/parkmgmt/adams_gallery.htm
Jimmy Hoffa
Jimmy Hoffa
@ratchetfreak also don't forget to brush up on your magmas

Magmas

Oct 24 '13 at 20:57, 16 minutes total – 11 messages, 2 users, 0 stars

Bookmarked Oct 24 '13 at 21:22 by Jimmy Hoffa

and type systems

Wikipedia brain deth

Nov 26 '13 at 20:47, 3 minutes total – 19 messages, 2 users, 2 stars

Bookmarked Dec 9 '13 at 22:01 by Jimmy Hoffa

user15026
@MichaelT Neat!
Jimmy Hoffa
Jimmy Hoffa
Mar 12, 2014 17:39
@ratchetfreak and finally, here's an example of talking through a real-world use case for a monoid

Serial number monoid

Oct 8 '13 at 20:54, 29 minutes total – 51 messages, 5 users, 3 stars

Bookmarked 16 secs ago by Jimmy Hoffa

worth getting a solid handle on! You'll have a headache just like me in no time!
Ampt
Ampt
correct me if I'm wrong, but static functions in c++ have to have the static keyword right?
or can they just not be declared in the given name space?
Jimmy Hoffa
Jimmy Hoffa
@Ampt Nah, don't worry about it, look it's easy, I'll show you a monadic state approach that ensures your stateless statics are managed safely without using static
You just have to create the monadic context, and implement your bind to have a carry that's genericized so it can carry your operations
see it's easy
Ampt
Ampt
user image
Jimmy Hoffa
Jimmy Hoffa
then the bind holds the state and the carry folds your compositions across the state. Easy, see?
 
Conversation ended Mar 12, 2014 at 17:42.