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

1 points by diginova 2m ago 0 comments

Unnecessariat (2016) (morecrows.wordpress.com)

1 points by kunzhi 4m 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 5m ago 1 comments

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

1 points by rapawel 6m ago 0 comments

HAProxy 3.2 Is Released (haproxy.com)

1 points by causenad 7m ago 0 comments

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

1 points by dangoldin 7m ago 0 comments

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

1 points by stefankuehnel 8m ago 0 comments

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

1 points by stefankuehnel 9m ago 0 comments

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

1 points by indigodaddy 9m ago 0 comments

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

2 points by kmisiunas 9m 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 10m ago 0 comments

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

2 points by marvel_boy 12m 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)

4 points by niallohiggins 15m ago 0 comments

A Reality Check for Tech Oligarchs (theatlantic.com)

3 points by JumpCrisscross 15m ago 0 comments

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

2 points by causenad 16m 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 20m 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 21m ago 0 comments

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

1 points by FrancoisBosun 21m ago 0 comments

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

2 points by zafka 26m ago 0 comments

Version Story (versionstory.com)

1 points by handfuloflight 26m 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 29m 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 30m ago 0 comments

The Economics of Bug Finding (jazzberry.ai)

2 points by MarcoDewey 30m ago 0 comments

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

1 points by anishjain123 30m 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 33m ago 0 comments

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

1 points by rhgraysonii 34m ago 1 comments

The Unstable Queen (mtmason.com)

1 points by v9v 35m ago 0 comments

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

3 points by rawgabbit 37m ago 4 comments

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

1 points by mooreds 38m ago 0 comments

Poke (poke.cx)

1 points by kaushalvivek 39m ago 0 comments

Saying Bye to Glitch (pketh.org)

2 points by Tomte 40m 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 43m ago 0 comments

Announcing Angular v20 (blog.angular.dev)

1 points by vyrotek 44m ago 0 comments

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

1 points by nobody9999 46m ago 1 comments

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

2 points by rmason 46m 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 47m ago 1 comments

Six Months with a Corne Keyboard (justinmklam.com)

1 points by thehaikuza 49m ago 0 comments

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

2 points by Sourabhsss1 49m ago 0 comments

Cyber Hard Problems

2 _tk_ 0 5/27/2025, 6:02:45 AM nap.nationalacademies.org ↗

Comments (0)

No comments yet