How multiplication is defined in Peano arithmetic

http://devlinsangle.blogspot.com/2011/11/how-multiplication-is-really-defined-in.html

1•nill0•1m ago•0 comments

AI Slop YouTube Channels Are Telling Google About Motorcycles That Don't Exist

https://www.jalopnik.com/1884156/ai-slop-fake-motorcycle-youtube-channels-in-google-searches/

1•Animats•1m ago•1 comments

Pizza delivery monitor alerts to secret Israel attack

https://www.france24.com/en/live-news/20250613-pizza-delivery-monitor-alerts-to-secret-israel-attack

1•TMWNN•3m ago•0 comments

KDE Plasma finally gets Wayland PiP

https://www.neowin.net/news/kde-brings-wayland-pip-to-plasma-65-adds-finishing-touches-to-64-as-release-nears/

1•bundie•3m ago•0 comments

Link Aggregators

https://github.com/Cosmhyccc/linkaggs

2•lcnmrn•12m ago•0 comments

Nvidia and Deutsche Telekom Partner to Advance Germany's Sovereign AI

https://blogs.nvidia.com/blog/nvidia-deutsche-telekom-germany-sovereign-ai/

2•donutloop•16m ago•0 comments

Strace Tips for Better Debugging

https://rrampage.github.io/2025/06/13/strace-tips-for-better-debugging/

2•signa11•17m ago•0 comments

Leading EU Telcos Build AI Infrastructure with Nvidia for Regional Enterprises

https://blogs.nvidia.com/blog/european-telcos-ai-factories/

1•donutloop•17m ago•0 comments

Orange Business and Toshiba to launch commercial quantum-safe service in France

https://www.orange-business.com/en/press/orange-business-toshiba-partner-launch-first-commercial-quantum-safe-network-service-france

1•donutloop•18m ago•0 comments

Everything old is new agAIn

https://www.relativesanity.com/articles/ai-ai-ai/

1•lylo•18m ago•0 comments

Roof Painters Reflect on Their Role Fighting Climate Change

https://www.thecity.nyc/2025/05/27/cool-roofs-paint-climate-change/

1•PaulHoule•18m ago•0 comments

Hypershell: A Type-Level DSL for Shell-Scripting in Rust Powered by Context-Gen

https://contextgeneric.dev/blog/hypershell-release/

2•todsacerdoti•20m ago•1 comments

Show HN: Plugin-jj (fish abbreviations plugin for jj)

https://github.com/kapsmudit/plugin-jj

1•kapsmudit•21m ago•0 comments

Show HN: I built a library of free Google Sheets and Excel templates

https://docsjam.com/

1•alexandru84•25m ago•0 comments

NoVNC, the open-source VNC browser client

https://noVNC.com/info.html

1•gjvc•35m ago•1 comments

Just shipped LandscapioAI – AI-generated landscape plans with ±15% cost estimate

https://www.landscapioai.com/

1•IhusanAdam•37m ago•2 comments

What's New in Chromium 137.0.7151.104

https://arc.net/e/988EDA36-CF76-43F9-98EA-6C9F8607A815

1•b0a04gl•41m ago•0 comments

Meta-analysis of three different notions of software complexity

https://typesanitizer.com/blog/complexity-definitions.html

1•ingve•42m ago•0 comments

Dance Captcha

https://dance-captcha.vercel.app/

1•denysvitali•44m ago•0 comments

Night and Fog (2003)

https://www.criterion.com/current/posts/288-night-and-fog

1•Tomte•45m ago•0 comments

Facebook's Relay for React v20 released

https://github.com/facebook/relay/releases/tag/v20.0.0

1•darqis•49m ago•0 comments

RAG Anti-Patterns

https://jxnl.co/writing/2025/06/11/rag-anti-patterns-with-skylar-payne/

2•ignoramous•50m ago•0 comments

M3-Fleu Instrumental

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

1•codecarter•1h ago•0 comments

Local AI for Private, Uncensored Chat on iPhone, iPad, and Mac

https://privatellm.app/en

2•doener•1h ago•0 comments

Bamboo-Copter

https://en.wikipedia.org/wiki/Bamboo-copter

1•tosh•1h ago•0 comments

How Ireland became the Saudi Arabia of siphoned-off global profits

https://www.economist.com/europe/2025/06/12/how-ireland-became-the-saudi-arabia-of-siphoned-off-global-profits

1•austinallegro•1h ago•1 comments

The BBC uses robo-cameras disguised as dung heaps to film wildlife up close

https://old.reddit.com/r/nextfuckinglevel/comments/1k7ggw8/the_bbc_uses_robocameras_disguised_as_dung_heaps/

2•palmfacehn•1h ago•0 comments

Datalog in Rust

https://github.com/frankmcsherry/blog/blob/master/posts/2025-06-03.md

3•Bogdanp•1h ago•0 comments

The long afterlife of a literary classic

https://thecritic.co.uk/the-long-afterlife-of-a-literary-classic/

1•pepys•1h ago•0 comments

Apple WWDC25: Platforms State of the Union [video]

https://developer.apple.com/videos/play/wwdc2025/102/

2•tosh•1h ago•0 comments

How multiplication is defined in Peano arithmetic

AI Slop YouTube Channels Are Telling Google About Motorcycles That Don't Exist

Pizza delivery monitor alerts to secret Israel attack

KDE Plasma finally gets Wayland PiP

Link Aggregators

Nvidia and Deutsche Telekom Partner to Advance Germany's Sovereign AI

Strace Tips for Better Debugging

Leading EU Telcos Build AI Infrastructure with Nvidia for Regional Enterprises

Orange Business and Toshiba to launch commercial quantum-safe service in France

Everything old is new agAIn

Roof Painters Reflect on Their Role Fighting Climate Change

Hypershell: A Type-Level DSL for Shell-Scripting in Rust Powered by Context-Gen

Show HN: Plugin-jj (fish abbreviations plugin for jj)

Show HN: I built a library of free Google Sheets and Excel templates

NoVNC, the open-source VNC browser client

Just shipped LandscapioAI – AI-generated landscape plans with ±15% cost estimate

What's New in Chromium 137.0.7151.104

Meta-analysis of three different notions of software complexity

Dance Captcha

Night and Fog (2003)

Facebook's Relay for React v20 released

RAG Anti-Patterns

M3-Fleu Instrumental

Local AI for Private, Uncensored Chat on iPhone, iPad, and Mac

Bamboo-Copter

How Ireland became the Saudi Arabia of siphoned-off global profits

The BBC uses robo-cameras disguised as dung heaps to film wildlife up close

Datalog in Rust

The long afterlife of a literary classic

Apple WWDC25: Platforms State of the Union [video]

OxCaml

How multiplication is defined in Peano arithmetic

AI Slop YouTube Channels Are Telling Google About Motorcycles That Don't Exist

Pizza delivery monitor alerts to secret Israel attack

KDE Plasma finally gets Wayland PiP

Link Aggregators

Nvidia and Deutsche Telekom Partner to Advance Germany's Sovereign AI

Strace Tips for Better Debugging

Leading EU Telcos Build AI Infrastructure with Nvidia for Regional Enterprises

Orange Business and Toshiba to launch commercial quantum-safe service in France

Everything old is new agAIn

Roof Painters Reflect on Their Role Fighting Climate Change

Hypershell: A Type-Level DSL for Shell-Scripting in Rust Powered by Context-Gen

Show HN: Plugin-jj (fish abbreviations plugin for jj)

Show HN: I built a library of free Google Sheets and Excel templates

NoVNC, the open-source VNC browser client

Just shipped LandscapioAI – AI-generated landscape plans with ±15% cost estimate

What's New in Chromium 137.0.7151.104

Meta-analysis of three different notions of software complexity

Dance Captcha

Night and Fog (2003)

Facebook's Relay for React v20 released

RAG Anti-Patterns

M3-Fleu Instrumental

Local AI for Private, Uncensored Chat on iPhone, iPad, and Mac

Bamboo-Copter

How Ireland became the Saudi Arabia of siphoned-off global profits

The BBC uses robo-cameras disguised as dung heaps to film wildlife up close

Datalog in Rust

The long afterlife of a literary classic

Apple WWDC25: Platforms State of the Union [video]