Industry
Formalizing Fermat's Last Theorem
jlebar Hacker News
1 views
Article URL: https://www.anthropic.com/research/formalizing-fermats-last-theorem
Comments URL: https://news.ycombinator.com/item?id=49568506
Points: 67
# Comments: 19
Read original: https://www.anthropic.com/research/formalizing-fermats-last-theorem
← Previous
Is this a certificate issue? Jellyfin works on browsers, but not apps.
Next →
Shutting down our public encrypted DNS
Related
GPT-6 Astra in code review: Gains, privacy, and cost
Article URL: https://www.coderabbit.ai/blog/gpt-6-astra-code-review-evaluation Comments URL: https://news.ycombinator.com/item?id=49572875 Points: 4 # Comments: 1
Hacker News
We Built Kolaboratr Because Finding the Right People to Build With Shouldn’t Be This Hard
There’s a pattern we keep seeing across indie development and creative communities. One person posts: “I have a project, but I need an artist.” A programmer says: “I’m looking for a team.” A writer is looking for something worth joining. A composer wants a real project to score. A designe
Dev.to (EN Zone)
Nitter has more working instances than before the takedowns
Article URL: https://codeberg.org/mv12star/shitter/wiki/Instances Comments URL: https://news.ycombinator.com/item?id=49571634 Points: 61 # Comments: 17
Hacker News