alpaylan
- Karma
- 313
- Created
- 4 years ago
Recent Submissions
- 1. ▲ The Simplicity of Humanness (alperenkeles.com)
- 2. ▲ The Mismanaged Geniuses Hypothesis (alexzhang13.github.io)
- 3. ▲ The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (symbolic.software)
- 4. ▲ What is a property? (alperenkeles.com)
- 5. ▲ A Drop in for `anyhow:Context` that reports the failure location (gist.github.com)
- 6. ▲ Tracing Goroutines in Realtime with eBPF (sazak.io)
- 7. ▲ Hypothesis, Antithesis, synthesis (antithesis.com)
- 8. ▲ Seeing Types Where Others Don't (theconsensus.dev)
- 9. ▲ Code Quality in the Age of Coding Agents (michaeltimbs.me)
- 10. ▲ Lf-lean: The frontier of verified software engineering (theorem.dev)