Analyse DFM Injection Plastique
Validez vos pièces step/stl en ligne | cadlytitcs
What it does
Vérifiez instantanément si vos pièces 3D sont prêtes pour l'injection plastique. Analyse DFM automatique, rapport PDF professionnel et recommandation de matières.
Does a similar job
all alternatives →
Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI codeJul 2026 · github.com · ▲115To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formedness conditions on the triangulation. This project is also an experiment in avoiding having to trust AI-generated code. A human reviewer only needs to read 93 lines of formal specification and run the Lean checker to certify the correctness of the kernel, skipping the intricate 1000+ lines of…
Injection Molding & Mold ManufacturingJan 2026 · rayleap.com · ▲5Professional plastic injection molding & custom mold design
RapidPipeline 4 Blender: Optimize 3D/CAD2025 · rapidpipeline.com · ▲15Optimize CAD & 3D for marketing and real-time, via Blender
More life & fun this month
the category →- TL
Life & fun · 12d ago · louisabraham.github.io
- CCCreatium Coach▲321
Your multimedia mentor that takes you from mid to great
Life & fun · 13d ago · producthunt.creatium.info
Scroll through all 43,252,003,274,489,856,000 reachable Rubik's Cube permutations.
Life & fun · 29d ago · everycube.alen.is
Source: Product Hunt launch ↗
Launched alongside, July 2025
the whole month →
Trickle - Magic Canvas ▲1,064The 1st Agentic Canvas for building apps visually with AI
AI · 2025 · trickle.so
- TB
Life & fun · 2025 · trytender.app
- TY
Today marks ten years, 3653 consecutive days, of running at least one mile every day under the USRSA rules [1]. To celebrate, I built an interactive dashboard that turns a decade of GPX files into charts you can explore. Running has truly changed my life: I've made lifelong friends, explored beautiful places, and more importantly invested into my own health and fitness, which I'm starting to see the positive benefits as I get older. The stack is pretty simple: a NextJS app, with a Postgres database to keep all my running data, and all the stats are pre-computed and cached in Redis, so I…
Dev tools · 2025 · nodaysoff.run
- DA
Made this website as an exercise in vibe-coding and GCP. It was posted about a few times around the internet, on sites like Morning Brew (https://www.morningbrew.com/issues/business-buzzkill), MetaFilter (https://www.metafilter.com/209703/Draw-A-Fish), boingboing.net, etc. I think it's cute! I built a basic CNN trained against penises and swastikas, and then anything that doesn't hit the 63% confidence score gets sent to a mod queue, a vibe-coded fish-tinder…
Dev tools · 2025 · drawafish.com
