Compiler bugs are surprisingly common - most people simply never notice them. Whether these bugs are major or not is a different topic. If you have a very large scale test suite for your application, a large codebase,…
Yes. Most people don’t actually understand what a program proof is - the answer is usually ‘I have very good tests’. Now, go write the code for an artificial heart , and sleep at night thanks to strong testing !
Physics is an endless source of frustration to me. It feels like a mix of random tricks, most of which I don’t understand. I find math and compsci reasonably understandable, can read research papers in both fields ( and…
Formal methods allow you to prove that it works for all inputs, and not just for the small subset that will be sampled by property testing It’s a proof, not a successful experiment.
I have found that asking an llm for an Eli 5 ( along with the important follow up questions ) usually works out
Yeah this is willy wonka
Well, I’ve been writing code for decades so I know because there was a time ( when I was younger ) where I did just this. I also know that these days, for all kinds of reasons, I do not have the time to write the tools…
Agreed I’ve already started writing software for myself using Claude. I would never have done this if it weren’t for AI - I simply don’t have the time otherwise . I now have tailor made apps with all kinds of bells and…
I didn’t find that many - you can find graded readers, but very few ‘graded novels’ ( as in a full novel where chapters are progressively harder, not multiple independent tiny stories ) if I may say so
For those interested in learning old English, I’ve been going through Oswald Bera by Colin Gorrie - https://colingorrie.com/books/osweald-bera/ Basically it’s a full blown story/graded reader with no modern English…
À lot
It is unfortunately very heavy (2.4kg vs 1.5 for my mb air 15) I take note though that the 13 inches framework is bigger than it seems because of the aspect ratio
This looks suspiciously like something I could buy : a lightweight well made Linux laptop, with long battery life. I currently use a MacBook and won’t get near a windows machine. Two questions 1/ will there be a 15…
I understand his frustration : I have a similar issue with video games - Xbox gamepass games sometimes leave the service. So I built an app that takes all my games across the various gaming services ( steam etc )…
You do but you then make a career out of it : you become the fixer ( and it can be a very good career , either technical or managerial)
I tried subscribing to pcgamer ( as in, I literally paid for it ) two years ago but this didn’t seem to change structurally the amount of ads i was getting. I also tried to contact them directly but couldn’t find a…
I work for a mega corp, and our global overlord( who is ex dev) has tried Claude code at home, and figured out that generating large amounts of code comes with its own challenges - they explicitly don’t want this to…
This is one of the books I recommend to my coworkers who are interested in operating systems - it teaches a surprising amount of things by telling you what an OS will do for you and therefore why you need it, instead of…
If you don’t mind developing, what made you switch stance ? many people never change their minds even when faced with overwhelming evidence , and based on your prior level of support, I’m quite curious about the actual…
‘In other words: AI is making it possible to detect severe security vulnerabilities at highly accelerated speeds.´ Isn’t it rather : we now have a new family of security flaws detector, which find other issues on top of…
Same thing here , but triggered by tiredness/stress. If I sleep a lot and well, then it somehow fades until I’m tired again. I assume my brain is somehow able to filter it out, unless it’s too tired/busy.
:-) never forget Occam’s razor ! No you were not abrasive at all - I’ve learned to assume good faith in forum conversations. In retrospect I should have started by giving the context ( march of 9s is a good description)…
We’re in agreement. I think we diverge on ‘making it go away in my book’. When you’re the one having to debug all these bizarre things ( there were real money numbers involved so these things mattered ), over millions…
Well my admins eventually believed me , so I’m fairly comfortable with what I said. We also had a few thousands of physical servers with about of terabyte of ram each. You are right : we did see repaired errors, but we…
I fully agree with you ! Neither soft nor hard memory errors, nothing… but but flips ,and reproducible at that. We scanned all our machines following this ( a few thousand servers ) and found out that ram issues were…
Compiler bugs are surprisingly common - most people simply never notice them. Whether these bugs are major or not is a different topic. If you have a very large scale test suite for your application, a large codebase,…
Yes. Most people don’t actually understand what a program proof is - the answer is usually ‘I have very good tests’. Now, go write the code for an artificial heart , and sleep at night thanks to strong testing !
Physics is an endless source of frustration to me. It feels like a mix of random tricks, most of which I don’t understand. I find math and compsci reasonably understandable, can read research papers in both fields ( and…
Formal methods allow you to prove that it works for all inputs, and not just for the small subset that will be sampled by property testing It’s a proof, not a successful experiment.
I have found that asking an llm for an Eli 5 ( along with the important follow up questions ) usually works out
Yeah this is willy wonka
Well, I’ve been writing code for decades so I know because there was a time ( when I was younger ) where I did just this. I also know that these days, for all kinds of reasons, I do not have the time to write the tools…
Agreed I’ve already started writing software for myself using Claude. I would never have done this if it weren’t for AI - I simply don’t have the time otherwise . I now have tailor made apps with all kinds of bells and…
I didn’t find that many - you can find graded readers, but very few ‘graded novels’ ( as in a full novel where chapters are progressively harder, not multiple independent tiny stories ) if I may say so
For those interested in learning old English, I’ve been going through Oswald Bera by Colin Gorrie - https://colingorrie.com/books/osweald-bera/ Basically it’s a full blown story/graded reader with no modern English…
À lot
It is unfortunately very heavy (2.4kg vs 1.5 for my mb air 15) I take note though that the 13 inches framework is bigger than it seems because of the aspect ratio
This looks suspiciously like something I could buy : a lightweight well made Linux laptop, with long battery life. I currently use a MacBook and won’t get near a windows machine. Two questions 1/ will there be a 15…
I understand his frustration : I have a similar issue with video games - Xbox gamepass games sometimes leave the service. So I built an app that takes all my games across the various gaming services ( steam etc )…
You do but you then make a career out of it : you become the fixer ( and it can be a very good career , either technical or managerial)
I tried subscribing to pcgamer ( as in, I literally paid for it ) two years ago but this didn’t seem to change structurally the amount of ads i was getting. I also tried to contact them directly but couldn’t find a…
I work for a mega corp, and our global overlord( who is ex dev) has tried Claude code at home, and figured out that generating large amounts of code comes with its own challenges - they explicitly don’t want this to…
This is one of the books I recommend to my coworkers who are interested in operating systems - it teaches a surprising amount of things by telling you what an OS will do for you and therefore why you need it, instead of…
If you don’t mind developing, what made you switch stance ? many people never change their minds even when faced with overwhelming evidence , and based on your prior level of support, I’m quite curious about the actual…
‘In other words: AI is making it possible to detect severe security vulnerabilities at highly accelerated speeds.´ Isn’t it rather : we now have a new family of security flaws detector, which find other issues on top of…
Same thing here , but triggered by tiredness/stress. If I sleep a lot and well, then it somehow fades until I’m tired again. I assume my brain is somehow able to filter it out, unless it’s too tired/busy.
:-) never forget Occam’s razor ! No you were not abrasive at all - I’ve learned to assume good faith in forum conversations. In retrospect I should have started by giving the context ( march of 9s is a good description)…
We’re in agreement. I think we diverge on ‘making it go away in my book’. When you’re the one having to debug all these bizarre things ( there were real money numbers involved so these things mattered ), over millions…
Well my admins eventually believed me , so I’m fairly comfortable with what I said. We also had a few thousands of physical servers with about of terabyte of ram each. You are right : we did see repaired errors, but we…
I fully agree with you ! Neither soft nor hard memory errors, nothing… but but flips ,and reproducible at that. We scanned all our machines following this ( a few thousand servers ) and found out that ram issues were…