Epic Games Submits Fortnite to U.S. App Store

https://www.macrumors.com/2025/05/09/fortnite-submitted-to-us-app-store/

1•tosh•7m ago•0 comments

Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean

https://mathstodon.xyz/@tao/114486537464033675

1•ColinWright•9m ago•0 comments

IAB Statement: Dotless Domains Considered Harmful

https://datatracker.ietf.org/doc/statement-iab-statement-dotless-domains-considered-harmful/

1•xg15•9m ago•0 comments

Scaling 3M Tables: How TiDB Powers Atlassian Forge's SaaS Platform

https://www.pingcap.com/blog/scaling-3-million-tables-how-tidb-powers-atlassian-forge-saas-platform/

1•ngaut•12m ago•0 comments

Why 80% of Developers Feel Stuck–and How to Fix It

2•juanmera01•14m ago•1 comments

Most AI spending driven by FOMO, not ROI, CEOs tell IBM

https://www.theregister.com/2025/05/06/ibm_ai_investments/

2•mpweiher•19m ago•1 comments

Philips now offers 3D printable replacement parts [video]

https://www.youtube.com/watch?v=q85lZdNStGs

1•danielEM•20m ago•1 comments

Build iOS Apps on Linux and Windows (WSL)

https://forums.swift.org/t/xtool-cross-platform-xcode-replacement-build-ios-apps-on-linux-and-more/79803

2•plurby•23m ago•0 comments

LegoGPT creates Lego designs using AI and text inputs

https://www.tomshardware.com/tech-industry/artificial-intelligence/legogpt-creates-stable-lego-designs-using-ai-and-text-inputs-tool-now-available-to-the-public

1•01-_-•30m ago•0 comments

Pope Leo says AI represents a challenge for humanity

https://www.cnn.com/2025/05/10/europe/pope-leo-prevost-cardinals-artificial-intelligence-intl

1•01-_-•31m ago•0 comments

Why weight-loss drug users are telling no one – not even their partners

https://www.theguardian.com/lifeandstyle/2025/may/11/weight-loss-drugs-why-do-people-lie-about-taking-ozempic

1•Geekette•33m ago•0 comments

Show HN: Libnode bindings for embedding Node.js within Rust

https://github.com/alshdavid/edon

1•apatheticonion•35m ago•0 comments

Koddy.ai: AI Image and Video All in One Platform

https://koddy.ai/

1•zoudong376•39m ago•1 comments

Alone Together: Disconnection Is Our Generation's Black Death

https://josef.cn/blog/black-death

3•josefchen•43m ago•0 comments

The Hobo Handbook

https://www.theparisreview.org/blog/2025/05/09/the-hobo-handbook/

1•nickcotter•43m ago•0 comments

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

https://arxiv.org/abs/2105.05398

1•luu•49m ago•0 comments

DevTerm – open-source Portable Terminal

https://www.clockworkpi.com/home-devterm

2•kretaceous•50m ago•0 comments

Getting Started with Lazarus 4.0 IDE: IDE Tour and Installing Packages [video]

https://www.youtube.com/watch?v=zBImv-TjIzg

1•chungy•53m ago•0 comments

Golden Owl solution is revealed, but leaves players of 31-year hunt disappointed

https://www.lemonde.fr/en/pixels/article/2025/05/03/golden-owl-solution-is-revealed-but-leaves-players-of-31-year-hunt-disappointed_6740871_13.html

2•austinallegro•57m ago•1 comments

I Built a Tool That Tells Me If a Side Project Will Ruin My Weekend

https://www.rafaelviana.io/posts/code-chrono

2•vianarafael•1h ago•0 comments

A new Lazarus arises – for the fourth time – for Pascal programming fans

https://www.theregister.com/2025/05/09/new_lazarus_4/

1•romaniitedomum•1h ago•0 comments

Cory Arcangel Recovered a Late Artist's Digital Legacy

https://www.newyorker.com/culture/infinite-scroll/how-cory-arcangel-recovered-a-late-artists-digital-legacy

1•FinnLobsien•1h ago•0 comments

Elizabeth Holmes' partner raises millions for new biotech testing startup

https://text.npr.org/nx-s1-5393950

2•BostonFern•1h ago•0 comments

Hexagon wheel robots transform tight warehouse spaces into smart sorting zones

https://interestingengineering.com/innovation/hexagon-wheel-robots-warehouses-packages

2•simonebrunozzi•1h ago•0 comments

Interview: Bjarne Stroustrup on 21st century C++, AI risks

https://devclass.com/2025/05/09/interview-bjarne-stroustrup-on-21st-century-c-ai-risks-and-why-the-language-is-hard-to-replace/

2•romaniitedomum•1h ago•0 comments

Claimify: Extracting high-quality claims from language model outputs

https://www.microsoft.com/en-us/research/blog/claimify-extracting-high-quality-claims-from-language-model-outputs/

2•tobr•1h ago•0 comments

Absolute Zero: Reinforced Self-Play Reasoning with Zero Data

https://arxiv.org/abs/2505.03335

1•leodriesch•1h ago•0 comments

New research finds substantial peat deposits in Colombia's conflicted Amazon

https://news.mongabay.com/2025/04/new-research-finds-substantial-peat-deposits-in-colombias-conflicted-amazon/

Epic Games Submits Fortnite to U.S. App Store

Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean

IAB Statement: Dotless Domains Considered Harmful

Scaling 3M Tables: How TiDB Powers Atlassian Forge's SaaS Platform

Why 80% of Developers Feel Stuck–and How to Fix It

Most AI spending driven by FOMO, not ROI, CEOs tell IBM

Philips now offers 3D printable replacement parts [video]

Build iOS Apps on Linux and Windows (WSL)

LegoGPT creates Lego designs using AI and text inputs

Pope Leo says AI represents a challenge for humanity

Why weight-loss drug users are telling no one – not even their partners

Show HN: Libnode bindings for embedding Node.js within Rust

Koddy.ai: AI Image and Video All in One Platform

Alone Together: Disconnection Is Our Generation's Black Death

The Hobo Handbook

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

DevTerm – open-source Portable Terminal

Getting Started with Lazarus 4.0 IDE: IDE Tour and Installing Packages [video]

Golden Owl solution is revealed, but leaves players of 31-year hunt disappointed

I Built a Tool That Tells Me If a Side Project Will Ruin My Weekend

A new Lazarus arises – for the fourth time – for Pascal programming fans

Cory Arcangel Recovered a Late Artist's Digital Legacy

Elizabeth Holmes' partner raises millions for new biotech testing startup

Hexagon wheel robots transform tight warehouse spaces into smart sorting zones

Interview: Bjarne Stroustrup on 21st century C++, AI risks

Claimify: Extracting high-quality claims from language model outputs

Absolute Zero: Reinforced Self-Play Reasoning with Zero Data

New research finds substantial peat deposits in Colombia's conflicted Amazon

The Emacs Widget Toolkit

Show HN: Shell-Dads – see a random tip from NIST DADS on terminal start

China's AI Job Mirage

Epic Games Submits Fortnite to U.S. App Store

Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean

IAB Statement: Dotless Domains Considered Harmful

Scaling 3M Tables: How TiDB Powers Atlassian Forge's SaaS Platform

Why 80% of Developers Feel Stuck–and How to Fix It

Most AI spending driven by FOMO, not ROI, CEOs tell IBM

Philips now offers 3D printable replacement parts [video]

Build iOS Apps on Linux and Windows (WSL)

LegoGPT creates Lego designs using AI and text inputs

Pope Leo says AI represents a challenge for humanity

Why weight-loss drug users are telling no one – not even their partners

Show HN: Libnode bindings for embedding Node.js within Rust

Koddy.ai: AI Image and Video All in One Platform

Alone Together: Disconnection Is Our Generation's Black Death

The Hobo Handbook

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

DevTerm – open-source Portable Terminal

Getting Started with Lazarus 4.0 IDE: IDE Tour and Installing Packages [video]

Golden Owl solution is revealed, but leaves players of 31-year hunt disappointed

I Built a Tool That Tells Me If a Side Project Will Ruin My Weekend

A new Lazarus arises – for the fourth time – for Pascal programming fans

Cory Arcangel Recovered a Late Artist's Digital Legacy

Elizabeth Holmes' partner raises millions for new biotech testing startup

Hexagon wheel robots transform tight warehouse spaces into smart sorting zones

Interview: Bjarne Stroustrup on 21st century C++, AI risks

Claimify: Extracting high-quality claims from language model outputs

Absolute Zero: Reinforced Self-Play Reasoning with Zero Data

New research finds substantial peat deposits in Colombia's conflicted Amazon

The Emacs Widget Toolkit

Show HN: Shell-Dads – see a random tip from NIST DADS on terminal start