Hacker Newsnew | past | comments | ask | show | jobs | submit | kthielen's commentslogin

Ha ha, your short but diplomatic reply is a perfect example of the skill in question. Nicely done.


You make a very good point, and maybe a problem here is that “human factors studies” are set up like market research rather than anthropology.

People who’ve spent a long time programming have spent a long time optimizing everything about their work, and they’re willing to talk about it (most of them won’t shut up about it, even).


What do you have to say about Curry-Howard?


Most overrated isomorphism in the history of machine-assisted proof.


*moot

(No offense intended.)


None taken. I'm going to blame not reviewing before hitting reply. Appreciated.


Or ANS if you want an equally general packing to AC but you care about performance. ;P


For some reason you're willing to drop the context.

He's talking about people coming through the border without being vetted, who are dangerous to the country.

Do you think that people should be able to come into the country freely without any vetting at all?

He was pointing out a specific problem, maybe your imagination turned that into the much more general "all immigrants are bad" when he's never actually said or suggested anything of the kind?


> If you say "they're eating the dogs, they're eating the cats, we have to clean up our country" then... yeah you're getting pulled into HR.

Trump was just repeating the same thing that many other people heard, a resident at a town council meeting in Springfield, Ohio claimed that some group of migrants there had eaten someone's pets.

Was it true? Who knows? People tend to repeat a lot of things they hear but haven't verified themselves. For example in that same debate, David Muir falsely repeated the lie that crime was down nationally. Do we take David Muir to HR?

That kind of obvious logical inconsistency, coupled with the assumption of moral authority (which for whatever reason seems to be the subtext for so many of these conversations), rubs a lot of people the wrong way.


> Trump was just repeating...

So then Trump didn't do his own research and will pretty much just believe anything? Wow, it sounds like you think Trump is an idiot.

I don't understand this line of thinking from conservatives. When Trump is criticized on the things he himself has said people will argue we shouldn't listen to Trump, because he is stupid and he lies. So he's stupid and he lies... and yet you support him?

Either he is a strong leader, in which case we should take what he says at face value, or he is a fraudster, in which case we should expect misinformation. You can't have both. Talking down about the person you support reflects very poorly on you.

> David Muir falsely repeated the lie that crime was down nationally

Crime IS down nationally.

And you understand this isn't the type of thing that would get you fired from a job?

While people on the left may often be wrong, they aren't wrong in a way that can be interpreted as racism, sexism, or homophobia. This won't get you sent to HR - and that's the difference.

Conservatives have a really hard time supporting their position without using tools which are unacceptable in professional environment. If you don't support immigration, then great! Now defend that without racist rhetoric. Trump can't do it, so if that's your role model then you better find someone else.


> [...] the Ukraine call [...]

Eh, maybe he shouldn't have been impeached for that call. President Biden's son had a strangely lucrative position, which he appeared not to be qualified for. And Biden was very involved in pressuring the Ukraine government to fire a prosecutor who was investigating that same energy company. There's a lot of public corruption in Ukraine, which was one of the factors leading to the election of their current president (according to what I've heard anyway).

This doesn't mean that Biden is definitely corrupt, but it does look very suspicious, and seems worthwhile to investigate. Our country is sending a lot of money to Ukraine. We deserve to know everything here.


Already investigated by a republican committee.

See references 14, 15, 16, 17 of https://en.m.wikipedia.org/wiki/Biden%E2%80%93Ukraine_conspi...

> A joint investigation by two Republican Senate committees released in September 2020 found no evidence of wrongdoing by Joe Biden. A sweeping Republican House committee investigation of the Biden family has found no wrongdoing by December 2023.

And sure, it’s weird Hunter was involved but it’s also weird the guy who brags about being rich still won’t show us his tax returns despite it being something every other president has done and gone as far to make up stories about the IRS while at the same time saying he’ll release them when he can. Joe released his tax returns, it’s all on the table.

Joe appears to be held to a much higher standard than Trump. Like… if Joe asked Kamala to overturn the election results like Trump did to Pence the republicans would be outraged and try to bar him from ever being president again, not that he would because he’s a good person at heart and for which he’ll get no praise, because it’s obvious not to do that and we don’t give out brownie points for abiding common sense.

It’s only bad when the other guy does it which is also why they latched onto Joe’s garbage comment even though Trump has called his opponents, trash, vermin, sick people, the enemy within and encouraged his supporters to call them satan worshippers and gets a free pass. Oh snowflake dems hate being called enemies of the state. He’s doesn’t mean it he’s just trolling the abuse of presidential powers like any reputable statesman would.

But we’re so inundated by the constant flood of news that one scandal replaces itself and it’s hard to remember all the other ones that came before it. We’ve grown numb to it. At this point I’ll just be happy if we make it to the next election in one piece.


> And sure, it’s weird Hunter was involved but it’s also weird the guy who brags about being rich still won’t show us his tax returns […]

You’re so quick to drop the question of the Biden family’s involvement in Ukraine and you pivot to Trump’s tax return, but the billions of our tax dollars and lives lost in Ukraine now make that a MUCH more important issue than Trump’s tax returns.

Congressional investigations blah blah blah, obviously they can’t get anywhere. Trump was impeached for trying to get information right from the source, and it was very stupid. We should get that information, hopefully he takes another shot at it. We’ll see what happens.


Is it rare because it’s painful, or painful because it’s rare?


A lot of the former, which then makes it habit and also the latter too.


I made something like this for Morgan Stanley some years ago, a structurally typed eager variant of Haskell with static elimination of type class constraints (so no runtime penalty for overloading) and uses LLVM for the back-end: http://github.com/morgan-stanley/hobbes/

We used it for processing and analyzing billions of events per day. Using structural algebraic types let us encode market data (obviously) but also complex data structures inside trading systems that we could correlate with market data.

As you say, Haskell-ish expressions are much more compact and capable than SQL, which was one of the reasons I wanted to build it.

It also had a somewhat novel compression method (“types as probabilities” if you like the old Curry-Howard view), which was very important to manage billions of daily events.

Good times.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: