What is AGI? Nobody agrees, and it's tearing Microsoft and OpenAI apart (arstechnica.com)

1 points by merksittich 2m ago 0 comments

G+D Netcetera used Rama to 100x the performance of a product used by millions (blog.redplanetlabs.com)

1 points by tosh 3m ago 0 comments

Flowchart (Part 2) (files.catbox.moe)

1 points by lihaciudaniel 4m ago 0 comments

TurnFormal: Theorem Prover Written in Rust (github.com)

1 points by adamnemecek 5m ago 0 comments

Ukraine urges investigation into alleged Russian chemical weapons use (reuters.com)

2 points by c420 6m ago 0 comments

Anyone else tired of the AI hype?

3 points by d00mB0t 6m ago 0 comments

Content authenticity initiative in the age of AI (contentauthenticity.org)

1 points by andsoitis 7m ago 0 comments

AnyBlox: A Framework for Self-Decoding Datasets (gienieczko.com)

3 points by nvais 8m ago 0 comments

Notes on Growing Old(er) (ian-leslie.com)

2 points by jger15 9m ago 0 comments

Show HN: Agentic AI for Procurement (ubiai.tools)

1 points by Mesterniz 10m ago 0 comments

Show HN: JD Vance Boarding Passes for Airport Checkin (vance.darefail.com)

1 points by jimhi 10m ago 0 comments

Intel Cuts More Than 500 Jobs in Oregon as Part of Layoff Plan (bloomberg.com)

2 points by toomuchtodo 11m ago 1 comments

The Site of the Jonestown Massacre Opens to Tourists. Some Ask Why (nytimes.com)

1 points by johnshades 11m ago 0 comments

How the One Big Beautiful Bill Impacts High Earning FAANG Employees (faangfire.com)

1 points by skadamat 11m ago 0 comments

Scira – Selfhostable AI Search (github.com)

1 points by oldfuture 11m ago 0 comments

SoftBank-Backed Ola in Crisis Mode a Year After Blockbuster IPO in India (bloomberg.com)

2 points by Brajeshwar 11m ago 1 comments

Caching (planetscale.com)

2 points by milar 11m ago 0 comments

Digital Photo Frame Looks Like Paper and Doesn't Need an Outlet (petapixel.com)

2 points by PaulHoule 17m ago 0 comments

Junior Roles Aren't Going Away (iamcharliegraham.substack.com)

7 points by tylerg 20m ago 7 comments

NOAA and Google team up to advance AI hurricane forecast models (techpartnerships.noaa.gov)

3 points by geox 20m ago 1 comments

Links for July: eyes, money, nepotism, scribbles, futarchy, war and peace, yams (dynomight.net)

1 points by crescit_eundo 20m ago 0 comments

Show HN: Oso Authorization for SQLAlchemy (osohq.com)

10 points by RobSpectre 22m ago 0 comments

A negative leap second might happen as soon as 2029 (pbs.org)

2 points by esaym 25m ago 0 comments

Tether invests in Crystal Intelligence for tracing blockchain transactions (tether.io)

2 points by wslh 25m ago 0 comments

AMD Transient Scheduler Attacks (amd.com)

2 points by tambre 27m ago 0 comments

BlueSCSI-v2: USB to SCSI Bridge Mode (github.com)

1 points by wmlive 28m ago 1 comments

The lost history of the electric car–and what it tells us about the future(2021) (theguardian.com)

1 points by mxfh 30m ago 0 comments

Opossum Attack: Application Layer Desynchronization Using Opportunistic TLS (opossum-attack.com)

1 points by johnmaguire 31m ago 0 comments

Mastodon 4.4 (blog.joinmastodon.org)

5 points by pentagrama 32m ago 0 comments

GitHub Copilot Plans and Pricing (github.com)

1 points by tosh 33m ago 0 comments

Meta Hires Top Apple AI Expert, Continuing Zuckerberg's Recruitment Push (wsj.com)

2 points by bookofjoe 33m ago 1 comments

Reaper – An open-source SDK for finding dead code (blog.sentry.io)

3 points by coloneltcb 37m ago 0 comments

Tesla is in deeper trouble than you think (cnn.com)

4 points by FireBeyond 38m ago 3 comments

Show HN: REST API for Aerodrome/Velodrome DEX – Trade Without Web3 Complexity (marketplace.quicknode.com)

4 points by yaanakbr 40m ago 1 comments

Show HN: Legal Eyes – Turn casual text into legalese with one click (legal-eyes.ai)

1 points by ForgedLabsJames 40m ago 0 comments

Sidechat: Tmux Based AI Assistance (github.com)

3 points by edward 42m ago 0 comments

AirGarage raises $23M Series B to modernize parking (airgarage.com)

3 points by scottfits 43m ago 0 comments

Making a Speedrun Timer in D (bradley.chatha.dev)

1 points by LorenDB 43m ago 0 comments

Smollm3: Smol, multilingual, long-context reasoner LLM (huggingface.co)

19 points by kashifr 43m ago 1 comments

Supply Chain Attacks Are Evolving in 2025: Cases from NPM, PyPI, and CI/CD (xygeni.io)

1 points by fatidevrel 45m ago 1 comments

The Good Sides of Nepotism (atvbt.com)

1 points by MattSayar 45m ago 0 comments

ZipPeek: Windows app to preview, download files from remote ZIP archives (github.com)

1 points by thunderbong 45m ago 0 comments

Most people who buy your game won't play it (howtomarketagame.com)

1 points by CharlesW 45m ago 0 comments

Scanning for Post-Quantum Cryptographic Support (anvilsecure.com)

1 points by tlxio 45m ago 0 comments

Social media now main source of news in US, research suggests (bbc.com)

2 points by sharjeelsayed 46m ago 0 comments

Google can now read your WhatsApp messages (neowin.net)

30 points by bundie 46m ago 2 comments

LambdaConf keynote: Jonathan Blow on the Jai language [video] (youtube.com)

3 points by atombender 47m ago 0 comments

Understanding 'fmt': the trivial document formatter (technicallywewrite.com)

1 points by kirk782 47m ago 0 comments

Anbernic RG Slide coming soon for $180 and up (liliputing.com)

1 points by PaulHoule 47m ago 0 comments

Why Is ChatGPT Telling People to Email Me? (nytimes.com)

1 points by georgecmu 48m ago 1 comments

TurnFormal: Theorem Prover Written in Rust

1 adamnemecek 0 7/8/2025, 4:52:08 PM github.com ↗

Comments (0)

No comments yet