allenguo's comments

On: Machine Learning 101 slidedeck: 2 years of headban...

[allenguo]

You should check out Berkeley's deep reinforcement learning course[1]. There's lecture videos, slides, and homework assignments, and it's all very up-to-date.

[1] http://rll.berkeley.edu/deeprlcourse/

On: Three by Kafka

[allenguo]

I really enjoyed this!

On: Bay Area 2050: The BART Metro Map

[allenguo]

This is really cool! How long did this project take? And how would one get started with mapmaking?

On: Tsukiji: So long, and thanks for all the fish

[allenguo]

This is fascinating. What's the auction man at the end saying?

[huac → allenguo]

it looks like he's asking how many people are still in at a certain price point (though my japanese is terrible)

fantastic video btw.

[_0nac → huac]

My Japanese is fairly fluent, but the guy around 08:00 is pretty much totally incomprehensible...

The later dude at 10:00 seems to be announcing lot numbers ("16-ban"), doing the auction in ten-thousands ("75" for 75,000 yen?) and then announcing the winner ("Ebisuuuuu!") before going to the next.

On: Show HN: Billboard.py – a library for downloading ...

[allenguo]

I made this! Feel free to post feedback/questions/suggestions!

On: What Doesn't Seem Like Work?

[allenguo]

This was an interesting read. Thanks for sharing!

> This means that whenever I call this function, I need to provide together with a and b a proof that b isn’t zero.

What might such a proof look like? And is this supposed to work at compile-time?

[nbouscal → allenguo]

Yes, it happens at compile time. To understand how proofs work here, you want to look at the Curry-Howard correspondence. Basically, there's a correspondence between types and propositions, and between the values inhabiting those types and proofs of the corresponding propositions. So a proof looks like a value of a certain type.

On: Show HN: SunOpps – Go solar the easy way

[allenguo]

This is pretty cool! The app store buttons aren't showing up correctly for me though.

[husseiny → allenguo]

Thanks! Weird on the App Store link. Any chance you don't mind sharing more details on what platform and browser you are using?

[allenguo → husseiny]

I'm using Firefox 35.0 on 64-bit Windows 7.

It looks like this: https://i.imgur.com/uo6nhpA.png.

On: Functors, Applicatives, and Monads in Pictures

[allenguo]

Thanks, I found this really helpful!

On: You Don't Need JQuery

[allenguo]

Relevant: http://vanilla-js.com/.

On: Show HN: We built an open source tool for journali...

[allenguo]

Great write-up!