HackerLangs
トップ新着トレンドコメント過去質問紹介求人

andrepd

19,825 カルマ登録 13 年前
MSc in Physics PhD Researcher in Logic and Automated Reasoning

投稿

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

apnews.com
17 ポイント·投稿者 andrepd·3 か月前·3 コメント

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

old.reddit.com
3 ポイント·投稿者 andrepd·3 か月前·0 コメント

[untitled]

5 ポイント·投稿者 andrepd·4 か月前·0 コメント

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

github.com
2 ポイント·投稿者 andrepd·5 か月前·0 コメント

Mayor Mamdani Announces Complete Redesign on McGuinness Boulevard

nyc.gov
10 ポイント·投稿者 andrepd·6 か月前·5 コメント

List of predictions for autonomous Tesla vehicles by Elon Musk

en.wikipedia.org
12 ポイント·投稿者 andrepd·6 か月前·0 コメント

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

reuters.com
2 ポイント·投稿者 andrepd·7 か月前·0 コメント

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

github.com
2 ポイント·投稿者 andrepd·8 か月前·0 コメント

Welcome to the Internet (2021) [video]

youtube.com
1 ポイント·投稿者 andrepd·9 か月前·0 コメント

[untitled]

4 ポイント·投稿者 andrepd·10 か月前·0 コメント

コメント

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