HNHacker News
TopNewBestAskShowJobs

octatoan

406 karma · joined February 20, 2015

Amateur Haskeller and guitarist. Trying to learn enough to comprehend a proof of Abel-Ruffini!

I'm octatoan at gmail if you'd like to talk. I have a little blog at <http://ham.so>.

submissionscomments
octatoan··on With No Inkling of the Contents: Viewing Narnia Through a Hindu Lens
> math books and physics books are works describing the world as it is, and in that case, are the closest glimpse of the divine that you're likely to get in this life

That's where I've settled. If you want a religious experience, learn math. The feeling when you get something that was previously incomprehensible is probably as good as, if not better than, religious ecstasy.

octatoan··on A visual explanation of the Fourier transform with audio and JS
Isn't mine :)
octatoan··on Show HN: Kikked – check if any of your NPM repos is trademarked
Kik was the name of the npm package that is the source of all the recent hullabaloo.

"Kiked" is an instance of unfortunately misinterpretable verbing. I parsed it that way too at first.

octatoan··on Handful of Biologists Went Rogue and Published Directly to Internet
There's a massive project going on in math using GitHub to write an open-source algebraic geometry textbook.

http://stacks.math.columbia.edu

octatoan··on How to Learn Advanced Mathematics Without Heading to University
I wrote this answer to a similar question in /r/math last year. You might enjoy it:

https://www.reddit.com/r/math/comments/3ixyw3/how_can_i_begi...

octatoan··on AlphaGo beats Lee Sedol again in match 2 of 5
Indeed, I wish someone could talk about how the value/policy thing works.
octatoan··on A Brief Glance at How Various Text Editors Manage Their Textual Data (2015)
I needed this :)
octatoan··on Consider support for French sovereign operating system
> --cherchez-stackoverflow
octatoan··on Nigerian Solves 156-year Knotty Maths Hypothesis, Wins $1m – DailyPost Nigeria
http://aperiodical.com/2015/11/riemann-hypothesis-not-proved...
octatoan··on On Being Smart (2009) [pdf]
I posted this yesterday: https://news.ycombinator.com/item?id=10539083

It seems timezones matter a lot. :)

octatoan··on Ask HN: My project idea is built by someone else – what should I do now?
See if you can bring a new approach to the problem. You could solve it in a completely different way by focusing on some other part of the process.
octatoan··on The Little Printf
This is beautiful.
octatoan··on Microsoft’s Very Good Day
GP probably meant Nadella, if someone's wondering.
octatoan··on Autocomplete as an interface
Re the point made at the end: there's a ton of fuzzy completion engines.
octatoan··on Humans with Amplified Intelligence Could Be More Powerful Than AI
The author is a neoreactionary. Just thought you might want to know.
octatoan··on What we break when we fix ad blocking
AFAIK someone did make adblocking glasses with image recognition software. :)
octatoan··on The Art of PNG Glitch
How was the header image made?
octatoan··on Our First Certificate Is Now Live
Does anyone familiar with the "paid-for certificate industry" know if anything major is going to happen? I'd guess they're going to be inundated with lawsuits or something.

Great work, by the way.

octatoan··on We don’t need a remote-controlled iKettle
See "much needed gap". Also, RFC 2324, "Hyper Text Coffee Pot Control Protocol (HTCPCP/1.0)". [1].

[1]: https://tools.ietf.org/html/rfc2324

octatoan··on Biggest image in the smallest space
DHS = Department of Homeland Security?
octatoan··on The xkcd survey
I don't know why, but I was able to recognize the non-words instantly (with one exception) even though I didn't know the meaning of every single "real" one. (Peristeronic, etc.)

Perhaps a remnant of my spelling-bee days.

octatoan··on Linear Algebra: What matrices are
Everyone in this thread mourning how nobody really learns that symbol-pushing isn't math (it isn't!) needs to look at Lockhart's Lament.

https://www.maa.org/external_archive/devlin/LockhartsLament....

octatoan··on Thinking too much: self-generated thought as the engine of neuroticism
I was referring to "experimentally induced worry".
octatoan··on Hurrian songs
> The tablet is in the collection of the National Museum of Damascus.

Shit, I hope IS doesn't blow the museum up or something . . .

octatoan··on Well vs. Equal Temperament (2000)
https://www.youtube.com/watch?v=iRsSjh5TTqI
octatoan··on Oliver Sacks has died
https://www.youtube.com/watch?v=7GIDDaF26zE
octatoan··on Thinking too much: self-generated thought as the engine of neuroticism
> For example, experimentally induced worry increased creativity in high scorers on neuroticism.

Jesus.

octatoan··on Germans are so scared of surveillance they microwave their ID cards
> "online formulas"

I'm guessing this was translated from German or something; isn't form "Formular" in German?

octatoan··on Gitfs
The page is blank for me. Firefox 37, use ABE.
octatoan··on Classical music generation with recurrent neural networks
http://xkcd.com/1546/ comes to mind.
Page 1 of 5Next →