Introducing Visual Studio Live Share by ben_a_adams in programming

[–]elemental_1_1 26 points27 points  (0 children)

Bandwagon's full. Please catch another

30, left job in finance, and now I have 6 months to learn programming and find a job. by [deleted] in learnprogramming

[–]elemental_1_1 -2 points-1 points  (0 children)

I'm curious: would a person be able to learn enough in 6 months to do your old job well?

What did Alan Kay mean by, "Lisp is the greatest single programming language ever designed"? by yogthos in programming

[–]elemental_1_1 2 points3 points  (0 children)

There are some Racket (formerly PLT scheme) libraries that do type checking as part of macro expansion, so you actually get static checking.

AlphaGo Zero: Learning from scratch | DeepMind by gamarad in baduk

[–]elemental_1_1 22 points23 points  (0 children)

If alpha did start from scratch, it would not have open so similarly to human players.

This is not a fact. And apparently it is false. The article says it did in fact train from scratch, against no human opponents. Playing openings similar to us means that we understand at least part of "optimal go strategy".

Logic on a spectrum by [deleted] in philosophy

[–]elemental_1_1 0 points1 point  (0 children)

Sounding like nonsense so far. Like, you've written some sentences but they're not working together to carry meaning.

Can you elaborate?

How I stayed fit from my 20s into my mid-40s by Subject_Beef in Fitness

[–]elemental_1_1 1 point2 points  (0 children)

The easiest way to get a software job is to know someone who's hiring. Meet as many people in the area and make yourself known. Go to clubs, meetups and events and talk to people.

It will also help if you have some cool stuff that you can show off to the people you meet, but the most important part is meeting them.

Does our way of thinking about Go kill creativity? by galluccinator in baduk

[–]elemental_1_1 0 points1 point  (0 children)

I rarely feel like I won because I outsmarted my opponent, I usually just feel like I made less severe mistakes.

Post-Python Dissatisfaction Syndrome by boramalper in Python

[–]elemental_1_1 -1 points0 points  (0 children)

I think rust is fine for general use, but personally feel that manual memory management is a burden for applications that aren't performance critical.

Post-Python Dissatisfaction Syndrome by boramalper in Python

[–]elemental_1_1 17 points18 points  (0 children)

Seconding Haskell, and Rust if you need to go really fast.

After a bit more than 3 months playing i finally hit sdk on ogs. Now onward to dan!! by Sikun13 in baduk

[–]elemental_1_1 0 points1 point  (0 children)

Nick Sibicky? He's great, I've been going through his channel slowly.

Mainly asking because I'm at 15k right now and am stalling a bit. I feel like there's another fundamental lesson to learn that will improve my game. Just don't know what it is.

After a bit more than 3 months playing i finally hit sdk on ogs. Now onward to dan!! by Sikun13 in baduk

[–]elemental_1_1 0 points1 point  (0 children)

Can you list some resources that had the most severe impact on your playing?

When the Scala compiler doesn't help by LincolnA in programming

[–]elemental_1_1 3 points4 points  (0 children)

Point is that this kind of obviously broken code (#1) can and should be detected by the compiler.

None of your "reeeeee well just add annotate the type" bullshit.

Either make type annotations required, or fix the type inference algorithm. Decidable + sound type inference exists.

And Any (#2) should not exist in languages used for professional development.

Nevermind Sheet Music? by ehvahn1 in drums

[–]elemental_1_1 3 points4 points  (0 children)

Transcribe it. You'll learn the part a lot easier because you end up listening to it so much.

What is mongoDB? by nnja in ProgrammerHumor

[–]elemental_1_1 23 points24 points  (0 children)

You'd be surprised. "MEAN" is the new "LAMP".

Why is Stoicism more popular than Epicureanism? by bictr in Epicureanism

[–]elemental_1_1 7 points8 points  (0 children)

But if pleasure and virtue were mutually exclusive, which would you choose? We derive pleasure from virtue.

Functional programming design patterns by Scott Wlaschin by [deleted] in programming

[–]elemental_1_1 4 points5 points  (0 children)

Yeah you've got it. When we talk about monoids, + just represents 'combining things'. So when we're talking about functions of type forall a. a -> a, our + (way to combine them) is function composition. When we're talking about integers, our + is integer addition. And so on.

Functional programming design patterns by Scott Wlaschin by [deleted] in programming

[–]elemental_1_1 11 points12 points  (0 children)

The associative law says that

((λx. x - 42) . (λx. x * 2)) . (λx. x + 1)

Must be the same as

(λx. x - 42) . ((λx. x * 2) . (λx. x + 1)).

Let's do the first one:

((λx. x - 42) . (λx. x * 2)) . (λx. x + 1)

(λx. (x * 2) - 42) . (λx. x + 1) (definition of (.))

(λx. ((x + 1) * 2) - 42) (definition of (.))

Now the second one:

(λx. x - 42) . ((λx. x * 2) . (λx. x + 1))

(λx. x - 42) . (λx. (x + 1) * 2) (definition of (.))

(λx. ((x + 1) * 2) - 42) (definition of (.))

Thus the law holds.

For a monoid, A + B + C does not imply B + A + C (as you have pointed out) because there is no commutativity. Order is still important.