Je viens de voir les deux volets de "La Bataille de Gaulle" d'Antonin Baudry au cinéma.
Excellents, les deux.
Le premier ("L'âge de fer") pose le cadre : la France s'effondre, un général que personne ne connaît refuse de capituler et file à Londres.
Mais c'est le second volet ("J'écris ton nom") qui m'a vraiment frappé, parce qu'il met en lumière un aspect de la Seconde Guerre mondiale que très peu de gens connaissent.
On y découvre le plan AMGOT (Allied Military Government of Occupied Territories).
Les Américains prévoyaient d'administrer la France libérée comme un territoire occupé, avec 1 500 officiers anglo-américains formés en vitesse aux US pour prendre en main l'administration civile et les tribunaux.
Roosevelt prévoyait même de créer un nouvel État (Wallonia) à partir des territoires de l'Alsace-Lorraine, d'une partie du Nord de la France, de la Belgique et du Luxembourg.
Et le plus sidérant : entre février et mai 1944, Washington avait fait imprimer toute une série de billets libellés en francs, de 2 à 5 000 francs, par le Bureau of Engraving and Printing, l'organisme fédéral qui fabrique les dollars.
Même encre, même papier, même format. Sur ces billets, pas de mention "République française", juste le mot "France", sans référence aucune à un institut d'émission français.
Des dollars déguisés en francs, en somme.
Ils ont débarqué dans les poches des soldats le 6 juin 1944.
La scène où ce projet apparaît à l'écran a déclenché pas mal d'exclamations dans la salle où j'étais.
Normal : presque personne en France ne connaît cet épisode et on préfère probablement garder la belle histoire des alliés libérateurs.
Car la réalité qu'il révèle est assez gênante : au moment précis où elle retrouvait sa liberté, la France a failli perdre sa souveraineté monétaire.
De Gaulle qualifiera ces billets de "fausse monnaie" et en interdira la circulation dès le 27 juin 1944.
Roosevelt, qui voyait en lui un "fanatique", finira par lâcher l'AMGOT mi-juillet et par reconnaître le gouvernement provisoire.
Ces deux films rappellent à quel point la conviction, l'obstination de quelques hommes, de Gaulle en tête mais pas seulement, ont sauvé la France d'un destin que personne n'avait vu venir après la Libération.
Un diptyque à voir absolument !
I found the best math formulas for trading on Predict Market
In the last 24 hours i reviewed more than 530 trading strategies/formulas and picked only 49 of them
all these formulas are relevant right now, some more some less. Divide them into 8 sections
Currently actively studying
> Edge & Position Sizing
>Arbitrage Detection
> Arbitrage Execution Frank–Wolfe
if you want i can break down each of them and explain how to use them in trading
Anthropic vient de tuer les CGP au Barrett .50 silencieux
Comment ?
En permettant en quelques clics grâce à un plugin de Claude d’avoir :
>Un suivi de votre portefeuille en 2 clicks
>Des conseils en investissement en temps réel sur les actifs et les secteurs que vous suivez
>Des reviews de portfolio digne de Hedgefund
>Les news macro en rapport avec vos assets
>Des optimisation de frais sur vos transactions (Augmenter/rédurie le levier, utiliser un autre produit financier etc..
>Connecter des substack ou X pour avoir les narratifs en tendance
> Tout ça pour 20$ par mois
Imaginez avoir un assistant personnel qui prend des positions des meilleurs investisseurs macro sur Substack, X
Ce qui va être game changer c’est que ça va retirer la friction des frais liés aux CGP & co
Je vois pas un monde ou ils survivent à ça, ni les app de suivi de portefeuille
i built an entire x86 CPU emulator in CSS (no javascript)
you can write programs in C, compile them to x86 machine code with GCC, and run them inside CSS
For 38 years, computer scientists believed Dijkstra's algorithm was optimal for sparse graphs.
The logic seemed airtight:
Dijkstra sorts vertices by distance.
Sorting has a lower bound of O(n log n).
Therefore shortest paths can't be faster.
5 researchers proved the assumption wrong.
The trick: combine Dijkstra's priority queue with Bellman-Ford's dynamic programming. Divide and conquer on vertex sets. Shrink the frontier.
Result: O(m log^(2/3) n)
First improvement for directed graphs since Fibonacci heap in 1987.
Tsinghua. Stanford. Max Planck. 17 pages.
NASA writes mission-critical flight software in C.
And the rules are absolutely INSANE.
> No recursion. Ever.
> Every loop must have a provable upper bound.
> No dynamic memory allocation after initialization.
> Max ~60 lines per function.
> Minimum 2 assertions per function.
> Every return value must be checked.
> Zero compiler warnings allowed.
> Daily static analysis. Zero warnings there too.
> No function pointers.
> Restricted pointer dereferencing.
This is how they write code at NASA / JPL for mission-critical systems.
Le site https://t.co/6FtH91S43w est l'objet d'une attaque coordonnée par la presse, qui pousse le ministre à l'action en reprenant toutes le même titre racoleur et trompeur.
Si vous voulez combattre la censure du système, c'est le moment d'apporter votre soutien !
SQLite has about 155,800 lines of code, and its test suite has roughly 92 million lines. That is ~590x more test code than actual code 🤯
This is the level of testing you need for a real production database. Here are some types of tests they run.
Out-of-memory tests - SQLite cannot just crash when memory runs out. On embedded devices, OOM errors are common. They simulate malloc failures at every possible point and verify that the database handles them gracefully.
I/O error tests - Disks fail. Networks drop. Permissions change mid-operation. SQLite inserts a custom file system layer that can simulate failures after N operations, then verifies that no corruption occurs.
Crash tests - What happens if power cuts out mid-write? They simulate crashes at random points during writes, corrupt the unsynchronized data to mimic real filesystem behavior, then verify the database either completed the transaction or rolled it back cleanly. No corruption allowed.
Fuzz testing - They throw malformed SQL, corrupted database files, and random garbage at SQLite. The dbsqlfuzz tool runs about 500 million test mutations every day across 16 cores.
100% branch coverage - Every single branch instruction in SQLite's core is tested in both directions. Not just 'did this line run', but 'did this condition evaluate to both true AND false'.
Databases are really unforgiving :)
By the way, if you want to go deeper, I recommend reading the official SQLite documentation on their testing strategy. The doc is pretty practical and deep.
Have linked it below.
Memory-mapped I/O is fast on Linux, but it has a scary secret. 😱
When you write to a memory-mapped file (mmap), you aren't writing to the disk. You're writing to RAM (the Page Cache).
If the power fails, that data is gone forever.
Enter msync (syscall #26 on x86_64). It's the "Save" button for your memory maps. 🧵👇
story behind "why netflix built https://t.co/YDCurkt2BM" is brilliant.
so, netflix had a massive fight with ISPs around 2014-2016. ISPs were slowing down netflix on purpose. they wanted more money from netflix
customers got bad streaming. but ISPs just blamed netflix.
netflix had to pay comcast, verizon, at&t and time warner for direct connections to their networks.
but in 2016, they launched fast dot com, clever part - It's not testing your general internet speed. It's testing your speed to netflix's servers specifically. so when someone complained about buffering, netflix could say "run fast dot com." If it's slow, the ISP is the bottleneck.
suddenly millions of people had a tool to prove their ISP was the problem
ISPs couldn't hide anymore.
netflix positioned themselves as the transparent good guys fighting for customers while ISPs looked like greedy monopolies
they solved a pr problem and a customer service problem with one simple website
I guess, that's how you win a corporate war