Christian Jauvin 4 weeks ago

Voting as a way to surface the hidden reasons

Imagine a situation where the majority holds a kind of quiet veto over change. Not because the status quo truly serves them, but because, taken one person at a time, it feels easier to keep things as they are: less awkwardness, less risk, less responsibility. So an arrangement persists that benefits no one in the aggregate, yet survives because it is individually convenient to uphold. Now picture someone who wants to change this, but who feels—socially, institutionally, psychologically—almost powerless. One natural impulse is to appeal to democracy: hold a vote. Let the majority decide.

Business

Christian Jauvin 1 months ago

Insurmountable Hans

The ARC benchmark was designed by François Chollet to serve one goal : be sufficiently difficult, demanding so that it cannot be “hacked” by some “cheating” AI techniques, LLM or whatever. But it must do so in a rigorous, systematic and simple to define way, it cannot be vague or ambiguous. It must be (relatively) easy for a human, but hard for a program. And when I first looked at it, I admired its simplicity and purity: the problems are simple but deep, and it’s clear that for many of them, you need to grasp something that goes beyond mere pattern recognition or superficial pattern matching. They seem to require some seriously deeper thinking. And if, like me, you thought for a minute about how you’d try to tackle them, in a programmatic way (ML or otherwise), it was quite easy to become convinced, that this is quite a good benchmark. And at first, what happened, on Kaggle, for instance, was exactly that: nobody could get even remotely decent results, the problem set really felt like a though nut to crack. From there, the temptation was great, to suggest the idea that whenever ARC would be cracked, AGI would have arrived!

AI Machine Learning

Christian Jauvin 1 months ago

Metaphysical Boldness

Digital physics is the body of mathematical and philosophical work treating the universe and the way it works as a giant digital computer. This is often associated with cellular automata, and names like Konrad Zuse, John Von Neumann, Stephen Wolfram, etc. What I find fascinating about this field is that the models it suggests are making very deep metaphysical claims: if they are true, it means that the underlying structure of the world is much different than we think, and radically simpler in a sense. Take the lattice gas automaton for instance. A version of it is an hexagonal cellular automata with very simple collision rules, not more complicated than the famous Rule 30 or 110 , for 1D cellular automata. The impressive thing about it is that a simulation running this rule with many particles can be shown to approximate the Navier-Stokes equations , which are the classical complicated mathematics to describe the dynamics of fluids. Following Wolfram, I find it very appealing to consider the idea that the world is not somehow running “hidden mathematics”, somewhere and somehow, to solve some complicated equations in a seemingly magical way, but rather, that things are radically simpler, in that the world is simply implementing a set of trivially simple rules. The world is not concerned with, or made with mathematics, mathematics just emerges, with inherent and irreducible complexity, from extreme simplicity.

Programming Data Science

Christian Jauvin 1 months ago

Manifesto: AI (as a term and field) should subsume CS

In French the term “informatique” feels slightly better, as a label to describe the field, than “Computer Science” feels in English. But this is a rare occurrence for French, because most of the other terms, like “technologie de l’information”, and “science des données”, feel awkward and far from their “real” cultural counterpart, the thing in itself that we do, when we do it.

AI Science Culture

Christian Jauvin 1 months ago

We didn't get the AI failure modes that philosophy anticipated

The original idea of AI, that we got mostly through science-fiction, and also a little from the philosophy of mind and logic, imagined an entity that would implement idealized and mechanical notions of thoughts, reasoning and logic. Such an entity would of course know everything there is to know about such topics, and its behavior would thus be rooted in them. Although this would mean that the entity would generally behave in impressive and powerful ways, it was also implicitly understood that sometimes this “perfection” would lead to paradoxical behaviors and “errors”: the robot stuck in a circle in the Asimov story is the quintessential example.

Science AI

Christian Jauvin 2 months ago

Render a markdown table to docx with pandoc

Suppose you’re like me, in the middle of editing a Word document, and you realize that you’re fed up with Word. So you tell it to a colleague, who happily tells you: use pandoc , it can render docx files! So here you go, and you first try to convert this simple markdown: Then you run this command, with a lot of hope:

Web Development Tutorial Programming

Christian Jauvin 2 months ago

Proof of Prompt

When I’m doing freelance software development projects and I’m asked how much time things will take, it’s always very hard to answer. It’s a very high dimensional problem, and you have many degrees of freedom: how much should you charge, should you do it per hour or not, if you use AI how should it be factored in the efforts and time you report, what is the separation between the stuff that you charge and the stuff for which you don’t charge, does asking questions to your client to better understand the problem, on Slack in the weekend, count as time or not? Faced with these doubts, I guess that most people are quite happy to fudge a rough number, do a couple of rounds of negotiation about it, reach an agreement, and call it a day. They implicitly accept that the outcome of this process can go both ways: either you estimated too low, and this way you will lose something, or the contrary. And you hope that in the grand scheme of things, things should average out in a reasonable way: either your loss, or their loss, who cares in the end? But is is really working this way?

Career Business

Christian Jauvin 3 months ago

Ignore Your Check Engine Light at Your Own Peril

Currently in my car I have the “check engine” light being on, but it’s ok, because I know what is the problem, my mechanic told me that it’s , and that even though it’s not ideal, it can wait while he finds the part to repair it (apparently it’s not so easy to find). There is something I don’t like about this though: if there is a NEW problem appearing, I won’t know about it, because this check engine light has only one state, and now it’s being used.

Electronics Hardware

Christian Jauvin 3 months ago

Learning Persian with Anki, ChatGPT and YouTube

I’ve been learning Persian (Farsi) for a while now, and I’m using a bunch of tools for it. The central one is certainly Anki , a spaced repetition app to train memory. I’m creating my own never-ending deck of cards, with different types of content, for different purposes. The most frequent type of cards is grammar focused phrases (very rarely single words) coming sometimes from my own daily life, but also very often directly from videos of the Persian Learning YouTube channel, created by Majid, a very talented and nice Persian teacher, in my opinion.

Tutorial

Christian Jauvin 4 months ago

An Excel-like editable data grid widget with Streamlit

I recently spent a lot of time trying to come up with an interactive data grid widget in Streamlit . It needed to be a bit like Excel: the value you enter in a cell should trigger the recomputation of the value in another cell. At first I assumed it would be relatively easy, but given the powerful state management model at the heart of Streamlit, I found out that it wasn’t. State management for UI programming remains a hard problem, no matter what is the environment. The most difficult aspect of React programming, for instance, is certainly state management. The user-driven asynchronous nature of a UI makes it an inherently difficult problem.

Python JavaScript

Christian Jauvin 7 months ago

What if AI Had Come First?

Imagine an alternate history in which AI, in the sense of our current LLMs, had come first. This possibly means that things would have looked much more like they did in the 2001: A Space Odyssey movie: computers having a user interface so powerful that you don’t really need anything else (apart from a set of fancy looking dashboards maybe). But this is not what we got. First we got something that looked quite a bit like an idealized “command box” (not vocal though, but textual), with which you could give instructions to the computer, almost as if you were talking to it. But not quite. These instructions had to be expressed in a “language” that the computer could understand, and of course it was far from human natural language. Very close to that command box was the notion of a written program that you could give to the machine, and which would be executed as a kind of chain of commands, in long form, with more elaborate logic and syntax.

AI

Christian Jauvin 7 months ago

AI in the Enterprise (what do you really think will happen?)

There’s a cottage industry of AI gurus who extol the virtues of being open about the advent of AI in the enterprise. Don’t be shy about it, AI is powerful enough as it is, and it can already help in the current state of its evolution (mainly, powerful chatbots that have access to certain “tools”, and vendor APIs with which to build some more customized applications, backed by cloud LLMs).

AI Business

Christian Jauvin 8 months ago

On Being Obsessive or Efficient

I was recently thinking about a dimension of intelligence and the mind that might have played a role in my school results of the past, and also my taste for computer programming. When you are taking an exam, careful management of your time might be a very good skill to possess, in the sense that if you are stuck on a given hard question, it might be preferable to rapidly switch on another one, with the goal of maximizing your overall exam grade, rather than completeness. But for some people, this, in itself, is difficult.

Career Programming

Christian Jauvin 8 months ago

Conveying Math Intuition Is Hard

3blue1brown recently felt the need to add a supplementary video to its Grover’s algorithm introduction . Apparently, a lot of people have been confused by what I believe is basically just the logical structure of the concept, or why this algorithm is interesting and surprising in the first place. For someone who only knows about classical computing and a little about algorithm complexity, the simplest way to get an intuition about Grover’s algorithm might be to first consider this:

AI

Christian Jauvin 2 years ago

Extremely Quick Pacman-based OOP Primer

I have a friend who wanted to have a quick idea about whether he should use classes and objects for his project. Of course I told him that it depends.. on many aspects. He says that he doesn’t really like tutorials, so here I want to propose something more compact: the skeleton of a Pacman game, just the most basic concepts, without any bells and whistles (so of course not playable, although almost runnable).

Programming Tutorial Gaming

Christian Jauvin 3 years ago

Il y a au moins quatre types de programme

Programming