Peter
@petmouse.bluesky.mousses.xyz
I like computers and nature 🐨☦️
Reposted by Peter
This two week task was finished in three hours. The primary challenge during iterative improvements was using the formal verifier to point to new methods of accuracy.
From experience this is like a two-week task for a competent third year grad student in applied data science.
January 4, 2026 at 12:05 PM
This two week task was finished in three hours. The primary challenge during iterative improvements was using the formal verifier to point to new methods of accuracy.
Reposted by Peter
oh my going theory for a while has been that every llm inevitably becomes a synecdoche for the entire company because the process of training them inevitably leeches the personality of the stakeholders into it
January 2, 2026 at 6:15 AM
oh my going theory for a while has been that every llm inevitably becomes a synecdoche for the entire company because the process of training them inevitably leeches the personality of the stakeholders into it
For music and stuff its fine, but for file transfers it is slow. That's why Airdrop needs Bluetooth and wifi. It uses Bluetooth to find the other device, then connects over wifi to actually transfer the data.
January 1, 2026 at 10:14 PM
For music and stuff its fine, but for file transfers it is slow. That's why Airdrop needs Bluetooth and wifi. It uses Bluetooth to find the other device, then connects over wifi to actually transfer the data.
Reposted by Peter
December 31, 2025 at 2:40 AM
Reposted by Peter
"1. agreeing how to build something 2. verifying correctness"
December 30, 2025 at 6:15 PM
"1. agreeing how to build something 2. verifying correctness"