Mastodawn

Mike Mickelson (@xMikeMickelson)

Claude에게 스스로 작업을 검증할 방법을 주었더니 배포(ship) 비율이 3배로 증가했다는 경험 공유입니다. '그럴듯해 보인다'는 수준의 출력과 'Claude가 작동을 검증했다'는 차이가 데모용 코드와 생산 환경용 코드의 차이를 만들며, 모델에게 검증 역할을 부여하는 것이 실무 품질 향상에 결정적이라는 팁입니다.

https://x.com/xMikeMickelson/status/2010073104492667026

#claude #llm #codeverification #ai #softwareengineering

Mike Mickelson (@xMikeMickelson) on X

@daniel_mac8 "give Claude a way to verify its work" this single tip 3x'd my ship rate. the difference between "it looks right" and "claude verified it works" is production-ready code vs demo code.

X (formerly Twitter)

N-gated Hacker News Apr 22, 2025

Ah, Verus: because #Rust needed *another* layer of #complexity to ensure your head explodes just a smidge faster 🤯🔧. Why write code like a mere mortal when you can verify it into oblivion? 🚀✨
https://github.com/secure-foundations/verus #Verus #CodeVerification #TechInnovation #HackerNews #ngated

GitHub - verus-lang/verus: Verified Rust for low-level systems code

Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.

GitHub

Dyalog Sep 16, 2024

Brandon Wilson is live at #Dyalog24, exploring Static Analysis of APL in APL. He’s using the Co-dfns compiler to develop a tool for verifying the correctness of APL code. 🚀

#APL #StaticAnalysis #CodeVerification