fp.

Measuring Reward-Seeking via Contrastive Belief Updates

https://arxiv.org/abs/2607.18966

1•sbulaev•4m ago•0 comments

French parliament backs social media ban for children under 15

https://www.reuters.com/legal/litigation/french-lawmakers-vote-social-media-ban-children-2026-07-21/

1•1vuio0pswjnm7•5m ago•0 comments

Show HN: Dex – Explore any Data Warehouse without worrying about costs

https://github.com/exmergo/dex

2•marcociavarella•5m ago•0 comments

Anthropic's landmark $1.5B copyright settlement is approved

https://techcrunch.com/2026/07/20/anthropics-landmark-1-5b-copyright-settlement-is-approved/

1•doener•6m ago•0 comments

Show HN: The BUSY build system now generates CMake so you can easily use LeanQt

https://github.com/rochus-keller/BUSY/blob/main/docs/The_BUSY_Build_System_Users_Guide.adoc

1•Rochus•8m ago•0 comments

Shape-shifting mirrors on NASA's new space telescope could unveil Jupiters like

https://www.technologyreview.com/2026/07/22/1140701/shape-shifting-mirrors-roman-space-telescope/

1•joozio•9m ago•0 comments

Show HN: Sunflowers

https://sunflowersgame.com/

2•pompomsheep•11m ago•1 comments

NVLink, NVSwitch, and All That

https://blog.doubleword.ai/nvlink-scale-up

4•somnial•12m ago•1 comments

Kalshi debuts US midterms hub for election forecasts and polling data

https://www.reuters.com/world/us/kalshi-debuts-us-midterms-hub-election-forecasts-polling-data-20...

2•1vuio0pswjnm7•12m ago•0 comments

AI investment boom puts Big Tech's free cash flow under pressure

https://www.reuters.com/business/ai-investment-boom-puts-big-techs-free-cash-flow-under-pressure-...

2•1vuio0pswjnm7•13m ago•0 comments

Kenze – An interactive shell for wrangling files bigger than your RAM

https://github.com/Kenzy-Zero/kenze

1•kenzy_zero•14m ago•0 comments

An observer-consistency framework for physics with 639 Lean-checked results

https://github.com/FloatingPragma/observer-patch-holography/blob/main/docs/HACKER_NEWS_START_HERE.md

1•berndtzl•16m ago•0 comments

The U.S. wants to contain China’s AI. Silicon Valley keeps using it

https://restofworld.org/2026/china-siliconvalley-ai-moonshot-kimi/

4•donohoe•17m ago•0 comments

Bielik.ai: Community-built, open-source LLMs for Polish and European languages

https://bielik.ai/en/home/

2•kacperlukawski•21m ago•0 comments

OverpAId – Fire your CEO. Hire the future

https://overpaid.lol

1•ignaloidas•22m ago•0 comments

Planned Updates to the PyPI User Interface

https://blog.pypi.org/posts/2026-07-22-ui-updates/

1•di•22m ago•0 comments

Flock Said Its Cameras Don't Track People. Then a Reporter Proved Them Wrong

https://www.gadgetreview.com/flock-said-its-cameras-dont-track-people-then-a-reporter-proved-them...

1•baranul•26m ago•0 comments

The case against crypto (2021)

https://www.stephendiehl.com/posts/against_crypto/

1•simonebrunozzi•27m ago•0 comments

KDE for Enterprise Needs a Strong PIM Infrastructure

https://ervin.ipsquad.net/blog/2026/07/21/kde-for-entreprise-needs-a-strong-pim-infrastructure/

1•birdculture•28m ago•1 comments

Chinese companies are taking over the EV market. What's behind their rise?

https://theconversation.com/chinese-companies-are-taking-over-the-ev-market-whats-behind-their-me...

3•baranul•29m ago•0 comments

OpenAI expands to Israel: first commercial hires and tech outreach

https://www.i24news.tv/en/news/israel/economy/artc-openai-expands-to-israel-first-commercial-hire...

2•EchooAI•32m ago•0 comments

Empathy and delight mean nothing when the software is disrespectful

https://productpicnic.beehiiv.com/p/empathy-and-delight-mean-nothing-when-the-software-is-disresp...

1•SouravInsights•32m ago•0 comments

Awesome edge computing

https://github.com/qijianpeng/awesome-edge-computing

1•teleforce•34m ago•0 comments

Making Xen's dom0 I/O path NUMA aware

https://edera.dev/stories/numa-part-4-closing-the-xen-dom0-i-o-gap

1•virtio_vixen•35m ago•0 comments

Firefox Is Back on X

https://twitter.com/firefox/status/2079317211152564724

2•DeusExMachina•36m ago•2 comments

The Most Famous AI Writing Tic Is Also the Most Mysterious

https://www.theatlantic.com/technology/2026/07/ai-chatbot-writing-tic-negative-parallelism/687892/

2•Anon84•37m ago•0 comments

Show HN: DSCI – Forgejo CI with programming languages instead of YAML

https://github.com/melezhik/DSCI

2•melezhik•41m ago•0 comments

Show HN: add-reasoning-to-prs: a hook that adds unnoticed assumptions to PR desc

https://github.com/backthread/add-reasoning-to-prs

1•bogatyrjov•43m ago•0 comments

Monte Kali

https://en.wikipedia.org/wiki/Monte_Kali

2•yread•44m ago•0 comments

Shadow: Experimentation tool simplifies research, dev, testing and eval of app

https://shadow.github.io/

1•teleforce•45m ago•0 comments

Measuring Reward-Seeking via Contrastive Belief Updates

French parliament backs social media ban for children under 15

Show HN: Dex – Explore any Data Warehouse without worrying about costs

Anthropic's landmark $1.5B copyright settlement is approved

Show HN: The BUSY build system now generates CMake so you can easily use LeanQt

Shape-shifting mirrors on NASA's new space telescope could unveil Jupiters like

Show HN: Sunflowers

NVLink, NVSwitch, and All That

Kalshi debuts US midterms hub for election forecasts and polling data

AI investment boom puts Big Tech's free cash flow under pressure

Kenze – An interactive shell for wrangling files bigger than your RAM

An observer-consistency framework for physics with 639 Lean-checked results

The U.S. wants to contain China’s AI. Silicon Valley keeps using it

Bielik.ai: Community-built, open-source LLMs for Polish and European languages

OverpAId – Fire your CEO. Hire the future

Planned Updates to the PyPI User Interface

Flock Said Its Cameras Don't Track People. Then a Reporter Proved Them Wrong

The case against crypto (2021)

KDE for Enterprise Needs a Strong PIM Infrastructure

Chinese companies are taking over the EV market. What's behind their rise?

OpenAI expands to Israel: first commercial hires and tech outreach

Empathy and delight mean nothing when the software is disrespectful

Awesome edge computing

Making Xen's dom0 I/O path NUMA aware

Firefox Is Back on X

The Most Famous AI Writing Tic Is Also the Most Mysterious

Show HN: DSCI – Forgejo CI with programming languages instead of YAML

Show HN: add-reasoning-to-prs: a hook that adds unnoticed assumptions to PR desc

Monte Kali

Shadow: Experimentation tool simplifies research, dev, testing and eval of app

The Mendral team is joining Anthropic

Measuring Reward-Seeking via Contrastive Belief Updates

French parliament backs social media ban for children under 15

Show HN: Dex – Explore any Data Warehouse without worrying about costs

Anthropic's landmark $1.5B copyright settlement is approved

Show HN: The BUSY build system now generates CMake so you can easily use LeanQt

Shape-shifting mirrors on NASA's new space telescope could unveil Jupiters like

Show HN: Sunflowers

NVLink, NVSwitch, and All That

Kalshi debuts US midterms hub for election forecasts and polling data

AI investment boom puts Big Tech's free cash flow under pressure

Kenze – An interactive shell for wrangling files bigger than your RAM

An observer-consistency framework for physics with 639 Lean-checked results

The U.S. wants to contain China’s AI. Silicon Valley keeps using it

Bielik.ai: Community-built, open-source LLMs for Polish and European languages

OverpAId – Fire your CEO. Hire the future

Planned Updates to the PyPI User Interface

Flock Said Its Cameras Don't Track People. Then a Reporter Proved Them Wrong

The case against crypto (2021)

KDE for Enterprise Needs a Strong PIM Infrastructure

Chinese companies are taking over the EV market. What's behind their rise?

OpenAI expands to Israel: first commercial hires and tech outreach

Empathy and delight mean nothing when the software is disrespectful

Awesome edge computing

Making Xen's dom0 I/O path NUMA aware

Firefox Is Back on X

The Most Famous AI Writing Tic Is Also the Most Mysterious

Show HN: DSCI – Forgejo CI with programming languages instead of YAML

Show HN: add-reasoning-to-prs: a hook that adds unnoticed assumptions to PR desc

Monte Kali

Shadow: Experimentation tool simplifies research, dev, testing and eval of app