Loading activity…
@nielstron
CS PhD @eth. Language Models, Code, Formal verification. Black-belt nooancer, Founder, Compiling Python to FP @OpShinDev.
AI
One commenter praises PROBE's focus on writing issues over making SWE-bench-style tasks harder.
AI
A post argues that human tasks are now too easy to use as AI benchmarks in many domains.
