Bertrand Meyer
@Bertrand_Meyer
Followers
4K
Following
976
Media
74
Statuses
811
Software engineer (theory and practice). Author, consultant, professor, project manager.
Joined April 2009
One month to submission deadline to VERIFAI: the Interplay between AI & Verification (Workshop, March 2026). How can we combine the creativity of AI and the rigor demanded by software engineering? You have ideas, contribute them. Full paper or just 2- to 5-page extended abstract.
1
1
0
Here is a poll. Consider the two functions f, which is identity g, which is square on the domain {0, 1}. Do you consider them to be:
0
0
0
Starting next week I will publish a weekly newsletter on software engineering. To subscribe it suffices to go to my blog page https://t.co/fccxKNz251 and fill in your email address in the popup. The blog covers a variety of topics but the newsletter is only about software.
bertrandmeyer.com
Software engineering, programming methodology, languages, verification, general technology, publication culture, and more
0
2
3
A revolutionary approach to university teaching -
bertrandmeyer.com
We are all familiar with the classical mode of teaching. The instructor and other attendees, each sitting alone in a geographical location as far away as possible from all the others, look at shared...
1
1
2
Using an LLM to find information is fine. Using an LLM to check the accuracy of what you wrote is fine. Otherwise -- thanks for your help but I write my own texts.
bertrandmeyer.com
Here is an extract from of an exchange between ChatGPT and me. Previous elements: I am writing a text on a topic that I know well but not to the point of considering myself an expert. Along the way,...
0
1
3
Perceptive, carefully argued essay by Jonathan Ostroff (York University, Canada) on "LLMs: the illusion of thinking".
0
0
5
...Concurrency & Computation: Practice & Experience. Such practices are strange, and disrespectful of busy people who may already have spent time on the review. The peer-review system is fragile & under attack; if publishers alienate reviewers, there won't be any good ones left.
0
0
1
Second time in a few months: I am asked to do a review, accept, start doing it, and then am told (in this case almost two weeks before the deadline, only a few days after accepting) that my review is "no longer needed". The publication in this case is a Wiley journal: ...
1
0
0
The question is NOT to give us your own value of the probability, based on some other reasoning. That would be irrelevant. The question is to consider the ABOVE REASONING and either tell us you agree or explain why it is (in your view) incorrect.
2
0
0
for which the formula is n * (n + 1) / 2, meaning (since n = 6) 21 possibilities. Out of these, 6 have the desired property, so the answer is 6 / 21 (or 2/7 if you prefer). True or false? But read the final note. (3 of 4.)
1
0
0
The issue is to compute the probability that if we roll two fair dice we will get at least one "5". The proposed reasoning is that we are looking at the possible combinations of two elements out of six (with possible repetition) (2 of 4),
1
0
0
A little quiz, drawn from a remark I found in Henri Poincaré's "La Science et l'Hypothèse" (Science and Hypothesis), from 1902. The question is: consider the following reasoning. Is it correct or not? Justify your answer. (1 of 4)
1
1
1
Exponentially bad phrasing - Pet peeve: everything is exponentially higher.
bertrandmeyer.com
The news is so bad right now everywhere that it is natural to take refuge in discussing matters of (bad) style. I have things to say about the real issues too but not this time. I am following in the...
0
0
2
"Tu ne dois pas avoir peur. Cette haine, cette noirceur, c'est vrai, est la même depuis des millénaires. On la connaît, on croit parfois qu'elle est repartie. Mais elle est là, toujours là. Sauf que tu ne devrais pas avoir à y faire face à ton âge en France en 2025." @s_sebbane
14
71
196
An Analysis of the Impact of Gold Open Access Publications in Computer Science
0
0
1
Bookstand in the center of Belgrade, next to Republic Place, posted now but photographed in February 2024. Along with books on Serbia and mysticism, the classics of antisemitic literature: Mein Kampf, Protocols of the Elders of Zion. Also Koestler's "The thirteenth tribe".
0
2
5