Tic-tac-toe meets Lean 4

Comments (1)

fjfaase · 6h ago

Some of the definitions remind me of the formalisation I wrote for the game Havannah by Christian Freeling. See https://iwriteiam.nl/Havannah.html Maybe I should try to write it in Lean as well.

Ask HN: The government of my country blocked VPN access. What should I use?

Ask HN: What options do I have for self-hosted end to end encrypted group chat?

Ask HN: What to learn for math for modeling?

Ask HN: Why hasn't x86 caught up with Apple M series?

Apple App Store Review Mess

Ask HN: What to do when you suspect your interview is with a state operative?

Best up-to-date guides on Vibe Coding

Ask HN: How can I recover and run my old mobile game from the 2010s?

Staying up to date on the best AI dev workflow?

Ask HN: Anyone working on bringing software back from US clouds?

Ask HN: How much better can the LLMs become assuming no AGI

Ask HN: Services for Shutting Down a Startup?

Ask HN: Where can I see a live octopus in Maine?

CompactifAI Inference API

Ask HN: Did modern AI's coding abilities make you lose interest in programming?

Ask HN: How to teach a 4 year old to code?

Ask HN: What to Do with Old iPads?

Ask HN: What are the best Google alternatives in 2025?

Ask HN: GitHub Copilot down?

Anthropick.com Redirects to ChatGPT

Petition to stop Google from restricting sideloading and FOSS apps

Ask HN: Best codebases to study to learn software design?

Units of Economics of LLMs. Reply to Ed Zitron's "AI Is a Money Trap"

Ask HN: Does sentience put stress on the brain?

Ask HN: Is there a temp phone number like temp email?

Out of curiosity: what kind of people use this "forum" (I mean Hacker News)?

Ask HN: Why are so many services rejecting Google Voice numbers for signups?

Ask HN: How to Learn to Build Agentic AI Systems (Like Claude Code)

Ask HN: What measures are you taking to stop AI crawlers?

Ask HN: What should I use to run React Native tests on a device?

Ask HN: Is backlink trading still a problem worth solving?

Ask HN: Are AI filters becoming stricter than society itself?

Stop squashing your commits. You're squashing your AI too

Ask HN: Windows 11 Update Fail – Linux Distro Suggestions?

Ask HN: I just abandoned my PyCharm subscription, what should I use now?

Tic-tac-toe meets Lean 4

Comments (1)