Industry
Fermat's Last Theorem in Lean 4
aaraujo002 Hacker News
1 views
Article URL: https://github.com/anthropics/fermats-last-theorem
Comments URL: https://news.ycombinator.com/item?id=49568697
Points: 15
# Comments: 3
Read original: https://github.com/anthropics/fermats-last-theorem
← Previous
Shutting down our public encrypted DNS
Next →
How to Show Engineering Ownership When the Repositories Are Private
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