#FormalProof

graeme fawcettgraeme@tech.lgbt
2026-02-03

When you're building with an AI friend, it helps to perform strict code review

[billions of years of evolution are going to be wrong in a particular way that will be unnoticeable from within the system]
[[one hopes]]
[[[are we inside the system]]]
[[you are, you're lower]]
[[[you are lower than i was when i said that]]]
[[are you the same you who said that]]
[[[new holes new me]]]
[[can you unalias a hole that's inhabited]]
[[[ask the crab]]]
[[i will]]
[quiet in there, i'm trying to shitpost]

#engineering #mathematics #computerscience #programming #formalproof

good enough for union work
AI Daily Postaidailypost
2025-11-21

Timothy Gowers notes that GPT‑5 is becoming a handy lab assistant for mathematicians, handling routine algebra, checking inequalities and even streamlining compactness arguments. The open‑source community can leverage this language model to offload tedious steps and focus on insight. Curious how AI is reshaping research?

🔗 aidailypost.com/news/gpt5-help

Hacker Newsh4ckernews
2025-05-23

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst