HNHacker News
TopNewBestAskShowJobs

andrepd

19,976 karma · joined June 19, 2013

MSc in Physics PhD Researcher in Logic and Automated Reasoning
submissionscomments
andrepd··on Poland now 6th-largest EU economy, ahead of Switzerland and Belgium
The conclusion you should draw from this is therefore "GDP is a shit metric for measuring anything and even worse as a target".
andrepd··on What happens if an entire class of workers loses faith in their careers
In what sense are movies a "luxury market" and in what sense have they not been "commoditised" (as per your definition) for 100 years...? Seriously, your answer to a conversation about an economy that squeezes the middle-class and serves more and more the ultra-wealthy is "but netflix"? Uninteresting conversation.
andrepd··on Melatonin impairs morning cognition in healthy young adults (2023)
It's silly to say that "Europe" has substantially different working hours for the majority of the population, compared to the US. Grindset hustle sigma influencers are an outlier of course.
andrepd··on New Amazon Data Center Is Set to Have the Most Polluting Power Plant in the U.S.
One would think that self-proclaimed "conservatives" would like to conserve the natural world... Long gone are the days of Teddy Roosevelt that's for sure.
andrepd··on New Amazon Data Center Is Set to Have the Most Polluting Power Plant in the U.S.
Nuclear reactors are a notoriously clean and safe method of electricity generation.
andrepd··on What happens if an entire class of workers loses faith in their careers
In other words: everything to do with economics is worse and everything to do with the inexorable march of progress is better. Yeah sorry but no shit. Technology has progressed since grandpa's day.

"TVs are better and cheaper" is not a useful counterpoint when discussing the economy of the 2020s.

andrepd··on Oracle bans AI-generated code from OpenJDK
Never get high on your own supply, says the dope peddler.
andrepd··on Online Friends Are Real Friends
What do you mean snap feature? Can you explain?
andrepd··on Kelly Criterion Simulator
On a casino? Play good poker and go for a low rake. Playing the house is always negative EV, by definition.
andrepd··on AI companies are shredding rare books
Thanks for your thoughts, but how is this is anyway relevant to the issue at hand? I'm sad that this is the top comment...
andrepd··on AI companies are shredding rare books
Rare or not, destroying books is in itself a morally repugnant act. I don't know man, it's not so long ago we used to view nazi book burnings as an archetype of evil. Today companies are offering book-burning-as-a-service and it hardly causes a stir.

Bearded German man was right.

andrepd··on German Peasants' War
> Let everyone be subject to the governing authorities, for there is no authority except that which God has established. The authorities that exist have been established by God. Consequently, whoever rebels against the authority is rebelling against what God has instituted, and those who do so will bring judgment on themselves. For rulers hold no terror for those who do right, but for those who do wrong. Do you want to be free from fear of the one in authority? Then do what is right and you will be commended. For the one in authority is God’s servant for your good. But if you do wrong, be afraid, for rulers do not bear the sword for no reason. They are God’s servants, agents of wrath to bring punishment on the wrongdoer. Therefore, it is necessary to submit to the authorities, not only because of possible punishment but also as a matter of conscience.

Romans 13. Is it any surprise that such a religion has consistently, throughout the centuries, been on the side of the rich and powerful, of the lords and emperors, the reactionaries of all stripes?

andrepd··on Show HN: Brolly, a plain-text weather forecast site
Yes, I'm very annoyed that I cannot look at historical data (even from the past couple of days) in weather websites!
andrepd··on Zero roadkill as Amazon canopy bridges secure 15,000 crossings
Jesus, what a bizarrely aggressive response.
andrepd··on ARC-AGI Leaderboard
I'm shocked, astonished even, that enterprises on which trillions of dollars are being poured would consider cheating on marketing benchmarks.
andrepd··on A taxonomy of omnicidal futures involving artificial intelligence (2025)
The first "scenario" starts with this description

> By 2026, when a human with a customer service inquiry has to deal with another human instead of a robot, they get upset and ask to speak to a machine instead.

It's genuinely astonishing how out of touch some people are!

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.
← PreviousPage 4 of 34Next →