Ls01 Profile Banner
Laurent Profile
Laurent

@Ls01

Followers
3K
Following
7K
Statuses
58K

'patainformaticien. Contempteur du monde. Vos modus ponens sont mes ex falso quodlibet. Tout arrive par hasard et par nécessité, sauf dans certains cas.

Toulouse mostly, Paris un peu
Joined November 2008
Don't wanna be here? Send us removal request.
@Ls01
Laurent
8 years
Je vous démontrerai demain pourquoi Shakespeare a prédit Trump, bien avant les Simpsons... Bonne nuit !
8
2
10
@Ls01
Laurent
3 hours
Dans 3-2-1 la structure d’une base de données devient un sujet politique... (what a time to be alive)
@provisionalidea
James Rosen-Birch ⚖️🕊️
1 day
TIL Elon has never used SQL
Tweet media one
0
0
1
@Ls01
Laurent
2 days
@deadalnix céskidiz
0
0
0
@Ls01
Laurent
2 days
RT @jorgemanru: There is a table in Basemamp that has 9 billion rows, and it's pretty crucial to render several key screens. That's MySQL w…
0
89
0
@Ls01
Laurent
2 days
L’année dernière, j’avais dû dire adieu à une idée qu’on m’avait ressassée pendant toute mon existence : la stabilité absolue de la Vème République. Cette année, c’est l’idée que la dictature est impossible aux US grâce au Balance of Power qui va probablement partir à la benne.
1
1
0
@Ls01
Laurent
6 days
This place is not dead yet... (X/Twitter, terre de contrastes...)
@Plinz
Joscha Bach
7 days
Because both topics touch the foundations of the respective field, you need a complete first principles approach: instead of starting with a common sense idea that you partially deepen, you will have to start with an empty table on which you build the core ideas of representation in mathematics and physics up from scratch. For Gödel, it's best to take a course in formal logic, so you can eventually work through the proof step by step. Important background is Hilbert's program, general theories about representation and the debate of constructive vs. nonconstructive mathematics. Understanding the proof requires definition of predicate calculus, partially recursive functions, creation of integer arithmetic using logical languages, Church Turing thesis, approaches for formal definitions of truth, and the particular motivation and question that Gödel tries to answer. There are philosophical texts (eg by Lucas) and well written popsci summaries in Quanta magazine, but because they are not completely formal, they invariably miss the point. Penrose gets it wrong, and Hofstadter's famous book gets it subtly backwards, too. Not being a physicist disqualifies me from giving advice on understanding quantum mechanics. That said, you will need a solid grasp of linear algebra, Hermitian operators, Dirac notation, partial differential equations, complex analysis, Lagrangian and Hamiltonian, Maxwell's equations, group theory, basics of quantum field theory, and quantum information theory. You need to be able to derive the Schrödinger equation and solve it for simple potentials and understand the measurement problem. I would estimate the prerequisites for Gödel's proof to take 2-3 years, for quantum mechanics 5 years or so. It is certainly possible to explain the essence of an understanding of the incompleteness theorem or the Copenhagen interpretation in a few pages, but that means that you are being told a story that may give you a sound intuition, but which you cannot verify, criticize or compare to different understandings.
0
0
0
@Ls01
Laurent
9 days
@olaf_k Ses truffes ont meilleur goût, elles maîtrisent l’imparfait du subjonctif - à défaut du second degré
0
0
1
@Ls01
Laurent
9 days
Trump tweeted FAFO, Karma took a screenshot
0
0
0
@Ls01
Laurent
9 days
RT @PR0GRAMMERHUM0R: theyCallMePsychopath
Tweet media one
0
83
0
@Ls01
Laurent
9 days
That’s what happen when a Palpatinish version of Jar Jar Binks get elected
0
0
1
@Ls01
Laurent
9 days
Tweet media one
0
193
0
@Ls01
Laurent
9 days
Tweet media one
0
2K
0
@Ls01
Laurent
9 days
@deadalnix Ton aspirateur n'est pas encore aussi intelligent que toi - au sens que l'on donne traditionnellement à ce concept. (mais il est probablement plus modeste🙂)
0
0
1
@Ls01
Laurent
10 days
RT @reach_vb: bro why is everyone making LLMs bounce balls in random fkn shapes!?
0
39
0
@Ls01
Laurent
10 days
Le petit monde de la cybersécurité est shocked, shocked en lisant ça
@princertitude
Princertitude
10 days
Je rajouterai également que je perçois une tendance dans ces nouvelles activités qui fait que les gens viennent nous voir pour obtenir un tampon d'un organisme reconnu plutôt que de réelles compétences. Convaincre les financiers, la réalité technique, on verra après quoi.
0
0
1
@Ls01
Laurent
10 days
@deadalnix Ok, o3 aura fini avant qu'ils lisent la doc de ta lib...
1
0
0
@Ls01
Laurent
10 days
@deadalnix Je ne suis pas sûr que les gens qui mettent au point des algos de cryptanalyse différentielle ou qui optimisent des méthodes de compression soient spontanément capables de faire des zoulis dessins qui tournent en Python... (But they are still dev enough for me, btw)
1
0
0
@Ls01
Laurent
10 days
@deadalnix Heureusement que je ne suis plus dev... - Mais peut-être que je ne l'étais pas du tout d'ailleurs ;)
1
0
1