Longtail-SWE adds 202 SWE tasks for 13 underrepresented languages
A solver-judge-repairer pipeline revises tests and descriptions; nine model setups were evaluated and artifacts released.
Stories per day · 30 days
2 RSS
Relatedagentic-coding1agents1benchmarks1cambridge1code-agents1fortran1llm1longtail-swe1memory-safety1rust1scientific-computing1software-engineering1systems-programming1workshop1
3 stories, newest first · one card per story
Stories tagged #programming-languages
Valen's Memory Safety: A New Kind of Borrow Checking
Valen's group-borrowing checker aims to stop use-after-free with fewer restrictions than Rust-style borrow checking.
4
C*: Unifying Programming and Verification in C
Research paper C* (arXiv:2504.02246) proposes unifying programming and formal verification in C, discussed on Hacker News.