HN user
Any body can share a success story of using category theory gainfully to any CS/SWE problem that couldn't have been solved without? No Monads isn't one, you would invent it naturally when the situation calls for it. I spent a year studying in grad school and I ultimately abandoned it.
but as a Brit coming from somewhere with a by then thriving real ale scene,
Served at room temperature. Yikes.
Blade Runner is not a Kubrick film.
It's one of his most accessible movie, and usually resonates with tech people for obvious reasons. His best movies imo are Mirror, Ivan's Childhood, Andrei Rublev, Stalker and then Solaris, Nostalgia and Sacrifice.
Now Solaris book by Lem is far superior to Tarkovsky's rendition.
how is it related to any of these? do you have links to articles?
Insights from famed algebraic geometer and Fields medalist David Mumford, who has also worked (and co-authored a book) on Pattern Theory (statistical computer vision). https://en.wikipedia.org/wiki/David_Mumford
What is NLL for 32x32 Imagenet? Thats a common benchmark and it’s strange that it’s missing from this paper. Also, will you release cifar10 samples? Curious what they look like at 2.80
What’s so hard about putting this at the beginning of the function? import pdb; pdb.set_trace()
But also learn one or two languages that fit your domain of work, really really well. I have seen too many programmers that justify their lack of skills in their main language they are supposed to know by bragging about their knowledge of some hipster language they rarely use. "my code is way too slow, but hey I know the syntax of dependent types in Agda..."
your statement sounds like this is a point of view taken by the majority of people who live in Europe. Simple facts about the number and density of cities through out the history of the continent point to the exact opposite.
Thats not particularly a European perspective. Sounds like its just yours.
I don't know, to me the statement begs the question "So why wasn't it a great fit?"
That's not "begging the question" [1].
I love math but I find this whole article and the associated jokes pretty contentless and somewhat boring.
The article says $1.5 a day IIANM
sure, sanctions may very well be one of the factors causing such high inflation levels (although I am hesitant to say that they completely explain away the massive increase in the money supply. FWIW, according to IMF, in 2008 Iran's M1 base has been around $70 billion[1]. Giving a population of over 75M a $1.5 * 365 does nicely increase that base by around 50%). My main main point however was not to claim that the UBI program caused the inflation, rather to challenge the reliability of the main claim of the report as to the change the UBI makes to people's working behavior. Under such high inflation, whatever the cause, people need to work more, rather than less, to make ends meet, so comparing their behavior to pre-inflation periods is just bad science.
[1] https://en.wikipedia.org/wiki/Central_Bank_of_the_Islamic_Re...
Even though I am sympathetic to the idea of Universal income, the fact the Iran's economy experienced inflation as high as 45% the rapid rise of which correlates closely with the start of this program[1], should make this a worrisome rather than promising case study.
[1] https://d3fy651gv2fhd3.cloudfront.net/charts/iran-inflation-...
The account is named ka-engineering, no need to mine posting history. There are some world class engineers working in KA (e.g Craig Silverstein), I would take their blog posts over most medium junk stuff often posted here anyday with utmost gratefulness.
this is almost on the same level of stupidity as "All lives matter".
"Is it really that crazy that you might meet a girl/guy you might want to date at work?"
Yeah it's really, really crazy if you are in the position of authority over whomever you are harassing. It's still a huge problem even if you have the other person's consent. Uber HR is a real shitshow for not even realizing the basic fact that this is not just bad for the employee but is colossally hurting the company's interest too. I have worked in companies in third world countries and don't think this level of hostility and lack of principle is even present there.
Produce independently reviewed citation that you are state of the art, or even close to it, in any of these functionality.
My favorites are Casella and Berger: https://books.google.com/books/about/Statistical_Inference.h...
and Hogg, McKean and Craig: https://www.pearsonhighered.com/program/Hogg-Introduction-to...
They are both good books. The first one is more rigorous, but the second one covers more breadth and I think has better exercises.
Relevant older, harsher piece
http://www.thebaffler.com/salvos/the-vertically-integrated-r...
Spoken like a true Haskell fanboy. Why don't you give it a shot, OP has posted the code.
the point being?
this is the most useless book posted on HN.
I agree that technical interviews are broken, but not in the way that the author describes. I think the interviews should retain the algorithmic questions, but do away with language gotchas and design patterns etc. More emphasis should be added on the following topics: distributed systems issues, traits of modern hardware (cache efficiency, concurrency issues). There needs to be a part about mathematical competency introduced as well. Knowledge of basic probability, statistics and linear algebra should become part and parcel of the engineering interview process.
no it's not. it's more like, the most common dispatch pattern used in C++ (and most other OO languages) as a factor of 7x performance penalty over the less widely embraced alternative. The popularity of the former methods is partly due to the ignorance of programmers to its performance implications. I have seen huge code bases that had to be retired because of their over reliance on OO, and dynamic dispatch.
Tesla really shines when you want double precision computations, e.g., for scientific computing, solving PDEs etc. Extra precision is however seldom useful in deep learning, so you will likely get the same performance with the much cheaper GeForce series.
Kathleen Fisher et al. did some exciting PL oriented research on automatic tool generation for ad hoc, semi structured data in AT&T research a while ago. Take a look at their TOPLAS and POPL papers: The next 700 data description languages: http://www.padsproj.org/papers/ddcjournal_preprint.pdf
From Dirt to Shovels, Fully Automatic Tool Generation from Ad Hoc Data: http://www.padsproj.org/papers/popl08.pdf
The website for the project is: http://www.padsproj.org/
"Chronic lack of exercise causes people to sleep 9+ hours per day."
Citation needed.