Readit News logoReadit News
RA_Fisher commented on AI will make formal verification go mainstream   martin.kleppmann.com/2025... · Posted by u/evankhoury
oxag3n · 4 days ago
Where they'd get training data?

Source code generation is possible due to large training set and effort put into reinforcing better outcomes.

I suspect debugging is not that straightforward to LLM'ize.

It's a non-sequential interaction - when something happens, it's not necessarily caused the problem, timeline may be shuffled. LLM would need tons of examples where something happens in debugger or logs and associate it with another abstraction.

I was debugging something in gdb recently and it was a pretty challenging bug. Out of interest I tried chatgpt, and it was hopeless - try this, add this print etc. That's not how you debug multi-threaded and async code. When I found the root cause, I was analyzing how I did it and where did I learn that specific combination of techniques, each individually well documented, but never in combination - it was learning from other people and my own experience.

RA_Fisher · 4 days ago
LLMs are okay at bisecting programs and identifying bugs in my experience. Sometimes they require guidance but often enough I can describe the symptom and they identify the code causing the issue (and recommend a fix). They’re fairly methodical, and often ask me to run diagnostic code (or do it themselves).
RA_Fisher commented on Show HN: I made a spreadsheet where formulas also update backwards   victorpoughon.github.io/b... · Posted by u/fouronnes3
RA_Fisher · 7 days ago
Thanks for sharing. It’s an alluring idea. I think you’d find the concept of statistical identifiability interesting.
RA_Fisher commented on Cloudflare outage on December 5, 2025   blog.cloudflare.com/5-dec... · Posted by u/meetpateltech
RA_Fisher · 15 days ago
As a reliability statistician (and web user!), I'd love to see Cloudflare investing in reliability statistics. :)
RA_Fisher commented on Transparent leadership beats servant leadership   entropicthoughts.com/tran... · Posted by u/ibobev
RA_Fisher · 16 days ago
Excellent analysis. It’s like: servant of whom (themselves)?
RA_Fisher commented on Credit report shows Meta keeping $27B off its books through advanced geometry   stohl.substack.com/p/excl... · Posted by u/FreeQueso
RA_Fisher · 22 days ago
They can get a better interest rate by using a specialty data center lender.
RA_Fisher commented on AGI is not possible even in 10 years   medium.com/@anwarzaid76/a... · Posted by u/MindBreaker2605
gambiting · 23 days ago
>>Seems like lot of people with high ego are not ready to accept the truth that a human has way less knowledge than a world encyclopedia.

Well, thank you for editing your own comment and adding that last bit, because it really is the crux of the issue and the reason why OP is being downvoted.

Having all of the worlds knowledge is not the same as being smart.

RA_Fisher · 22 days ago
Smart is being able to produce knowledge quickly. I’m not sure how it could be denied that AIs are capable of producing knowledge quickly (obviously extremely quickly).
RA_Fisher commented on AGI is not possible even in 10 years   medium.com/@anwarzaid76/a... · Posted by u/MindBreaker2605
rvnx · 23 days ago
Not sure why you are being downvoted. Seems like lot of people with high ego are not ready to accept the truth that a human has way less knowledge than a world encyclopedia with infinite and practically perfect memory.
RA_Fisher · 22 days ago
Yeah, I think a lot of people are very insecure. I’m genuinely sorry for them. I think the best thing to do is to derive utility from AI (to mitigate the costs).
RA_Fisher commented on AGI is not possible even in 10 years   medium.com/@anwarzaid76/a... · Posted by u/MindBreaker2605
forinti · 23 days ago
But they don't have agency and who would trust them unattended anyway (at their current capabilities)?
RA_Fisher · 22 days ago
They’re urgently being given agency by companies and people.
RA_Fisher commented on AGI is not possible even in 10 years   medium.com/@anwarzaid76/a... · Posted by u/MindBreaker2605
rowanseymour · 23 days ago
At analyzing and reproducing language.. words, code etc sure because at their core they are still statistical models of language. But there seems to be growing consensus that intelligence requires modeling more than words.
RA_Fisher · 22 days ago
When models become sufficiently sophisticated, they practically become the phenomenon they’re modeling (by limit).
RA_Fisher commented on AGI is not possible even in 10 years   medium.com/@anwarzaid76/a... · Posted by u/MindBreaker2605
gambiting · 23 days ago
>>For text and image-based tasks they are infinitely better than a human.

Sometimes. When the stars align and you roll the dice the right way. I'm currently using ChatGPT 5.1 to put together a list of meals for the upcoming week, it comes up with a list(very good one!), then it asks if I want a list of ingredients, I say yes, and the ingredients are completely bollocks. Like it adds things which are not in any recipe. I ask about it, it says "sorry, my mistake, here's the list fixed now" and it just removed that thing but added something else. I ask why is that there, and I shit you not, it replied with "I added it out of habit" - like what habit, what an idiotic thing to say. It took me 3 more attempts to get a list that was actually somewhat correct, although it got the quantities wrong. "infinitely better than a human at text based tasks" my ass.

I would honestly trust a 12 year old child to do this over this thing I'm supposedly paying £18.99/month for. And the company is valued at half a trillion dollars. I honestly wonder if I'm the bigger clown or if they are.

RA_Fisher · 22 days ago
Sorry about the frustration. I agree they’re far from perfect (like us). They have habits, bc they model us.

u/RA_Fisher

KarmaCake day880September 14, 2012
About
I’m a statistician-economist and I was Zapier’s first data scientist & 9th employee.
View Original