HNHacker News
TopNewBestAskShowJobs

josalhor

910 karma · joined April 13, 2019

submissionscomments
josalhor··on Debugging memory corruption: who the hell writes “2” into my stack? (2016)
I won't fully remember the details of these articles, but it has happened in the past that reading these has helped future me debug very big and complicated issues.

I believe this comes from the fact that I am presented with a new _kind_ of bug: async syscall corrupting memory because the stack was unrolled (by an exception). And I integrate this is my mental debug checklist.

josalhor··on So You Want to Rust the Linux Kernel?
Yes. The idea is to isolate the use of unsafe and prove that it is safe.

Because compiler cannot prove that what you're doing is safe it is your responsibility to do so. Once you've _proven_ that your unsafe code is safe, then it cannot have propagating effects in the rest of the code.

A lot of people get this confused. They think unsafe means you can do whatever you want. In reality it means you'll play by the rules even if the compiler cannot verify them all. In truth it is not as hard as it sounds, we do it in C all the time.

josalhor··on Gmail password first character is case insensitive on mobile device
They may have changed it, but it was certainly working in 2017: https://news.ycombinator.com/item?id=13426544
josalhor··on Gmail password first character is case insensitive on mobile device
This is a well-understood feature. Facebook does the same thing[0]. Quote:

Facebook actually accepts three forms of your password:

* Your original password.

* Your original password with the first letter capitalized. This is only for mobile devices, which sometimes capitalize the first character of a word.

* Your original password with the case reversed, for those with a caps lock key on.

[0]: https://www.zdnet.com/article/facebook-passwords-are-not-cas...

josalhor··on [dead]
The people working on Facebook infra are true Software Architects.

I can't certainly imagine the pressure of those involved in causing and fixing this issue.

josalhor··on Facebook-owned sites were down
facebook.com resolves again!

> ping facebook.com

PING facebook.com (31.13.83.36) 56(84) bytes of data.

64 bytes from edge-star-mini-shv-01-mad1.facebook.com (31.13.83.36): icmp_seq=1 ttl=54 time=12.2 ms

64 bytes from edge-star-mini-shv-01-mad1.facebook.com (31.13.83.36): icmp_seq=2 ttl=54 time=12.1 ms

64 bytes from edge-star-mini-shv-01-mad1.facebook.com (31.13.83.36): icmp_seq=3 ttl=54 time=11.7 ms

Can't yet traceroute to a.ns.facebook.com tho

josalhor··on Patterns in Confusing Explanations
Have you seen 3Blue1Brown video about it?

https://www.youtube.com/watch?v=aircAruvnKk

josalhor··on Syncthing: Syncing All the Things
> FreeFileSync

I discovered it yesterday and migrated my backup system to FreeFileSync (well, actually I made a double backup with the old and new system). It is _AWESOME_. I finally feel in control of my backups.

josalhor··on The NFT market bubble has popped?
The bubble has popped, but these graphs show that we are still at January-February levels of bubble.

I am not sure if the market has fully collapsed (Unfortunately?).

josalhor··on Drunk Post: Things I've Learned as a Sr Engineer
> Tests are important but TDD is a damn cult.

I don't see people commenting on this one! That may be a good thing because it means people are not questioning it :)

josalhor··on Please commit more blatant academic fraud
> where authors can optionally submit the data and code that go along with their work.

So cool. I wish there were more steps in this direction.

> Should these be mandatory?

As an outsider, I would say no. However that should have a detrimental effect on the ability to get published if you are from an academic institution. I can totally see a gray area when it comes to non-academic publishers.

> There's also the question of what code should be made public

Shouldn't it be as much as possible? The way I see it is that the easier to replicate a paper, the more people can focus on its true utility. That is, by abstracting ourselves away over the details of the paper, what does this really contribute? From my point of view, publishing as much as possible maximizes the real-world impact of the research.

josalhor··on Please commit more blatant academic fraud
Well, I wonder if this could force people to start publishing their code so others can replicate the results. This would help greatly with the kinds of issues that are being discussed:

- It would be much harder to hide makeup results and cherry-picked seeds

- Useless research would not be as easy to hide

- The real-world impact of the research would be more valued.

- Researchers would be forced to recheck their code for it to be presentable, which could be a net benefit in terms of finding mistakes

- and so on..

I do imagine this could harm the number of replications of the research. However, I think there can be a net positive effect from such a policy. What do you think?

josalhor··on Python in Visual Studio Code – May 2021 Release – Python
This change comes with auto imports, detection of non used imports, semantic highlighting, type checking, faster loading times and it is way snappier.

This upgrade is awesome.

josalhor··on WhatsApp will progressively kill features until users accept new privacy policy
That's exactly what I was referring to. I think I have misunderstood the parent comment. I thought he was complaining about this being the default behavior when you don't enable access to your contacts.
josalhor··on WhatsApp will progressively kill features until users accept new privacy policy
I think that is a security feature.

Otherwise, I can impersonate anyone with any name and contact image that I want. The way it is set up, you are the only one who has control over the displayed name (with fallback to the phone number). I actually like it that way.

josalhor··on Catala: A Programming Language for the Law
> Also it's a bad name, since that's already the (local) name of a widely spoken natural language.

As a native Catalan myself I was quite surprised by the title.

josalhor··on On UML
> for clueless clients stuck in manual FTP workflows

This kills my soul. UML is being presented as a way to abstract away from the actual processes. But not everything can be abstracted away. The fact that we need to picture a UML diagram to represent a user stuck in FTP is outright a waste of time, money and human labor.

josalhor··on Has UML died without anyone noticing?
My teacher in Software Engineering that "taught us" that UML is used everywhere in CS and business. Looking up their CV, they only had two years of experience outside academia, and that was 20 years ago.
josalhor··on Initial preview of GUI app support for the Windows Subsystem for Linux
Sure, but I upload my experiments to a Linux cluster and only use my machine for development. Windows IO performance is more important to me than compute.
josalhor··on Initial preview of GUI app support for the Windows Subsystem for Linux
At least for me, WSL1 had pretty good performance on the Windows file system. On WSL2 accessing the Windows file system is pretty slow.

You can read about it here: https://github.com/microsoft/WSL/issues/4197

josalhor··on Firefox 89.0 Beta brings a new look
I am extremely surprised about this as well. Breaking the integration between the tab and the URL bar looks terrible to me.
josalhor··on PEP 563, PEP 649 and the future of pydantic and FastAPI
The tool is in process of getting published. Not much I can say yet.

I didn't start this project and I am not the sole contributor. The project is medium-sized.

josalhor··on PEP 563, PEP 649 and the future of pydantic and FastAPI
I have developed a quite powerful tool building on top of Python type hints. In a way, I have almost started loving their flexibility as an API designer.

I hope PEP 649 or a similar proposal is approved before 3.10.

josalhor··on Time to regulate AI that interprets human emotions?
In this paper (https://www.nature.com/articles/s41551-018-0195-0) Google predicts patients' sex with 97% accuracy from images of their retinas. This was thought to be impossible.

I think this is a pretty decent example of a Neural Net becoming better at something than humans are.

josalhor··on LG is getting out of the mobile phone business
> BQ – Spanish

BQ is liquidating [0].

[0]: https://www.lainformacion.com/empresas/fabricante-moviles-bq...

josalhor··on Icecream: Never use print() to debug again in Python
I don't. I've tried it, it just doesn't "click in" for me. I love types and (i.e. I love Rust's type system), but not on Python.
josalhor··on Intel Rocket Lake (14nm) Review: Core i9-11900K, Core i7-11700K, Core i5-11600K
> none of those numbers fully describe the performance of a CPU, but idk why you would be "skeptical" of frequency numbers in particular

Because I have seen quite a few consumers get guided too much by the "more frequency, more better" motto.

Moreover, it doesn't stop there. I have seen papers where the only thing cited is the frequency of the processors, and no other reference to the manufacturer/architecture/version of the processors used.

> IPC itself is somewhat arbitrary. in the real world, IPC constantly varies with the mix of instructions, cache-friendliness of the program/data, memory performance, etc.

Absolutely, I would also be skeptical of an "IPC" metric. Performance is the only thing that counts.

josalhor··on Intel Rocket Lake (14nm) Review: Core i9-11900K, Core i7-11700K, Core i5-11600K
> That seems reasonable across microarch versions, but presumably is totally reasonable within a product-release-cycle

Sure, but the performance doesn't scale linearly with the frequency. So how can we account for that? Also, the i9 10900F and i9-10850K have the same turbo. How long can they sustain in for? On how many cores? What frequency is left afterward? This gets even weirder with more recent technologies that push the frequency higher depending on power delivery stability and thermal constraints.

I agree; the frequency is indicative of performance within a product lifecycle. But I find it too meaningless to give an approximate delta on the performance. And this assumes the process you are running is not too much memory bottlenecked or I/O bound and this delta in performance can be measured. (And the setup can sustain higher thermals).

While not perfect, I prefer to look up benchmarks that resemble my workload and call it a day. Processors are too complicated for me to try to compare with simple numbers.

josalhor··on Intel Rocket Lake (14nm) Review: Core i9-11900K, Core i7-11700K, Core i5-11600K
I have been incredibly skeptical of frequency numbers. Case in point, the AMD FX-9590 had a 4.7 GHz base an 5.0 GHz boost back in 2013 [0]; and the Ryzen 9 5950x has a 3.4 GHz base an 4.9 GHz boost [1].

To me, the frequency has become a "blob". It means nothing. If anything, I see more frequency and I think more power draw and less stability.

Real performance is a function of IPC and frequency and that is the only thing that really matters.

[0]: https://www.amd.com/es/products/cpu/fx-9590

[1]: https://www.amd.com/en/products/cpu/amd-ryzen-9-5950x

josalhor··on Voltswagen of America
Taking a look at the website the ID.4 is branded as "Voltswagen ID.4". Looks pretty serious to me.

https://www.vw.com/en/models/id-4.html

← PreviousPage 3 of 7Next →