Readit News logoReadit News
kthielen commented on Why study programming languages (2022)   people.csail.mit.edu/rach... · Posted by u/bhasi
bluGill · 2 months ago
Human factors studies on programming languages are really hard to do right. It is easy to study someone seeing a language for the first time. However programming well requires a high level of expertise and so the real question isn't how easy it is for a beginner, it is how easy it is for someone who has been doing it for years. Or maybe how much different is someone after a week vs month vs year (that is at what point do the experience gains plateau)- in all this you have to be careful to ask different tasks - since good programmers will abstract when they need to do something twice.
kthielen · 2 months ago
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).

kthielen commented on Identity Types   bartoszmilewski.com/2025/... · Posted by u/matt_d
auggierose · 3 months ago
How proofs work is really simple. The question is, how do you work inside a proof assistant, which kind of math is easy to express, and what is difficult? If you leave that to the CS people, math will become computer science. The ultimate logician was Gödel, and he clearly was a mathematician.
kthielen · 3 months ago
What do you have to say about Curry-Howard?
kthielen commented on Tesla created secret team to suppress driving range complaints (2023)   reuters.com/investigates/... · Posted by u/mathgenius
NomDePlum · 10 months ago
They stated they recharge at the top of the hill (for free) so the downhill part is mute in this case.
kthielen · 10 months ago
*moot

(No offense intended.)

kthielen commented on How to pack ternary numbers in 8-bit bytes   compilade.net/blog/ternar... · Posted by u/todsacerdoti
PhilipRoman · a year ago
If you like this sort of thing (and don't care about performance) check out Arithmetic Coding for the most generalized fractional symbol packing algorithm.
kthielen · a year ago
Or ANS if you want an equally general packing to AC but you care about performance. ;P
kthielen commented on Trump wins presidency for second time   thehill.com/homenews/camp... · Posted by u/koolba
sanderjd · a year ago
It's essentially the first thing he said when he kicked off his campaign in 2015.
kthielen · a year ago
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?

kthielen commented on Trump wins presidency for second time   thehill.com/homenews/camp... · Posted by u/koolba
consteval · a year ago
Of course she doesn't. But, can she express that without saying it in a way that says "I hate immigrants"?

This is what I'm pointing out. Having republican beliefs is fine. Can republicans voice those beliefs without bigotry? Often no. For Trump, certainly not. For many, they can't either.

If you just say "Trump addresses immigrant better", then okay. 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.

kthielen · a year ago
> 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.

kthielen commented on Trump wins presidency for second time   thehill.com/homenews/camp... · Posted by u/koolba
Riverheart · a year ago
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.

kthielen · a year ago
> 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.

kthielen commented on Trump wins presidency for second time   thehill.com/homenews/camp... · Posted by u/koolba
Riverheart · a year ago
> Do you have some sort of resource/evidence that there were higher level of corruption during the Trump presidency?

Okay. How about leveraging the presidency to make a boatload of money from his private business.

https://www.citizensforethics.org/reports-investigations/cre...

Also, the Ukraine call, Georgia call, Egypt bribe, flagrant nepotism, that one time he denied funding to the post office because he thought mail in ballots would harm his re-election.

https://www.bbc.com/news/election-us-2020-53772526

Appointing people to agencies who wanted to dismantle them instead of carrying out their mission like Betsy DeVos for Dept of Edu and like Robert F Kennedy will apparently do for HHS because fluoride and vaccines are sus

https://www.citizensforethics.org/reports-investigations/cre...

Creating an atmosphere where loyalty is more important than founding principles which is an environment in which corruption can flourish.

That time he incited a mob to storm the capital because Mike Pence wouldn’t over turn the election results like he wanted.

kthielen · a year ago
> [...] 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.

kthielen commented on Crossing the USA by Train   blinry.org/coast-to-coast... · Posted by u/chmaynard
wslh · a year ago
Which is obvious because they are different countries? And, also tourists select specific countries to visit so your "use case" is very rare.

Edit

Rare = majority of tourists in Europe go to specific cities and countries. There are trips between countries but it is rare to go around ALL Europe by train. Trains are significantly more expensive that flights.

kthielen · a year ago
Is it rare because it’s painful, or painful because it’s rare?
kthielen commented on Haskell Postgres Stored Procedures   github.com/ed-o-saurus/PL... · Posted by u/runeks
smilliken · a year ago
My dream would be a database where Haskell is the query language. It's more expressive than SQL and more composable. Every time I see a new SQL feature that would be trivial in a modern language it feels like we're working harder instead of smarter.
kthielen · a year ago
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.

u/kthielen

KarmaCake day187February 8, 2014View Original