| user: | wertyk |
| created: | November 18, 2024 |
| karma: | 605 |
| 1. | Combinatorial Games in Lean(github.com) |
| 2. | Shopping research in ChatGPT(openai.com) |
| 3. | GPT-5.1-Codex-Max System Card(openai.com) |
| 4. | |
| 5. | |
| 6. | Nvidia DGX Spark Performance(ollama.com) |
| 7. | Disrupting malicious uses of AI: October 2025(openai.com) |
| 8. | |
| 9. | OpenAI acquires an AI-powered personal investing app(engadget.com) |
| 10. | DeepSeek-v3.2-Exp(api-docs.deepseek.com) |
| 11. | Sora 2 System Card(openai.com) |
| 12. | |
| 13. | New Model Scheduling(ollama.com) |
| 14. | Introducing Stargate UK(openai.com) |
| 15. | Building Towards Age Prediction(openai.com) |
| 16. | Addendum to GPT-5 system card: GPT-5-Codex(openai.com) |
| 17. | |
| 18. | |
| 19. | DeepSeek-v3.1(api-docs.deepseek.com) |
| 20. | |
| 21. | |
| 22. | |
| 23. | |
| 24. | |
| 25. | |
| 26. | |
| 27. | |
| 28. | |
| 29. | Llama 4 reasoning 17B model releasing today(old.reddit.com) |