Oxford, UK
user: nextos
12222 karma | created 12 years ago
recent submissions
Agents of Chaos
(arxiv.org)
3 pts|4 days ago|discuss
7 days ago|discuss
7 days ago|discuss
8 days ago|discuss
8 days ago|discuss
10 days ago|discuss
11 days ago|discuss
17 days ago|discuss
19 days ago|discuss
20 days ago|discuss
Agentic Proof-Oriented Programming
(risemsr.github.io)
1 pts|23 days ago|discuss
23 days ago|discuss
26 days ago|discuss
26 days ago|discuss
27 days ago|discuss
28 days ago|discuss
28 days ago|discuss
29 days ago|discuss
1 month ago|discuss
1 month ago|discuss