Valid Place

Verify if coordinates belong to the polygons drawn on a map

Valid Place launched on November 30, 2016 with 7 votes.

Does a similar job

Formally verified polygon intersection – Opus 4.8 oneshots, prev failedJun 2026 · github.com · ▲93
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM. Also check out the web demo built around the verified core linked in…
LocationChecker2024 · apps.apple.com · ▲137
You won’t have to worry the next time to visit a city
IE
Interactively explore different map projections2017 · mjmdavis.com · ▲109
Guess Where You Are2024 · guesswhereyouare.com · ▲108
Get shown a place and try to guess where it is on the map
Draw a map and let it be colored – Four color theorem demo2016 · kleemans.ch · ▲48
Scale-a-Tron2021 · stamen.github.io · ▲74
Draw a shape on a map, and compare with other areas.

/dev/null▲490
a social network for devs
Dev tools · 4d ago · dev-null.sh
Run full iOS 16.5 firmware on Android Devices▲433
Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.
Dev tools · 18h ago · github.com
Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 29d ago · github.com
Reladraw – A diagram language where you decide where to place things▲411
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 27d ago · github.com
OpenBot▲362
Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 24d ago · openbot.run
Talanoa▲346
Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 22d ago · talanoa.email

PhotoScan by Google▲1,219
Photos from the past, meet scanner from the future
AI · 2016 · blog.google
A visual guide to the most popular CSS properties▲1,117
CSS Reference is a free visual guide to CSS. It features the most popular properties, and explains them with illustrated and animated examples.
Life & fun · 2016 · cssreference.io
Netflix Offline▲1,067
Watch Netflix anytime without an internet connection
Life & fun · 2016 · help.netflix.com
Spark for Mac▲1,058
Beautiful and intelligent email app
Growth · 2016 · sparkmailapp.com
PF
Primitive for macOS▲798
Life & fun · 2016 · primitive.lol
A.I. Experiments by Google▲763
Explore machine learning by playing w/ pics, music, and more
AI · 2016 · labs.google