HackerTrans
TopNewTrendsCommentsPastAskShowJobs

andrepd

19,826 karmajoined 13 лет назад
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 месяца назад·3 comments

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

old.reddit.com
3 points·by andrepd·3 месяца назад·0 comments

[untitled]

5 points·by andrepd·4 месяца назад·0 comments

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

github.com
2 points·by andrepd·5 месяцев назад·0 comments

Mayor Mamdani Announces Complete Redesign on McGuinness Boulevard

nyc.gov
10 points·by andrepd·6 месяцев назад·5 comments

List of predictions for autonomous Tesla vehicles by Elon Musk

en.wikipedia.org
12 points·by andrepd·6 месяцев назад·0 comments

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

reuters.com
2 points·by andrepd·7 месяцев назад·0 comments

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

github.com
2 points·by andrepd·8 месяцев назад·0 comments

Welcome to the Internet (2021) [video]

youtube.com
1 points·by andrepd·9 месяцев назад·0 comments

[untitled]

4 points·by andrepd·10 месяцев назад·0 comments

comments

andrepd
·2 часа назад·discuss
> 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
·2 часа назад·discuss
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
·вчера·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
·позавчера·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
·позавчера·discuss
Static guarantees are better than stochastic parrots. A static linger beats telling Claude "check this idiom". Etc etc.
andrepd
·3 дня назад·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
·3 дня назад·discuss
Cars sold for the past years already record and transmit all your movements and telemetry, I'm sad to say.
andrepd
·7 дней назад·discuss
Anti-vandalism bots have been used for much longer than 10 years lol
andrepd
·7 дней назад·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 дней назад·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 дней назад·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 дней назад·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 дней назад·discuss
Sounds like it hit a nerve to be honest
andrepd
·11 дней назад·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
·14 дней назад·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
·18 дней назад·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
·18 дней назад·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 дней назад·discuss
There are really only two businesses in the modern economy, fraud and gambling. Some are both.
andrepd
·21 день назад·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
·22 дня назад·discuss
No, we actually trained it on standardised tests https://marcusolang.substack.com/p/im-kenyan-i-dont-write-li...