HN user

andrepd

19,832 karma

MSc in Physics PhD Researcher in Logic and Automated Reasoning

Posts38
Comments6,784
View on HN
apnews.com 3mo ago

Iran Ceasefire: Israel intensifies Lebanon strikes and Iran closes the strait

andrepd
17pts3
old.reddit.com 3mo ago

What historical evidence do we have of Jesus' crucifixion and its aftermath

andrepd
3pts0
github.com 5mo ago

Lost City – open-source server for old Runescape, for historical preservation

andrepd
2pts0
www.nyc.gov 6mo ago

Mayor Mamdani Announces Complete Redesign on McGuinness Boulevard

andrepd
10pts5
en.wikipedia.org 6mo ago

List of predictions for autonomous Tesla vehicles by Elon Musk

andrepd
12pts0
www.reuters.com 7mo ago

Gunman in Brown University shooting found dead, linked to MIT killing

andrepd
2pts0
github.com 8mo ago

Show HN: Fast-posit, sw implementation of posit arithmetic in Rust

andrepd
2pts0
www.youtube.com 9mo ago

Welcome to the Internet (2021) [video]

andrepd
1pts0
arxiv.org 1y ago

(Preprint) Proof of Existence and Mass Gap for SU(3) Yang-Mills in 4D Space-Time

andrepd
2pts1
www.youtube.com 1y ago

Terence Tao on how we measure the cosmos [video]

andrepd
6pts0
news.ycombinator.com 3y ago

Ask HN: Help finding 1 example of non-trivial task that ChatGPT can do

andrepd
16pts26
siecledigital.fr 3y ago

France bans Office 365 and Google Docs from schools and public administration

andrepd
403pts184
www.guerrillamail.com 4y ago

GuerrillaMail is down, appears to be so for the last 5 days

andrepd
15pts3
greencentralbanking.com 5y ago

Central bank independence is a myth. What about green central banking?

andrepd
1pts0
youtube.com 5y ago

First results from the muon g-2 experiment at Fermilab

andrepd
2pts0
windows95tips.com 5y ago

Windows Tips, Tricks, and Tweaks (2015)

andrepd
1pts1
blog.google 5y ago

Google adds 'Black-owned' business attribute to Maps

andrepd
5pts1
en.wikipedia.org 6y ago

Project Cybersyn

andrepd
4pts1
amturing.acm.org 6y ago

Pat Hanrahan and Ed Catmull Win Turing Award

andrepd
1pts0
www.theatlantic.com 6y ago

Douglas Hofstadter: The Shallowness of Google Translate (2018)

andrepd
95pts82
twitter.com 6y ago

Notepad++ v7.8.1 “Free Uyghur Edition”

andrepd
7pts1
www.sudo.ws 6y ago

CVE-2019-14287: sudo user may run a command as root when Runas spec disallows it

andrepd
3pts0
puri.sm 7y ago

Librem 5 Progress in Videos

andrepd
2pts0
www.nobelprize.org 7y ago

The Nobel Prize in Physics 2018

andrepd
2pts0
www.nature.com 7y ago

New paper calls into question Marcus theory (1992 Nobel)

andrepd
2pts0
www.techdirt.com 8y ago

Google attempting to patent a compression technique in the public domain

andrepd
71pts18
www.anandtech.com 8y ago

Security Researchers Publish Ryzen Flaws, Gave AMD 24 Hours Prior Notice

andrepd
401pts336
www.cnet.com 8y ago

Apple admits it slows down older iPhones

andrepd
5pts0
www.ligo.caltech.edu 8y ago

LIGO and Virgo make first detection of grav. waves from colliding neutron stars

andrepd
1pts0
www.anandtech.com 9y ago

Toshiba's 768GB 3D QLC NAND flash memory: matching TLC at 1000 P/E cycles?

andrepd
1pts0

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.

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.

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.

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.

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.

There's a Hyundai car whose name literally means "pussy" in Portuguese and Galician x) It's marketed as something else in those territories.

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.

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.

Free the Icons 21 days ago

It was GP who came up with the gaming forum-ads reply! :) As a straw man, super defensive in response to a mild comment.

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.

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.

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.

The AirPods Effect 1 month ago

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!

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!