Hacker News new | past | comments | ask | show | jobs | submit
simondotau | on: LLMs are making formal software verification feasible at a much larger scale
I sincerely tried to read your response but I couldn't make heads or tails of it. Is this speech to text? Were you inebriated at the time? Can you rewrite it for me?
saagarjha | parent
Running an internet forum does not make you better or less impartial at commenting