HackerLangs
TopNewTrendsCommentsPastAskShowJobs

andrepd

19,825 karmajoined 13 yıl önce
MSc in Physics PhD Researcher in Logic and Automated Reasoning

Submissions

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

apnews.com
17 points·by andrepd·3 ay önce·3 comments

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

old.reddit.com
3 points·by andrepd·3 ay önce·0 comments

[untitled]

5 points·by andrepd·4 ay önce·0 comments

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

github.com
2 points·by andrepd·5 ay önce·0 comments

Mayor Mamdani Announces Complete Redesign on McGuinness Boulevard

nyc.gov
10 points·by andrepd·6 ay önce·5 comments

List of predictions for autonomous Tesla vehicles by Elon Musk

en.wikipedia.org
12 points·by andrepd·6 ay önce·0 comments

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

reuters.com
2 points·by andrepd·7 ay önce·0 comments

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

github.com
2 points·by andrepd·8 ay önce·0 comments

Welcome to the Internet (2021) [video]

youtube.com
1 points·by andrepd·9 ay önce·0 comments

[untitled]

4 points·by andrepd·10 ay önce·0 comments

comments

andrepd
·22 saat önce·discuss
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
·dün·discuss
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
·evvelsi gün·discuss
Static guarantees are better than stochastic parrots. A static linger beats telling Claude "check this idiom". Etc etc.
andrepd
·evvelsi gün·discuss
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
·evvelsi gün·discuss
Cars sold for the past years already record and transmit all your movements and telemetry, I'm sad to say.
andrepd
·7 gün önce·discuss
Anti-vandalism bots have been used for much longer than 10 years lol
andrepd
·7 gün önce·discuss
> 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
·7 gün önce·discuss
> 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
·9 gün önce·discuss
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
·9 gün önce·discuss
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
·11 gün önce·discuss
Sounds like it hit a nerve to be honest
andrepd
·11 gün önce·discuss
> 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
·13 gün önce·discuss
> 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
·17 gün önce·discuss
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
·17 gün önce·discuss
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
·18 gün önce·discuss
There are really only two businesses in the modern economy, fraud and gambling. Some are both.
andrepd
·21 gün önce·discuss
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
·21 gün önce·discuss
No, we actually trained it on standardised tests https://marcusolang.substack.com/p/im-kenyan-i-dont-write-li...
andrepd
·21 gün önce·discuss
I've been sadly using too much Claude not to immediately recognize this verbal construction...
andrepd
·21 gün önce·discuss
> 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!