phtrivier

6 ms·

1.
by phtrivier 4d 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)
2.
by phtrivier 5d 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 ?
3.
by phtrivier 7d 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 "
4.
by phtrivier 8d 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
5.
by phtrivier 8d 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
6.
by phtrivier 8d 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
7.
by phtrivier 8d 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
8.
by phtrivier 8d ago
Was google already selling ads in 1999 ? Because before that, NO, they did not have a viable long term economic model.
9.
by phtrivier 8d 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
10.
by phtrivier 9d 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
11.
by phtrivier 10d 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
12.
by phtrivier 10d 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
13.
by phtrivier 11d ago
Flamebait aside, has this been studied for real ? Curious how you would rate that...
14.
by phtrivier 12d 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
15.
by phtrivier 12d 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&#
16.
by phtrivier 12d 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
17.
by phtrivier 18d 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
18.
by phtrivier 19d 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
19.
by phtrivier 20d 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
20.
by phtrivier 20d 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
21.
by phtrivier 21d ago
Me, discovering only now that Hugging Face was founded by French people. We're definitely better at maths than at promotion.
22.
by phtrivier 21d ago
I suspect the parent commenter agree with you : broadband access DID cost a lot of money - and in a sense, the project was rushed, and an unexpected demonstration that public / private partnerships with the wrong incentive structure ca
23.
by phtrivier 21d ago
"Baby Boom + Life Expectancy..." I dread at the idea that some startup is probably in stealth mode, ready to "disrupt funerals" by the end of the year. (Also, I dread the fact that I know a few boomers that I would actua
24.
by phtrivier 22d ago
Yeah, but at least I could "get" the Hogan discussion on HN, because of the Peter Thiel connection. But I also understand how the comment might have rubbed many people the wrong way, given how she seems to be one of the last few &
25.
by phtrivier 22d ago
Ok, I learned something. I mean, her name ringed a bell, but it does not seem like her popularity crossed the Atlantic (not as much as other artist, I mean.) Again, I have nothing against her, but I was surprised.
26.
by phtrivier 22d ago
I must be missing some context : why is this news considered worthy of HN ? Is there an inside joke with dolly parton and tech ? (The loss is sad, don't get me wrong, but it's the second submission I see..)
27.
by phtrivier 25d ago
And now the other aspect of the trade off is token budget allocation. The author seems to be in a situation where you can burn as many token as you want. I don't know if that's a general situation. (Even if you don't care abo
28.
by phtrivier 1mo ago
It's not exactly done in a pinch, but yeah, I guess someone must be working on disrupting CIs by the audacious value proposition of "we'll work when you need to".
29.
by phtrivier 1mo ago
They also sell the machinery to produce the slop (through OpenAI at least). If they make it harder to push slop on github, people might treat it as an incentive to generate less slop. Less tokens sold. Bad. Very bad. The github paying custo
30.
by phtrivier 1mo ago
I understand the need to level-head the discussion and calming everyone. However, your "(you don't)" comment is not going to calm down all the people, who, you know, DO have a hotfix to push now, and DO have an angry customer

More ›