First screen, captured .
Looks similar
Related stories
Show HN: New visual language for teaching kids to code(pickcode.io)
389 points by csmeyer | 156 comments
Landing page for Pickcode, a structured visual programming language and editor for teaching kids aged 10-14 to code, with tutorials and courses.
Show HN: AstroHelm – Use your phone camera to aim a telescope or telephoto lens(astrohelm.app)
79 points by HeavenFox | 26 comments
Landing page for AstroHelm, a mobile app that plate-solves the sky through a phone camera mounted on a telescope or camera to guide users to celestial objects.
What mathematicians should know about the Lean Theorem Prover: reliability & AI(terrytao.wordpress.com)
178 points by matt_d | 50 comments
Terence Tao blog post on what mathematicians should know about the Lean theorem prover, covering reliability and AI; the capture shows only a browser-check interstitial.
Show HN: Huzzah – a novel approach to coding with AI(danielvaughn.dev)
334 points by danielvaughn | 178 comments
Blog post introducing Huzzah, an experimental editor where you write pseudocode that is synced to real source code by AI on save, with the pseudocode kept as intent.
Show HN: Glossarie – a new, immersive way to learn a language(glossarie.app)
324 points by jonathanb88 | 135 comments
Landing page for Glossarie, an app that teaches French, Italian or Spanish vocabulary by substituting translated words into eBooks you read in your own language.
The Mathocalypse(scottaaronson.blog)
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.