HNHacker News
TopNewBestAskShowJobs

andrepd

19,956 karma · joined June 19, 2013

MSc in Physics PhD Researcher in Logic and Automated Reasoning
submissionscomments
andrepd··on Xiaomi-Robotics-1
> there has never been something so powerful it's kept me up past 3 AM every single night working beyond every fiber of my body telling me to sleep. I feel empowered as if I command an army. And there are millions of us

Yelling "slop" at a clothes-folding robot is stupid, but reading this kind of shit makes me want to embody Ted Kaczynszky and go live in the woods.

andrepd··on Designing emoji for the way we communicate today
Yeah, an AI generated blogpost telling me about human emotion...
andrepd··on The Three-Second Theft: Why AI Voice Fraud Outruns Every Defence
I actually fucking do this, and have done for a year or two. Sad state of affairs.
andrepd··on The Git history command deserves more attention
No need for that even. Just git reflog and rewind back to any spot your want!
andrepd··on Understanding the Odin programming language
Exactly! The most interesting arguments for Rust that I've ever read have come not from people who hate C++, but precisely from people who are really into C++, because those are the people who actually recognise its shortcomings are are better positioned to give INSIGHTFUL criticism into it.

People who are motivated by a superiority complex or by the wish to impress a herd of twitter followers hardly if ever produce a thought I want to read.

andrepd··on Old and new apps, via modern coding agents
Indeed. LLMs produce truly atrocious code, unmaintainable and unreliable. If you're vibecoding a toy to amuse yourself or something similar low-stakes, that's perfectly fine! For higher-stakes code, it's definitely not.
andrepd··on Understanding the Odin programming language
> Casey Muratori and Jon Blow have pushed this concept frequently

Ah... The school of what I like to call "maximum opinions and minimal evidence". Aggressive arrogant dismissal of anything except their exact view (and for Muratori, you're also "woke" for good measure), coupled with a complete lack of _hard evidence_ to back up their views. In that regard, they're not unlike "investment advice" instagram influencers.

andrepd··on SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth
> you should be celebrating what Elon and his companies have achieved

The level of servility of some people never ceases to amaze me. This sentence is viscerally repulsive to me.

andrepd··on SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth
You're not the only one: "Beyond the limit: Satellites and mirrors in space pose threat to the night sky" https://news.ycombinator.com/item?id=48787042
andrepd··on EU Parliament greenlights Chat Control 1.0
Make a "reverse vote" to reject passing a law = abstentions mean you don't reject passing the law = abstentions mean you support passing the law
andrepd··on Rewriting Bun in Rust
This comment makes no sense. For one, "you need the absolute best performance and you decide to drop to down to C++", no, C++ and Rust are virtually equivalent in that they pretty much expose the underlying machine fully; if anything Rust makes it easier to write idiomatic performant code.

For two, there are plenty of reasons to use C++ unfortunately: compatibility with existing code based and availability of developers to name two.

andrepd··on My thoughts on the Bun Rust rewrite
Static guarantees are better than stochastic parrots. A static linger beats telling Claude "check this idiom". Etc etc.
andrepd··on Chatto is now open source
There's a Hyundai car whose name literally means "pussy" in Portuguese and Galician x) It's marketed as something else in those territories.
andrepd··on EU now one step away from reviving private message scanning rules
Cars sold for the past years already record and transmit all your movements and telemetry, I'm sad to say.
andrepd··on Google Books (or similar) all book scans – $200k bounty (2025)
Handy, but a book lover with an ereader probably already uses Calibre :)
andrepd··on Odin, Wikipedia and engagement farming
Anti-vandalism bots have been used for much longer than 10 years lol
andrepd··on Odin, Wikipedia and engagement farming
> If building a world-class (almost revolutionary) product with your own programming language doesn't count as "making your thing notable", maybe it's time to revisit what notable means? JangaFX/EmberGen been covered A LOT in its niche, but because it's a niche, somehow that doesn't seem to count for Wikipedia as "notable".

Please RTFA and address the rebukes to this very point that are presented herein... -.- "Usage of Odin in a world-class product" is enough to count as notable, but how to establish this fact is the problem; a tweet by the CEO is not enough to establish this, secondary reporting by a reliable and archived source would.

andrepd··on Odin, Wikipedia and engagement farming
> The Wikipedia Mods view themselves as "journalists" and trying to do the "morally ideological" thing by only allowing certain posts on there

I don't know any of the people in this post, since I firmly believe that not having twitter, instagram, or tiktok is the #1 thing anyone can do to improve their mental well-being. From this sentence alone however, I can exactly establish what kind of person this is. The persecution complex, the "journalist" as an insult, it's all there.

> I know that as of now, GingerBill follows: Matt Walsh, Tucker Carlson, Jordan Peterson, The Babylon Bee, Dave Rubin, Tim Pool and Libs of TikTok.

Nailed it.

andrepd··on Free the Icons
It was GP who came up with the gaming forum-ads reply! :) As a straw man, super defensive in response to a mild comment.
andrepd··on Bring back crappy forums
Exactly. The "tree" part you can argue whether it's good or bad. The "upvote" part is universally bad. The fact that upvotes bump comments while downvotes will completely hide then... It's just terrible for discussion, and the reason reddit consistently devolves into echo chambers with everybody agreeing with everybody and piling on whoever doesn't.
andrepd··on Free the Icons
Sounds like it hit a nerve to be honest
andrepd··on Study suggests most Americans would be healthier without daylight saving time
> the researchers estimate that permanent standard time would result in some 300,000 fewer people having suffered from a stroke and result in 2.6 million fewer people having obesity

That 2.6 million people are obese because of a 1h shorter change night in one Sunday a year is an extraordinary claim. I would love to understand how they got to this result.

andrepd··on Anonymous GitHub account mass-dropping undisclosed 0-days
> Yes, if you overwrite binaries executed by ghidra, you can trigger code execution.

> but it's probably worth noting that "RMI" stands for Remote Method Invocation

This reminds me of someone submitting a (clearly vibecoded) vulnerability report claiming to have found a way to execute arbitrary SQL. The project in question? An SQL server... https://github.com/tursodatabase/turso/pull/4322

andrepd··on The deadly rise of giant trucks and SUVs
Dutch grandmas can transport 3 kids to school on a cargo bike but young parents in the US need a 4-ton lifted truck? Odd.
andrepd··on The deadly rise of giant trucks and SUVs
It's really astonishing how virtually every single quality of life indicator is negatively correlated with number of cars in the road. One of the most effective things you / your city / your nation can do do improve your live in every dimension is to take measures to reduce the number of cars.
andrepd··on Polymarket has flooded social media with deceptive videos by paid creators
There are really only two businesses in the modern economy, fraud and gambling. Some are both.
andrepd··on The AirPods Effect
You make it sound like it's an absolute warzone (your demographic certainly likes to push that narrative even in the most uneventful of places!). Yes I've taken trains back home from nights out at 4:30 in the morning where there were drunk girls talking loudly and (gasp!) trash on the floor. There's certainly no-one "blasting loud music" in the average train and definitely not "doing drugs".

Ofc there's a non-zero number of crazies, violent people, sexual harassers, etc. That's a certainty in a system with 400 million trips a year! But then please don't leave your home, there can be an ax murderer lying in wait at any corner!

andrepd··on Project Valhalla, Explained: How a Decade of Work Arrives in JDK 28
No, we actually trained it on standardised tests https://marcusolang.substack.com/p/im-kenyan-i-dont-write-li...
andrepd··on Project Valhalla, Explained: How a Decade of Work Arrives in JDK 28
I've been sadly using too much Claude not to immediately recognize this verbal construction...
andrepd··on Dutch Railways offers unlimited off-peak train travel nationwide for €49/month
> Utrecht to Amsterdam is 20 EUR

Well that's exactly the trip I had in mind. 20€ return for a 35km trip just sounds crazy expensive to me. That's over 25€/100km; driving a car (even at the high gas prices of the Netherlands) should be 10-15€/100km. The balance just seems out of whack.

But then again I'm not Dutch :) I come from a much lower cost-of-living country so that may skew my perspective a bit.

> paying €6/mo to save 40% seems a pretty good deal if you travel a lot off peak

Not really if you "travel a lot", it's just a no-brainer deal if you travel at all. In that one return trip Amsterdam—Utrecht it's already worth it for the entire month :) Plus you can take 3 more people with you and you all get the discount!

← PreviousPage 4 of 34Next →