Lean Community

https://leanprover-community.github.io

1•tzury•46s ago•0 comments

Datadog – Evolving our real-time timeseries storage

https://www.datadoghq.com/blog/engineering/rust-timeseries-engine/

1•rmoff•49s ago•0 comments

Smart Mapping:Optimizing Compute Across Cloud and Edge in IoT Networks

https://erlangforums.com/t/smart-mapping-optimizing-compute-across-cloud-and-edge-in-iot-networks-peer-stritzinger-code-beam/4992

1•amalinovic•2m ago•0 comments

Yieldstreet real estate bets leave customers with losses

https://www.cnbc.com/2025/08/18/yieldstreet-real-estate-bets-customer-losses.html

1•lxm•3m ago•0 comments

The Long Game: why Rails survived the hype cycle

https://evilmartians.com/chronicles/the-long-game-why-rails-survived-the-hype-cycle-and-what-it-means-for-your-startup

1•jeremy_k•4m ago•0 comments

Reaching 100M key lookups per second with REST API and Python clients

https://www.rondb.com/post/the-process-to-reach-100m-key-lookups-per-second-with-rest-api-and-python-clients

1•tanelpoder•4m ago•0 comments

Blurred Lines Between New Psychoactive Substances and Potential Chemical Weapons

https://www.mdpi.com/2305-6304/13/8/659

1•PaulHoule•8m ago•0 comments

Mudra: Tool that ranks you on ChatGPT

https://www.trymudra.com/

1•NanocodesAI•9m ago•1 comments

Minimalist Mastro Framework Offers Modern Take on MPAs

https://thenewstack.io/minimalist-mastro-framework-offers-modern-take-on-mpas/

1•mb2100•9m ago•0 comments

Building a Distributed Filesystem for Scalable Research

https://www.hudsonrivertrading.com/hrtbeat/distributed-filesystem-for-scalable-research/

1•theHRTBeat•11m ago•0 comments

NASA and IBM release open source model on Hugging Face to predict solar flares

https://huggingface.co/nasa-ibm-ai4science

1•briggiesmallz•12m ago•0 comments

Earth system models project start of Amazon dieback within 21st century

https://phys.org/news/2025-08-earth-amazon-dieback-21st-century.html

2•pseudolus•12m ago•0 comments

The MTV Effect

https://www.printmag.com/featured-design-history/the-mtv-effect/

1•Michelangelo11•15m ago•0 comments

A Python CLI for Verifying Assembly

https://www.philipzucker.com/asm_verify3/

1•philzook•15m ago•0 comments

Los Alamos discovers a "quantum butterfly effect" – and its surprising opposite

https://www.lanl.gov/media/publications/1663/0821-the-quantum-butterfly-effect

2•LAsteNERD•16m ago•1 comments

Florida insurance company proposes 'significant premium decrease'

https://www.wfla.com/news/florida/florida-home-insurance-company-proposes-significant-premium-decrease-for-policyholders/

2•geox•16m ago•0 comments

Children of the Geissler Tube

https://www.hopefulmons.com/p/children-of-the-geissler-tube

1•paulkrush•17m ago•1 comments

Show HN: I was curious about spherical helix, ended up making this visualization

https://visualrambling.space/moving-objects-in-3d/

14•damarberlari•18m ago•2 comments

The Koka Programming Language

https://lwn.net/Articles/1033050/

1•leephillips•18m ago•0 comments

I Hacked India's Biggest Dating App (They Offered Me a $100 Gift Card)

https://bobdahacker.com/blog/indias-biggest-dating-app-hacked

2•IlikeKitties•18m ago•0 comments

Gemma 3 270M re-implemented in pure PyTorch for local tinkering

https://github.com/rasbt/LLMs-from-scratch/tree/main/ch05/12_gemma3

3•ModelForge•19m ago•0 comments

Life Happened Fast

https://aeon.co/essays/life-on-earth-emerged-fast-far-quicker-than-we-thought

1•Brajeshwar•20m ago•0 comments

Webb telescope finds Uranus's 29th moon

https://phys.org/news/2025-08-webb-moon-orbiting-uranus.html

1•Brajeshwar•20m ago•0 comments

The Hierarchical Reasoning Model

https://jdsemrau.substack.com/p/hierarchical-reasoning-model

2•Brajeshwar•20m ago•0 comments

Show HN: The tool I built to survive big tech burnout

https://blog.mindfuldo.app

1•arephan•21m ago•0 comments

No Silver Marketing Bullets

https://businessofsoftware.org/2025/08/no-silver-marketing-bullets/

1•marklittlewood•21m ago•0 comments

Show HN: Upload financial data, get fast financial due diligence insights

https://www.provafi.com/

1•mstroube•22m ago•0 comments

Places Form People: The Moral Pedagogy of Urban Design

https://www.strongtowns.org/journal/2025/8/20/how-places-form-people-the-moral-pedagogy-of-urban-design

Lean Community

Datadog – Evolving our real-time timeseries storage

Smart Mapping:Optimizing Compute Across Cloud and Edge in IoT Networks

Yieldstreet real estate bets leave customers with losses

The Long Game: why Rails survived the hype cycle

Reaching 100M key lookups per second with REST API and Python clients

Blurred Lines Between New Psychoactive Substances and Potential Chemical Weapons

Mudra: Tool that ranks you on ChatGPT

Minimalist Mastro Framework Offers Modern Take on MPAs

Building a Distributed Filesystem for Scalable Research

NASA and IBM release open source model on Hugging Face to predict solar flares

Earth system models project start of Amazon dieback within 21st century

The MTV Effect

A Python CLI for Verifying Assembly

Los Alamos discovers a "quantum butterfly effect" – and its surprising opposite

Florida insurance company proposes 'significant premium decrease'

Children of the Geissler Tube

Show HN: I was curious about spherical helix, ended up making this visualization

The Koka Programming Language

I Hacked India's Biggest Dating App (They Offered Me a $100 Gift Card)

Gemma 3 270M re-implemented in pure PyTorch for local tinkering

Life Happened Fast

Webb telescope finds Uranus's 29th moon

The Hierarchical Reasoning Model

Show HN: The tool I built to survive big tech burnout

No Silver Marketing Bullets

Show HN: Upload financial data, get fast financial due diligence insights

Places Form People: The Moral Pedagogy of Urban Design

Lutnick says Intel has to give government equity in return for CHIPS Act funds

Ask HN: Make Flagging Activity Public?

Lean Community

Datadog – Evolving our real-time timeseries storage

Smart Mapping:Optimizing Compute Across Cloud and Edge in IoT Networks

Yieldstreet real estate bets leave customers with losses

The Long Game: why Rails survived the hype cycle

Reaching 100M key lookups per second with REST API and Python clients

Blurred Lines Between New Psychoactive Substances and Potential Chemical Weapons

Mudra: Tool that ranks you on ChatGPT

Minimalist Mastro Framework Offers Modern Take on MPAs

Building a Distributed Filesystem for Scalable Research

NASA and IBM release open source model on Hugging Face to predict solar flares

Earth system models project start of Amazon dieback within 21st century

The MTV Effect

A Python CLI for Verifying Assembly

Los Alamos discovers a "quantum butterfly effect" – and its surprising opposite

Florida insurance company proposes 'significant premium decrease'

Children of the Geissler Tube

Show HN: I was curious about spherical helix, ended up making this visualization

The Koka Programming Language

I Hacked India's Biggest Dating App (They Offered Me a $100 Gift Card)

Gemma 3 270M re-implemented in pure PyTorch for local tinkering

Life Happened Fast

Webb telescope finds Uranus's 29th moon

The Hierarchical Reasoning Model

Show HN: The tool I built to survive big tech burnout

No Silver Marketing Bullets

Show HN: Upload financial data, get fast financial due diligence insights

Places Form People: The Moral Pedagogy of Urban Design

Lutnick says Intel has to give government equity in return for CHIPS Act funds

Ask HN: Make Flagging Activity Public?