Truncations of a polygon

What it does

In geometry, a truncation is an operation in any dimension that cuts polytope vertices, creating a new facet in place of each vertex. We start with a polygon — let's say a triangle. This triangle has 3 vertices. In order to truncate we need to split each vertex into two. Now the triangle is made up of 6 vertices. Or rather 3 pairs of vertices. Each pair occupies the same position as the original vertex it is split from. The vertices are used to define the sides of a triangle. Therefore, each vertex has a direct relation to a side. The process of truncation involves moving each vertex along it's line towards the mid-point of the line. Once all the vertices reach the mid-points this is known…from winkervsbecks.github.io

• 
  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…

• GA
  Geometry-aware Hashing of GeoJSON objects2024 · altayakkus.dev · ▲7

  Just a quick little feature I implemented over the weekend. TODO: Assure that polygons can be palindromic as well

• 
  An Elementary Introduction to the Wolfram Language2015 · wolfram.com · ▲60

  Stephen Wolfram's new book on the Wolfram Language

• 
  Draw a map and let it be colored – Four color theorem demo2016 · kleemans.ch · ▲48
• 
  A fast Bresenham type algorithm for drawing filled ellipses2015 · github.com · ▲7

  A fast Bresenham type algorithm for drawing filled ellipses - notprathap/filled-ellipse

• 
  Image-triangulation – Delaunay and Voronoi from scratch2015 · github.com · ▲63

  My own implementation of a Delaunay triangulation and Voronoi partition in Python applied to images. - MauriceGit/Delaunay_Triangulation

• 
  SimCity, but with Permits▲929

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 2d ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 14d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 15d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 9d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 13d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 23d ago · space.bl2.net

• 
  Hotjar▲1,312

  See how visitors are using your site and get visual feedback

  Growth · 2015 · contentsquare.com

• 
  Spot the Drowning Child▲1,215

  Can you spot the drowning child in this crowded wave pool? To the untrained eye, drowning looks like swimming. The Instinctive Drowning Response is frequently missed, even by people nearby.

  Life & fun · 2015 · spotthedrowningchild.com

• 
  Marketing Stack▲1,208

  A curated directory of marketing resources & tools

  Growth · 2015

• 
  Bocker – Docker implemented in 100 lines of bash▲662

  Docker implemented in around 100 lines of bash. Contribute to p8952/bocker development by creating an account on GitHub.

  Dev tools · 2015 · github.com

• 
  The Pitch▲561

  The podcast where early stage startups pitch investors

  Commerce · 2015 · thepitch.show

• 
  “Who is hiring?” Map▲546

  Guida completa ai siti scommesse americani 2026: scopri i migliori bookmaker USA, licenze, bonus, sport americani, metodi pagamento e consigli utili.

  AI · 2015 · whoishiring.it