HNHacker News
TopNewBestAskShowJobs

neysofu

266 karma · joined November 7, 2018

https://neysofu.me https://www.linkedin.com/in/neysofu/
submissionscomments
neysofu··on 11 year old unsoundness bugs found in Rust borrow checker
That's easily the exception rather than the rule. I've seen custom `Drop` implementations in almost every non-trivial Rust codebase I worked on.
neysofu··on Anthropic tells staff to work from home due to possible security team strike
https://en.wikipedia.org/wiki/Long_and_short_scales

Specifically:

> [...] giga- is always 10^9, which is 'billion' in short scale but 'milliard' in long scale.

neysofu··on As AI eats the web, the internet’s collective memory is disappearing
Kagi is not immune to this (it's the substrate itself that's losing quality, not just search) but it's a decent antidote.
neysofu··on Back to Kagi
Just to add another data point to this, 300 would absolutely not be enough for me. Here's my usage stats:

Jul 2026 939

Jun 2026 1,317

May 2026 1,924

Apr 2026 2,537

Mar 2026 2,183

Feb 2026 2,038

Jan 2026 2,392

neysofu··on The Waymo World Model
> some deaf mouth breather

I quite agree with the overall point but can we leave this kind of discourse on X, please? It doesn't add much, it just feels caustic for effect and engagement farming.

neysofu··on Cloudflare CEO on the Italy fines
Which MAGA comment, specifically? Are you referring to this?

> While there are things I would handle differently than the current U.S. administration, I appreciate @JDVance taking a leadership role in recognizing this type of regulation is a fundamental unfair trade issue [...]

You may or may not agree, it hardly seems MAGA though.

neysofu··on Cloudflare CEO on the Italy fines
> You do what a country tells you to do as a foreigner, or you leave.

I suppose you're right. You're still allowed to criticize the government's decisions though! This is certainly true in Italy, which has quite reasonable laws with regards to freedom of speech.

> what is he aiming to achieve here by disrespecting their government

Western government instituitions are hardly sacred. Again, people are allowed to criticize them, or disrespect them event if they so desire. What he's trying to achieve is a more just and reasonable application of the law, as it's quite clear if you'll care to carefully read the tweet instead of raging at his supposed disrespect for the Italian government.

neysofu··on Gmail is entering the Gemini Era
Simply don't use the new features..?
neysofu··on Google Antigravity
All of this is entirely optional. You're free to code the "old-fashiond" way, if you so prefer.
neysofu··on Why Tap a Wheel of Cheese?
Indeed. I'd imagine most of the value of such automation would come from supposedly better quality control, not from saving money on salaries.
neysofu··on Why Tap a Wheel of Cheese?
> there are plenty of other watches that are arguably better due to them being made by robots

In the world of watches, this logic extends far beyond "handmade vs made by robots". Quartz, for example, is better than automatic & mechanical in every single quantitative metric, yet perceived as lower value due to the lack of craftsmanship.

neysofu··on Rust for Filesystems
I believe this is technically true, but somewhat myopic when it comes to how maintainers approach unsafe blocks in Rust.

UBs have unlimited blast radius by definition, and you'll need to write correct code in all your unsafe blocks to ensure your application is 100% memory-safe. There's no debate around that. From this perspective, there's no difference between a C application and a Rust one which contains a single, incorrect unsafe block.

The appreciable difference between the two, however, is how much more debuggable and auditable an unsafe block is. There's usually not that many of them, and they're easily greppable. Those (hopefully) very few lines of code in your entire application benefit from a level of attention and scrutiny that teams can hardly afford for entire C codebases.

EDIT: hardy -> hardly (typo)

neysofu··on After AI beat them, professional Go players got better and more creative
They are not – if the goal becomes to capture the king, and check-related rules are removed from the game, stalemates become impossible.
neysofu··on After AI beat them, professional Go players got better and more creative
Yeah, I didn't think it through. I'd imagine such a rule change would still make draws significantly less likely though, right?
neysofu··on After AI beat them, professional Go players got better and more creative
Another possible solution would be to simply... remove draws from the game. Instead of checkmating the goal becomes to capture the opponent's king.

Needless to say, no one likes this idea because it throws out of the window centuries of game theory. Endgames would be completely different. I'm not convinced it would be a less interesting game, though.

neysofu··on Good times create weak men (2019)
I'm pretty sure Apple shareholders are doing just fine.
neysofu··on Twitter / X is losing daily active users. CEO Linda Yaccarino confirmed it
Why is it still invite-only? They had (have?) A unique opportunity with people begging to use their service... they were in the right place at the right time, and they willingly decided to limit sign-ups and let the hype die. I'm baffled.
neysofu··on TikTok is changing the way books are recommended and sold
You can't meaningfully rebut a statistic with a single counterexample.
neysofu··on Unlimited Kagi searches for $10 per month
I've been a paying customer for more than a year, in my experience DDG is not even in the same league as Kagi. DDG provides a noticeably worse search experience than Google for most queries, whereas Kagi is either just as good or often better than Google.
neysofu··on Kagi search is 6 times faster than Google
Well, as of today it's $10/mo for unlimited searches!

https://blog.kagi.com/unlimited-searches-for-10

neysofu··on AI Safety and the Age of Dislightenment
Your point being?
neysofu··on Mercedes beats Tesla to autonomous driving in California
Waymo takes responsibility for all accidents and Tesla is able to drive autonomously at 40km/h on highways, but neither does both. Mercedes does. That's –I believe– the point that parent is making.

Now, I'd argue that Waymo has probably somewhat solved highways already as they're much simpler than city driving, they're just not offering it to the public yet.

neysofu··on Addressing the community about changes to our API
I don't understand the connection between these two events. Why would an IPO mean that Reddit has to crack down on adult content? We've seen this with many online platforms over the years, again and again, but I just don't understand it. Can somebody please explain?
neysofu··on The death of self-driving cars is greatly exaggerated
> Why not automate cargo ships? There's far less to hit in the ocean and far fewer inputs required.

Maneuvering a ship is but a very small part of all that's needed to maintain a ship operational – engine maintenance, paperwork, dealing with port agents and customs, operating the radio, etc.. Much of that can be automated, I'm sure, but the return on investment is quite poor. Crew salaries are a small part of all operations costs, so you're not saving much by removing them from the equation. (Add to that the fact that large cargo ships can exceed $1B worth of cargo, so I'm not surprised that the economics don't make much sense.)

neysofu··on Protocol Wars
QUIC is not without defects, I'm with you there, but almost almost any "web-scale" company dealing with a lot of cellular connections would disagree with your statement. Uber, Verizon, Cloudflare, Meta, Fastly, among others, some of which have reported very significant latency reductions.
neysofu··on Most of my skills are now worth nothing, but 10% are worth 1000x
Self-driving cars are very much in sight. Waymo and Cruise are scaling like crazy and the tech is maturing at a fast pace.
neysofu··on Update to Kagi Search Pricing
I'll also convert to annual to get unlimited searches for a year. The search engine market is moving so fast now anyway that things may be well different a year from now.
neysofu··on Google's live from Paris event private/deleted immediately
Killing GCP would be so stupendously, incredibly short-sighted. I hope there's no truth to the reports and internal leaks from 2019.
neysofu··on Tether ownership and company weaknesses revealed in documents
Why would Bitcoin collapse as a consequence of Tether collapsing? I would expect to see a temporary drop due to market instability and low investors' confidence amid fear, but surely not a collapse.
neysofu··on Stop the proposal on mass surveillance of the EU
If you pay enough attention, you will notice that the same argument is used to push many political agendas (for better or worse):

- "You can't ban encrypted messaging. Terrorists will always find a way to communicate."

- "You can't outlaw abortions, just safe ones. Women will always find a way."

- "You can't uniformly enforce gun control. Dedicated criminals will keep buying weapons on the black market."

- "You can't ban cryptocurrencies. Enthusiasts will still trade on P2P exchanges."

All of these are half truth, and half lie. Every policy introduces a certain amount of user friction, which is proven to discourage action. Some people will refrain from infringing the policy (e.g. using guns, performing abortions, using encrypted messaging apps), some others will comply. Percentages obviously vary depending on the specific policy, but it's never 0% nor 100% like "both" sides want you to believe.

Page 1 of 3Next →