Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com)

1 points by diginova 3m ago 0 comments

Unnecessariat (2016) (morecrows.wordpress.com)

1 points by kunzhi 5m ago 0 comments

Finding Love Optimally (mat.tepper.cmu.edu)

1 points by TMWNN 5m ago 0 comments

Chinese rocket Zhuque-2E creates light streak in US night sky (digitalcameraworld.com)

1 points by astroimagery 6m ago 1 comments

The Hitchhiker's Guide to Dark Pools in DeFi (research.2077.xyz)

1 points by rapawel 7m ago 0 comments

HAProxy 3.2 Is Released (haproxy.com)

1 points by causenad 8m ago 0 comments

Apache Iceberg in Modern Data Architectures: A Comprehensive Report (blog.twingdata.com)

1 points by dangoldin 8m ago 0 comments

Linkhut: An Open-Source Social Bookmarking Service (linkhut.org)

2 points by stefankuehnel 9m ago 0 comments

Public-Inbox: An "Archives First" Approach to Mailing Lists (public-inbox.org)

2 points by stefankuehnel 9m ago 0 comments

Go Go Hugo blog (2013) (spf13.com)

1 points by indigodaddy 10m ago 0 comments

A Game of Schelling Points: Can You Predict the Crowd? (oetm.ch)

2 points by kmisiunas 10m ago 0 comments

aerc: An Email Client with Support for Working with Git and Email (aerc-mail.org)

2 points by stefankuehnel 10m ago 0 comments

Electric buses don't like the cold, study finds (news.cornell.edu)

4 points by giuliomagnifico 11m ago 1 comments

Vaquilla claims responsibility for a data breach involving Amazon Spain (twitter.com)

2 points by marvel_boy 13m ago 1 comments

Google CEO Sundar Pichai on the future of search, AI agents, and selling Chrome (theverge.com)

2 points by LAsteNERD 14m ago 0 comments

Can AI Beat a Human Dev? Jules vs. Codex on Live Django and Postgres Issues (stepchange.work)

5 points by niallohiggins 15m ago 0 comments

A Reality Check for Tech Oligarchs (theatlantic.com)

3 points by JumpCrisscross 16m ago 0 comments

EU on track to meet 2030 emissions goals (euronews.com)

2 points by causenad 17m ago 1 comments

AWS Revives and Updates Its Customer Carbon Footprint Tool (thenewstack.io)

1 points by chhum 17m ago 0 comments

Be Disciplined (ntuthukohlela.github.io)

1 points by Ntuthuko_hlela 20m ago 0 comments

Show HN: European Accessibility Act – Simple CLI Checker (github.com)

3 points by ebod 21m ago 0 comments

A new stats method cracked open a better view of near-space (lanl.gov)

2 points by LAsteNERD 21m ago 0 comments

Unhappy Meals (2007) (michaelpollan.com)

1 points by pramodbiligiri 22m ago 0 comments

From the Creators of Shortcuts, Sky Extends AI and Automation to Entire Your Mac (macstories.net)

1 points by FrancoisBosun 22m ago 0 comments

The Rise and Fall of Dark Web Vendor (wired.com)

2 points by zafka 27m ago 0 comments

Version Story (versionstory.com)

1 points by handfuloflight 27m ago 0 comments

Carney says he wants Canada to join major European defence plan by July first (bbc.com)

6 points by sillyfluke 27m ago 0 comments

Claude Squad (github.com)

2 points by handfuloflight 30m ago 0 comments

Show HN: Octogen: e-commerce capabilities for agents (octogen.ai)

5 points by marram 30m ago 0 comments

AI decides on trolley problems [video] (youtube.com)

2 points by surprisetalk 31m ago 0 comments

The Economics of Bug Finding (jazzberry.ai)

2 points by MarcoDewey 31m ago 0 comments

I Made a Logo for HN (drive.google.com)

1 points by anishjain123 31m ago 0 comments

Each 10 mg/dL drop in ApoB cuts heart disease risk by 9% (empirical.health)

4 points by brandonb 31m ago 0 comments

AI can't match the human art of translation (observer.co.uk)

1 points by jamager 34m ago 0 comments

Nathan Fielder: An Exhaustive Character Study (bobbby.online)

1 points by rhgraysonii 35m ago 1 comments

The Unstable Queen (mtmason.com)

1 points by v9v 36m ago 0 comments

Most Americans don't earn enough to afford basic costs of living, analysis finds (cbsnews.com)

3 points by rawgabbit 38m ago 4 comments

Pulsing object in space is 'unlike anything we have seen before' (cnn.com)

1 points by mooreds 39m ago 0 comments

Poke (poke.cx)

1 points by kaushalvivek 39m ago 0 comments

Saying Bye to Glitch (pketh.org)

2 points by Tomte 41m ago 0 comments

Drinking your sugar is more problematic for health than eating it (news.byu.edu)

3 points by thisislife2 41m ago 0 comments

Apple to Rebrand Its Device Operating Systems to Mark Major Overhaul (bloomberg.com)

3 points by mfiguiere 42m ago 2 comments

The California Delete Act (leginfo.legislature.ca.gov)

2 points by 1vuio0pswjnm7 44m ago 0 comments

Announcing Angular v20 (blog.angular.dev)

1 points by vyrotek 45m ago 0 comments

Low-Acceleration Gravitational Anomaly Bayesian 3D Modeling Wide Binary Orbits (iopscience.iop.org)

1 points by nobody9999 47m ago 1 comments

Why founders fail, despite being good at coding and high IQ (twitter.com)

2 points by rmason 47m ago 0 comments

Fun with Veo 3 and Media Generation (twitter.com)

2 points by Michelangelo11 47m ago 0 comments

Israeli strikes destroy last plane at Yemen rebels' airport (france24.com)

5 points by nosianu 48m ago 1 comments

Six Months with a Corne Keyboard (justinmklam.com)

1 points by thehaikuza 50m ago 0 comments

Odyssey's new AI model streams 3D interactive worlds (techcrunch.com)

2 points by Sourabhsss1 50m ago 0 comments

Salesforce Acquires Informatica

3 statictype 1 5/27/2025, 4:03:07 PM investor.salesforce.com ↗

Comments (1)

jprd · 1d ago

* Bring out your dead *