phtrivier

5 ms·

1.
by phtrivier 5d ago
From the wording, it's not clear if the ruling (from 2024) had any impact on power plant running today, or newly built one (it seems like it was mandating carbon capture eventually.) The "good" news is that coal plants are al
2.
by phtrivier 9d ago
It's a known problem, for which we've also had a pretty robust workaround since Montesquieu : distribute separate part of power to _many_ craving people who disagree and can lock each other's. I'm all for adding a branch
3.
by phtrivier 9d ago
Do you have a link to any study about that ? That would probably not happen in Europe, but at least in the US, ethnicities can be studied, so any bias could be visible statistically ?
4.
by phtrivier 10d ago
I meant "unwilling people are forced to _exercise_ power". I don't know that it's the case in any representative democracies - people literally _compete_ to access power.
5.
by phtrivier 10d ago
How do you call a system of government when power is literally forced on unwilling people ? (And who would decide which Cincinnatus to call for setting up this year's budget ?) Even when people mention "randomly picking up people&
6.
by phtrivier 10d ago
In case the author reads this : I suspect I agree with some of the ideas (or at least they're though provoking), but the writing does not help. The comma count is a hint ;) (I had to parse a few paragraphs several times to get the idea
7.
by phtrivier 11d ago
So, it still begs the question... "How ?" Or, more precisely: "How the f... ?" Clearly this goes beyond "Grit" [1], here, right ? (Those people do not seem like they have to coerce themselves into focusing that
8.
by phtrivier 12d ago
It's the thing that baffles me the most with those people, the Knuths and Lamports and Carmarcks, and whatnot. It's not like they have light schedules - they do research, they have classes, they attendconference, and they have job
9.
by phtrivier 12d ago
Do you mean they created the tools to be unusable, so that they would get training contracts :D ?
10.
by phtrivier 12d ago
Did you mean EiffelStudio ? What was the painpoint at the time ? I've only played with it 20+ years ago (a colleague was one of the few practitioner) and I don't remember EiffelStudio being _that_ terrible (it has a class browser
11.
by phtrivier 14d ago
For pedantry, should we note that design by contract came all the way from Eiffel ? (But it's possible that even less people ever wrote Eiffel than D, so, who knows)
12.
by phtrivier 14d ago
Also, and sorry if it's been discussed to death (pointers welcome), but, what is the probability that the proof holds in lean becaude of... A bug in lean ?
13.
by phtrivier 17d ago
Seconding that. From the doc, maak is much more related to other general purpose tasks runners (a la "rake" for ruby) than as a replacement for the core usage of Makefile on a C / Fortran / whatever-project (as in "
14.
by phtrivier 17d ago
Yes, I suppose it's expected to accuse a newspaper of being not high minded enough, and use a childish level of tease. Anyway.... The investigative journalism is still there - they're usually on the same big international stories
15.
by phtrivier 17d ago
The front page of Le Monde tonight is about the PISA ranking, a profile of the Putin presidency, an interview about constitutional rights, and an article about Chinese red guards under communist china. Seriously, you call that "enterta
16.
by phtrivier 18d ago
I can't access the article, so I don't know which newspaper they were subscribed to. But, given the wording of "the leading national newspaper", I can assume it would be "Le Monde". The audience for the written
17.
by phtrivier 18d ago
The vibe in the conversation seems new to me. As if we're crossing a section in the "First they ignore you, then laugh at you, then hate you, etc..." Seems like they reached the laugh / hate border. Or am I the only one
18.
by phtrivier 18d ago
Was google already selling ads in 1999 ? Because before that, NO, they did not have a viable long term economic model.
19.
by phtrivier 18d ago
Sure, there is revenue, and market valuation. Is there _profits_ in frontier models ? What is the horizon for openai and anthropic to _make_ money ? Will they achieve that by charging more for frontier models, or investing slightly less in
20.
by phtrivier 18d ago
The whole "It is easier for a camel to go through the eye of a needle than for a rich man to enter the kingdom of God.” also hints at _something_. But, I guess some very religious people did not got all the subtleties of "Thou sha
21.
by phtrivier 20d ago
Yup, I did not mention the classmates who were already fluent in c++ at 15 and were not that kind of pretending "loops" were mathematical wonder :D
22.
by phtrivier 20d ago
Ooooh, the memories... Caml was how I was taught computer science in prépa and first few years of engineering school, a mere 25 years ago. (Ok, I had done bits of BASIC before, but I had time to recover.) To be honest, the learning path was
23.
by phtrivier 21d ago
Flamebait aside, has this been studied for real ? Curious how you would rate that...
24.
by phtrivier 22d ago
I suppose it's a testament to their success, but, I have a fairphone 3 from almost 6 years now, and I'm a bit annoyed that they're basically "sunsetting it" (no more software updates, no more spare parts.) My fairph
25.
by phtrivier 22d ago
People spent thousands of year justifying different standards of living on the ground of "having cleverly chosen their parents". And everyone _got along with it_. And in a sense, we're still doing just that (ask the other 2&#
26.
by phtrivier 22d ago
Compare that to Xerox, for example. Pretty early on, they had visions to replacing / enhancing largely "common" use cases (basically, everything that required printing a letter or sending an mail) [1] I don't know if, a
27.
by phtrivier 28d ago
"Monopoly on the lawfully usage of force" + "regular and peaceful change of government" can go a very long way against "corporations governing the world". I'm curious if we'll ever get a form of civil
28.
by phtrivier 29d ago
In this case, even the authors seems to agree that the finding is not "consensus-level" yet. That being said, consensus would not necessarily settle the thing. Even when the worldwide scientific community reaches a consensus and a
29.
by phtrivier 1mo ago
No idea about the products, or if it is "good news for founders, and bad for consumers" as is unfortunately sometimes the case. But thanks for wording the press release as "company X acquired company Y", and not some wea
30.
by phtrivier 1mo ago
It must be hard to discuss that in Italy, where millions of tourist (like me) queue to visit Pompei (or, better in my opinion, Herculanum), and then go back to their AirBnB in... Napoli, aka the backyard of an active volcano. As a friend sa

More ›