HNHacker News
TopNewBestAskShowJobs

tezka

78 karma · joined December 3, 2012

submissionscomments
tezka··on Category Theory Illustrated: Logic (2021)
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.
tezka··on SF's Anchor Brewing Company shutting down after 127 years
> but as a Brit coming from somewhere with a by then thriving real ale scene,

Served at room temperature. Yikes.

tezka··on Tarkovsky's films online for free
Blade Runner is not a Kubrick film.
tezka··on Tarkovsky's films online for free
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.

tezka··on Mathematician Wins $3M Prize for 'Magic Wand Theorem'
how is it related to any of these? do you have links to articles?
tezka··on Can an artificial intelligence machine be conscious? (David Mumford blog, 2019)
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
tezka··on Generative Modeling with Sparse Transformers
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
tezka··on PySnooper: Never use print for debugging again
What’s so hard about putting this at the beginning of the function? import pdb; pdb.set_trace()
tezka··on Learn more programming languages, even if you won't use them
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..."
tezka··on How Loneliness Is Tearing America Apart
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.
tezka··on How Loneliness Is Tearing America Apart
Thats not particularly a European perspective. Sounds like its just yours.
tezka··on Tesla hires Andrej Karpathy
> 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].

[1] https://en.wikipedia.org/wiki/Begging_the_question

tezka··on The story behind the Connecticut deli math sign
I love math but I find this whole article and the associated jokes pretty contentless and somewhat boring.
tezka··on A new report on a basic income scheme launched in Iran
The article says $1.5 a day IIANM
tezka··on A new report on a basic income scheme launched in Iran
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...

tezka··on A new report on a basic income scheme launched in Iran
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-...

tezka··on Memcached-Backed Content Infrastructure at Khan Academy
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.
tezka··on Reflecting on one very, very strange year at Uber
this is almost on the same level of stupidity as "All lives matter".
tezka··on Reflecting on one very, very strange year at Uber
"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.

tezka··on IBM is not doing "cognitive computing" with Watson
Produce independently reviewed citation that you are state of the art, or even close to it, in any of these functionality.
tezka··on All of Statistics, by Larry Wassserman (2013) [pdf]
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.

tezka··on The Cult of Vice
Relevant older, harsher piece

http://www.thebaffler.com/salvos/the-vertically-integrated-r...

tezka··on Using Monads in C++ to Solve Constraints: 1. The List Monad
Spoken like a true Haskell fanboy. Why don't you give it a shot, OP has posted the code.
tezka··on Gonix – Unix tools written in Go
the point being?
tezka··on The Data Science Handbook
this is the most useless book posted on HN.
tezka··on The Terrible Technical Interview
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.
tezka··on The cost of dynamic vs. static dispatch in C++ (2013)
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.
tezka··on Which GPUs to Get for Deep Learning
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.
tezka··on For ‘Big Data’ Scientists, Hurdle to Insights Is ‘Janitor Work’
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/

tezka··on Why Seven Hours of Sleep Might Be Better Than Eight
"Chronic lack of exercise causes people to sleep 9+ hours per day."

Citation needed.

Page 1 of 2Next →