Pierre Thierry
@kephasp
Followers
261
Following
38K
Media
137
Statuses
6K
My two commandments: love and truth (because Jesus). He/him. Finds peace in Functional Programming. CTPO/Lead Dev. Agile & DevOps expert.
Strasbourg, France
Joined August 2010
RT @JustineTunney: SectorLISP now supports garbage collection and we reduced its size to 436 bytes. That means LISP has now outdistanced FO….
0
113
0
In a similar way, I see people expect things to crash and lose data and we should feel shame as a field for that. We have known for decades how to write software that won't crash and will rarely lose any valuable data.
@msimoni Related article:
0
0
0
There are a few problems where I think we have all the technical knowledge how to do orders of magnitude better but the economic incentives go in the opposite direction. This is definitely one, along with systems that are secure by default and things like easy version control.
UI is a completely unsolved problem. (Just helped somebody who's not a dyed-in-the-wool computer professional to resend some text and images he had sent as an email as a WhatsApp message.).
0
0
2
Attendez, c'est possible de remettre une dent arrachée dans son emplacement et que ça cicatrise ‽ Ou c'est juste un bon endroit où la conserver temporairement ?.
@FloDeygas t'as pas tenté de replanter la dent?.
1
0
0
RT @HadrienClouet: Hier, une équipe de l'@afpfr m'accompagnait pour visiter la maison d'arrêt de Seysses. Une des plus surpeuplées de #Fran….
0
1K
0
RT @ESYudkowsky: Old Soviet joke:. "Why was the flight delayed for an hour?". "The pilot saw a problem with one of the engines, but it's ok….
0
150
0
RT @Jonathan_Blow: Everyone already knows what I have to say about this tweet, so I will just say, let's check in 2 years from now and see….
0
38
0
RT @gregyoung: LOL :). There are only two hard problems in messaging systems. Exactly-once delivery.Guaranteed order of messages.Exactly-on….
0
13
0
RT @nicolasberrod: En résumé : la statistique d'environ 50% d'arrêts maladie injustifiés est bien réelle mais elle est basée sur un échanti….
leparisien.fr
Différents ministres veulent limiter la hausse du nombre d’arrêts de travail, et notamment ceux durant au moins 18 mois. Le principal syndic
0
17
0
I still believe that Event Sourcing should be default choice of any software project, and you should use a mutable store of state only after you found a really compelling reason to do so.
Events are the most accurate representation of state. Everything else is a lossy abstraction. LiveStore gets it right ⚡️
0
0
1
One key feature I see missing that doesn't need to be in the language but in the IDE (hopefully a standard compiler API like LSP) is syntax explanation. Also, remove ambiant authority (capability security) and implicit side-effects (so monads and/or algebraic effects).
Thought experiment: Most programming languages were designed in an era where mostly one programmer coded in isolation. If you were designing a language for modern collaborative programming/commenting/etc., what would you change? How would you *modify* existing languages?.
0
0
1
RT @KweenInYellow: Actor Mandy Patinkin makes an impassioned plea for Jewish people around the world to think about the consequences of wha….
0
1K
0
RT @GergelyOrosz: Hard to phrase it better. Simon has been a superb software engineer before LLMs (he created Django and many others.) He’….
0
73
0
RT @effectfully: It's worth studying PLT just to realize that you won't be able to reinvent state-of-the-art solutions on your own. There'….
0
8
0
This is another example why we really need capability-security by default in our operating systems. It is not acceptable that running one program could compromise your whole finances. We have had existing, high-performance OSes that make this attack impossible for 20 years now.
One minute I was prepping for a Zoom call. Ten minutes later, large part of my life savings were gone. It started with a message on Telegram from Alex Lin — someone I knew. He wanted to catch up. I shared my Calendly link. He booked a slot for the next day. A few minutes
0
1
7
RT @nicbarkeragain: In conclusion, I wouldn’t advise using an LLM to do anything that you can’t trivially verify yourself, and even in that….
0
4
0
