How multiplication is defined in Peano arithmetic (devlinsangle.blogspot.com)

1 points by nill0 1m ago 0 comments

AI Slop YouTube Channels Are Telling Google About Motorcycles That Don't Exist (jalopnik.com)

1 points by Animats 1m ago 1 comments

Pizza delivery monitor alerts to secret Israel attack (france24.com)

1 points by TMWNN 3m ago 0 comments

KDE Plasma finally gets Wayland PiP (neowin.net)

1 points by bundie 3m ago 0 comments

Link Aggregators (github.com)

2 points by lcnmrn 12m ago 0 comments

Nvidia and Deutsche Telekom Partner to Advance Germany's Sovereign AI (blogs.nvidia.com)

2 points by donutloop 16m ago 0 comments

Strace Tips for Better Debugging (rrampage.github.io)

2 points by signa11 17m ago 0 comments

Leading EU Telcos Build AI Infrastructure with Nvidia for Regional Enterprises (blogs.nvidia.com)

1 points by donutloop 17m ago 0 comments

Orange Business and Toshiba to launch commercial quantum-safe service in France (orange-business.com)

1 points by donutloop 18m ago 0 comments

Everything old is new agAIn (relativesanity.com)

1 points by lylo 18m ago 0 comments

Roof Painters Reflect on Their Role Fighting Climate Change (thecity.nyc)

1 points by PaulHoule 18m ago 0 comments

Hypershell: A Type-Level DSL for Shell-Scripting in Rust Powered by Context-Gen (contextgeneric.dev)

2 points by todsacerdoti 20m ago 1 comments

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

1 points by kapsmudit 21m ago 0 comments

Show HN: I built a library of free Google Sheets and Excel templates (docsjam.com)

1 points by alexandru84 25m ago 0 comments

NoVNC, the open-source VNC browser client (novnc.com)

1 points by gjvc 35m ago 1 comments

Just shipped LandscapioAI – AI-generated landscape plans with ±15% cost estimate (landscapioai.com)

1 points by IhusanAdam 37m ago 2 comments

What's New in Chromium 137.0.7151.104 (arc.net)

1 points by b0a04gl 41m ago 0 comments

Meta-analysis of three different notions of software complexity (typesanitizer.com)

1 points by ingve 42m ago 0 comments

Dance Captcha (dance-captcha.vercel.app)

1 points by denysvitali 44m ago 0 comments

Night and Fog (2003) (criterion.com)

1 points by Tomte 45m ago 0 comments

Facebook's Relay for React v20 released (github.com)

1 points by darqis 49m ago 0 comments

RAG Anti-Patterns (jxnl.co)

2 points by ignoramous 50m ago 0 comments

M3-Fleu Instrumental (youtube.com)

1 points by codecarter 1h ago 0 comments

Local AI for Private, Uncensored Chat on iPhone, iPad, and Mac (privatellm.app)

2 points by doener 1h ago 0 comments

Bamboo-Copter (en.wikipedia.org)

1 points by tosh 1h ago 0 comments

How Ireland became the Saudi Arabia of siphoned-off global profits (economist.com)

1 points by austinallegro 1h ago 1 comments

The BBC uses robo-cameras disguised as dung heaps to film wildlife up close (old.reddit.com)

2 points by palmfacehn 1h ago 0 comments

Datalog in Rust (github.com)

3 points by Bogdanp 1h ago 0 comments

The long afterlife of a literary classic (thecritic.co.uk)

1 points by pepys 1h ago 0 comments

Apple WWDC25: Platforms State of the Union [video] (developer.apple.com)

2 points by tosh 1h ago 0 comments

Voice-controlled agentic robot with pi0 (github.com)

4 points by danqing0703 1h ago 1 comments

Associations Between Demographic and Relationship Variables and Sexual Desire (researchsquare.com)

1 points by mpweiher 1h ago 0 comments

Last fifty years of integer linear programming: Recent practical advances (inria.hal.science)

2 points by teleforce 1h ago 0 comments

Google Cloud Incident Report – 2025-06-13 (status.cloud.google.com)

5 points by denysvitali 1h ago 1 comments

A Realtime Multimodal AI Agent Framework with Go/Python/C++/Node Extension SDKs (theten.ai)

1 points by halajohn 1h ago 1 comments

Show HN: A Product to Feature Your Products (go-publicly.com)

1 points by Sathish_t 1h ago 2 comments

AI Makes Students Dumb and What We Can Do About It (medium.com)

3 points by jruohonen 1h ago 1 comments

Great Blue Norther of November 11, 1911 (en.wikipedia.org)

2 points by gametorch 1h ago 0 comments

Chatty I/O antipattern (2022) (learn.microsoft.com)

3 points by motorest 1h ago 1 comments

ScienceDirect AI (elsevier.com)

1 points by jruohonen 1h ago 1 comments

Farewell Economy 7, a Casualty of the Long Wave Switch-Off (hackaday.com)

3 points by austinallegro 1h ago 0 comments

Builder.ai did not "fake AI with 700 engineers" (blog.pragmaticengineer.com)

13 points by todsacerdoti 1h ago 4 comments

Synthesis of hafnium carbide via one-step selective laser reaction pyrolysis (ceramics.onlinelibrary.wiley.com)

1 points by PaulHoule 1h ago 1 comments

Lisp Machine (en.wikipedia.org)

2 points by doener 1h ago 1 comments

How to Write the Worst Possible Python Code (Humor) (effective-programmer.com)

2 points by naveed125 1h ago 0 comments

The most reliable AI agent that works – where Claude, Gemini, and o3 fail (substack.recursal.ai)

1 points by djshah 1h ago 0 comments

AI agent startups at Y Combinator’s Spring ’25 Demo Day (businessinsider.com)

15 points by aspenmayer 1h ago 11 comments

Roll: Reinforcement Learning Optimization for Large-Scale Learning (github.com)

1 points by robertnishihara 1h ago 0 comments

The Talented Ms. Highsmith (yalereview.org)

2 points by Caiero 1h ago 0 comments

How Are Students Using Generative AI in UK Universities? (markcarrigan.net)

1 points by jruohonen 1h ago 2 comments

NoVNC, the open-source VNC browser client

1 gjvc 1 6/14/2025, 7:02:17 AM novnc.com ↗

Comments (1)

gjvc · 34m ago

as used by for example https://online.interlisp.org/