HNHacker News
TopNewBestAskShowJobs

alex_smart

1,323 karma · joined April 30, 2014

submissionscomments
alex_smart··on A Mulching Proposal (2019)
It is not pronounced /gi/ in English by people from India.
alex_smart··on A Mulching Proposal (2019)
I wonder why the same disregard not shown to words borrowed from other languages? Why not mispronounce the faux as well?
alex_smart··on A Mulching Proposal (2019)
>"Fauxghee" is one of the best puns ever.

Except for the fact that the pun only works if you mispronounce "ghee".

alex_smart··on A Mulching Proposal (2019)
> Fauxghee sounds like "fogey" which refers to an older person

It actually doesn't, at least the way "ghee" is pronounced in the native languages where the word originates from. English doesn't quite have the strongly voiced "g" sound, so western people pronounce it incorrectly as "gee".

alex_smart··on New Orleans teenagers found a new proof of the Pythagorean Theorem
The trigonometry thing is simply a marketing gimmick for this proof. There is no more or less trigonometry in this proof than there is in Einstein's proof. In fact, they could just as well have taken Einstein's construction and reformulated that proof in their language by using sine rule instead of similar triangles. But then the gimmick would be too obvious.

Somehow the second gimmick (the infinite series construction instead of Einstein's elegant and simple construction) makes our monkey brains not notice the first gimmick.

alex_smart··on New Orleans teenagers found a new proof of the Pythagorean Theorem
The trigonometry thing is simply a marketing gimmick for this proof. There is no more or less trigonometry in this proof than there is in Einstein's proof. In fact, you can just taken Einstein's construction and reformulated that proof in their language by using sine rule instead of similar triangles. But then the gimmick would be too obvious.

Somehow the second gimmick (the infinite series construction instead of Einstein's elegant and simple construction) makes our monkey brains not notice the first gimmick.

alex_smart··on New Orleans teenagers found a new proof of the Pythagorean Theorem
There really isn't any trigonometry here apart from sine rule, and because sine rule is derived from similar triangles, anything you can say using sine rule, you can also say using similar triangles.

The trigonometry thing is simply a marketing gimmick for this proof. There is no more or less trigonometry in this proof than there is in Einstein's proof. In fact, you can just taken Einstein's construction and reformulated that proof in their language by using sine rule instead of similar triangles. But then the gimmick would be too obvious.

alex_smart··on New Orleans teenagers found a new proof of the Pythagorean Theorem
For this proof to be a proof, you first have to define what area is and why it should scale as kc² and why the sum of areas of the two the smaller triangles should equal the area of the larger triangle.
alex_smart··on Making Python faster with Rust

    diff --git a/poly_match_v1.py b/poly_match_v1.py
    index 675c88a..4293a46 100644
    --- a/poly_match_v1.py
    +++ b/poly_match_v1.py
    @@ -1,4 +1,5 @@
     from functools import cached_property
    +from itertools import compress
     from typing import List, Tuple
     import numpy as np
     from dataclasses import dataclass
    @@ -56,11 +57,8 @@ def generate_example() -> Tuple[List[Polygon], List[np.array]]:
     def find_close_polygons(
  polygon_subset: List[Polygon], point: np.array, max_dist: float
     ) -> List[Polygon]:
    -    close_polygons = []
    -    for poly in polygon_subset:
    -        if np.linalg.norm(poly.center - point) < max_dist:
    -            close_polygons.append(poly)
    -
    +    dist = np.linalg.norm([poly.center for poly in polygon_subset] - point, axis=1)
    +    close_polygons = list(compress(polygon_subset, dist < max_dist))
  return close_polygons
10x faster than the original, without resorting to native code, and without substantial increase in complexity of code base.
alex_smart··on Making Python faster with Rust
Numpy is fast when the code is vectorized. The code they are benchmarking against was not vectorized. They wanted to calculated the distances of n points against a given point and find out which points are closer than a threshold (max_dist). Instead of vectorizing the whole operation, the python code was just calling numpy in a loop to find the distance of two points.

Just that small change already gives 10x faster performance without ever leaving python/numpy land.

alex_smart··on Linux-factory: A framework used to create custom Linux Debian operating systems
I was obviously being sarcastic, but the sarcasm was earnest. For the most part, there shouldn't be any details to control. Just pick defaults that work for 99% users and let them get on with their life.

>But if you like an installer, there's manjaro.

Manjaro is not Arch. My comment was a criticism of Arch Linux, not Manjaro.

alex_smart··on Linux-factory: A framework used to create custom Linux Debian operating systems
> Ubuntu and RedHat seem to be stuck in the past

Like offering users a GUI click-through installer?

alex_smart··on Linux-factory: A framework used to create custom Linux Debian operating systems
Linux-factory: A framework used to create custom Linux Debian ~~operating systems~~ installers

FTFY

alex_smart··on Text Is All You Need
> Notice the trick? If you can keep score at something then you can probably make an algorithm for it

You are basically arguing P = NP, but it isn't known to be the case. As far as we can tell, keeping score is much easier in general than finding states that yield a high score.

alex_smart··on BBC Modi Documentary Removal
>There is value in letting non-Indians know, which is the whole point of the documentary.

I don't see it. Most people outside India do not have enough interest in India's politics to want to spend enough time to develop a nuanced understanding. I don't see the value in people in other countries develop, for lack of a better word, a "John Oliver" level of understanding of my country's internal affairs.

>because in a Parliamentary system, you are voting for your MP, not your national leader

That is almost entirely opposite the case with Modi though. Most BJP voters vote directly for Modi (and BJP's electoral campaigns reflect this) because they like him and have trust in him, even if they don't particularly like/care about the local candidate of BJP. Modi has been quite successful in turning Indian elections quasi-presidential. Forget general elections, BJP goes even into state and even local municipal elections asking for votes in Modi's name.

alex_smart··on BBC Modi Documentary Removal
You are perhaps giving the documentary too much more credit than it deserves. There are no new revelations in the documentary as far as I know. The infamous Babu Bajrangi Tehelka sting came out all the way back in 2007. The Indian public knew all about the allegations against Modi in 2014 when he was first elected as PM.
alex_smart··on In Lebanon, solar power is booming
Welcome to any third-world developing country basically.
alex_smart··on Show HN: Vim online editor using WebAssembly, storing files using IndexedDB
That's very Emacs of Vim.
alex_smart··on More developers use Linux than Mac, according to 2022 StackOverflow survey
I have been using linux since 2008. Have installed and used it on at least a dozen laptops in the time. The number of times I have not faced any battery or suspend related issues is, well, zero.

I have been that guy who loved to customize every last ounce of the user facing experience of my system. (I still spend most of my time inside of Emacs irrespective of which OS I'm on.) I had a dotconfig folder that I used to carry around to different machines and it's fun and all that. But I'm no longer a student, I simply can not justify spending time tinkering around trying to get the basics working. Bad battery life is a deal breaker. Unreliable suspend is a deal breaker. No, I will not spend a minute trying to get it working. I would rather just run linux on virtualbox or, more recently, use Windows + WSL or a Mac.

>The battery does last about 6 hours of coding and browsing.

And does hardware accelerated video playback work on the browser?

alex_smart··on More developers use Linux than Mac, according to 2022 StackOverflow survey
>I do have hardware accelerated video playback on Firefox on Linux.

How much time did you have to spend fiddling with your config to get it working? Does it work reliably? Last I checked, it wasn't even possible with an NVIDIA card.

>Having said that I prefer no suspend on closing the lid, and AFAIK that's not an option on MacOS.

Yes it is.

alex_smart··on More developers use Linux than Mac, according to 2022 StackOverflow survey
> I don't even know what hardware accelerated video playback in a browser is

It means that your browser uses the dedicated video card for rendering video frames and pushing it to your monitor instead of using the CPU.

Why you would want this? The same reason you use a straight-edge to draw a line and a compass to draw a circle. The right tool for the job. I'm sure most people here would have had the experience of the first time training their machine learning model on a GPU instead of the CPU and having their jaw drop at how much faster it was? GPUs are simply much better than CPUs at the things they are designed for. Sure, most CPUs are still powerful enough to push 1080p videos to the screen, but that comes at the cost of poor performance and battery life.

alex_smart··on More developers use Linux than Mac, according to 2022 StackOverflow survey
It hasn't been my experience so far with windows.

On every single windows or mac laptop, I just seem to the same peace of mind I have come to expect from smartphones. Click, system goes to sleep. Click, system is up.

On linux, every time I approach the laptop, it is with that small but unshakable feeling of dread. What is my laptop going to do this time? Will it decide to come up with the same state I left it in? Or will it decide this is a good time to reboot?

alex_smart··on More developers use Linux than Mac, according to 2022 StackOverflow survey
And what is the problem with doing that? The system comes back up when you reopen the lid nearly instantly anyways?
alex_smart··on More developers use Linux than Mac, according to 2022 StackOverflow survey
>I honestly don't understand why devs use MacOS over Linux

I turn the lid down on my laptop and it goes to sleep. It pull it up and the system comes back up. Reliably. Every single time.

I guess that narrows my choices down to Windows and MacOS. Between them I find it much harder to choose, but Macs just have a solid lead on the hardware front for now. The M1/M2 chips are just chef's kiss. And I don't know why most Windows laptops come with such junk webcams.

Edit: I almost forgot! Linux still doesn't have hardware accelerated video playback on browsers. How can anybody recommend using linux on their laptop despite this is beyond me. Is this a joke? Like do you guys just always keep your laptops plugged in all day? Why not just get a desktop at that point?

alex_smart··on Apple to move 40-45% iPhone production to India
Do you seriously believe that all 12.8 million Uyghurs in China are literally imprisoned?
alex_smart··on New Zealand admits it has access to Facebook takedown portal to censor content
I am always interested in how the reaction of people to headlines like these differs based on the country.
alex_smart··on In what sense is quantum computing a science?
I am not sure what it is about my way of stating things that is causing such severe comprehension problems for you (repeatedly). I never said that Computer Science is not deductive. In fact, the reason we even have a question over Computer Science being a science or not is that most of the things computer scientists do in practice are in fact deductive results about mathematical models. To be called a science, a field of study does however need to have a connection to the empirical world - and for computer science, C-T thesis is that connection.

Anyway, let me be the one bringing the discussion back to quantum computing this time. I don't think anybody in the world who could argue that study of entanglement - think Bell's theorem and CHSH inequality - isn't science. In fact, the 2022 Noble Prize for Physics was awarded to people who made foundational contributions on that field. I see Quantum Computing as a direct spiritual successor to that study.

alex_smart··on The Rune Programming Language
Are we Reddit yet?
alex_smart··on In what sense is quantum computing a science?
The Church-Turing thesis is what makes makes a result about Turning machines a theory about the empirical world rather than mere facts about a simplistic mathematical model of computation. So, the point is more like - "it's a science because it is an empirical observation about the natural world".
alex_smart··on In what sense is quantum computing a science?
I don't quite agree. The essential piece that transforms the study of Turing machines from mathematics into science is the Church-Turing thesis. And the Church-Turng thesis that is not deductive in any sense of the word.
← PreviousPage 7 of 19Next →