frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Show HN: Interactive coloring and learn about space (for kids)

https://dibulo.com/world/space
2•zengineer•4h ago
Hi there,

we have just launched our new space world, where kids (and often also grown ups) color planets, rockets, astronauts and then bring them alive on a screen.

Additionally to the coloring-fun you learn interesting facts about all kinds of space things.

Right now the facts are all in English, but soon more languages are gonna be supported.

Happy coloring!

Tabbiy – Tab Auto Grouping Expert

https://tabbiy.top
1•TyrusLockwood•1m ago•1 comments

From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4

https://medium.com/@Koukyosyumei/from-paper-to-proof-how-we-can-formally-verify-blockchain-protocols-with-lean4-part-1-a7b3d0fc563f
1•syumei•2m ago•0 comments

The History of Nuclear Powered Pacemakers (2015)

http://large.stanford.edu/courses/2015/ph241/degraw2/
1•Bluestein•3m ago•0 comments

Vibe Coding with AI: Ensuring User Needs Are Met

https://kamil.chm.ski/vibe-coding-cheap-show-me-demo
1•kamilchm•3m ago•1 comments

NeurIPS Announces Support for Newly Developing Scientific Community Gathering

https://blog.neurips.cc/2025/07/16/neurips-announces-support-for-newly-developing-scientific-community-gathering/
1•jensgk•4m ago•1 comments

Three-person IVF technique spared children from inherited diseases

https://www.reuters.com/business/healthcare-pharmaceuticals/three-person-ivf-technique-spared-children-inherited-diseases-scientists-say-2025-07-16/
1•geox•4m ago•0 comments

Show HN: Userband: Free User Feedback Platform

https://www.userband.com/
1•ashbrother•5m ago•0 comments

Bear does analytics with CSS (2023)

https://herman.bearblog.dev/how-bear-does-analytics-with-css/
1•Bluestein•8m ago•0 comments

Five things [Dave Karpf believes] about actually-existing AI today

https://davekarpf.substack.com/p/five-things-i-believe-about-actually
1•username223•10m ago•0 comments

I Love Generative AI and Hate the Companies Building It

https://cwodtke.medium.com/i-love-generative-ai-and-hate-the-companies-building-it-3fb120e512ac
2•adrianhoward•10m ago•0 comments

Europe's New Hypersonic Test Platform – Invictus

https://www.esa.int/Enabling_Support/Space_Engineering_Technology/Shaping_the_Future/INVICTUS_Europe_s_new_hypersonic_test_platform
1•t43562•10m ago•1 comments

Chinese Students Flocked to Central Illinois. Their Food Followed

https://www.nytimes.com/2025/07/14/dining/chinese-food-urbana-champaign-student-visa.html
1•bookofjoe•13m ago•1 comments

Are Diamonds Even a Luxury Anymore? De Beers Reckons with Price Plunge

https://www.wsj.com/business/retail/de-beers-diamonds-price-lab-grown-468b33ab
2•coloneltcb•13m ago•0 comments

The power of the Unix philosophy for LLM agentic tools

https://blog.korny.info/2025/07/11/the-power-of-the-unix-philosophy-for-llm-agentic-tools
2•freediver•13m ago•0 comments

The Sputnik vs. Deep Seek Moment: The Answers

https://marginalrevolution.com/marginalrevolution/2025/07/the-sputnik-vs-deep-seek-moment-the-answers.html
1•Michelangelo11•14m ago•0 comments

Self-hosting CI runners is a trap

https://www.shipfox.io/blog/2945ab39-efed-415c-ab19-389be27df8d3/self-hosting-ci-runners-is-a-trap
9•PoissonVache•15m ago•0 comments

Disney's spent 70 years funneling IP into its theme parks. Here's why it works

https://www.cnbc.com/2025/07/17/disney-ip-anchors-theme-parks.html
2•rntn•16m ago•0 comments

Bitnami containers community catalog has been deprecated

https://github.com/bitnami/charts/issues/35164
1•migmartri•16m ago•0 comments

Exercise science is not science

https://scottlocklin.wordpress.com/2025/07/14/exercise-science-is-not-science/
2•surprisetalk•16m ago•0 comments

Career Hypnosis

https://quarter--mile.com/career-hypnosis
2•surprisetalk•16m ago•0 comments

Store Tags After Payloads

https://www.scattered-thoughts.net/writing/store-tags-after-payloads/
1•surprisetalk•16m ago•0 comments

The Most Beautiful Program Ever Written [video]

https://www.youtube.com/watch?v=OyfBQmvr2Hc
1•surprisetalk•16m ago•0 comments

A privacy-first, no-nonsense, super-fast blogging platform

https://bearblog.dev/
2•krthr•17m ago•0 comments

Don't Eliminate Risk, Manage It

https://emeaentrepreneurs.com/anti/dont-eliminate-risk-manage-it/
1•sixhobbits•17m ago•0 comments

Tractor: Translating all C to Rust

https://www.darpa.mil/research/programs/translating-all-c-to-rust
1•hhs•18m ago•0 comments

Show HN: Default-Exploitability Context for CISA Known Exploited Vulnerabilities

https://github.com/abhas9/cve-default-exploitability
1•abhas9•18m ago•0 comments

Government Doesn't Want Storm Talking About Privacy, Kidnappings

https://www.therage.co/roman-storm-privacy-kidnappings/
1•madars•18m ago•0 comments

Why Aggregators Ate the Internet

https://every.to/thesis/why-aggregators-ate-the-internet
1•hn_acker•24m ago•1 comments

Show HN: Speclinter-MCP, better specs for your coding agent

https://github.com/orangebread/speclinter-mcp
2•orangebread•26m ago•0 comments

Texas has banned talking on college campuses at night. Seriously

https://www.houstonchronicle.com/opinion/outlook/article/texas-ban-universities-speech-talking-night-20361753.php
21•hn_acker•26m ago•8 comments