How to Search for Theorems in Lean 4 (lakesare.brick.do)

2 points by lakesare 2m ago 0 comments

Ask HN: Is Labelling AI Output as AI-Slop Just AI-Phobia?

1 points by franze 3m ago 0 comments

European Cloud Modules (berthub.eu)

1 points by Sami_Lehtinen 7m ago 0 comments

Financial 'stretch' for UK to join Europe's Starlink rival, says minister (theregister.com)

1 points by rntn 12m ago 0 comments

The biggest health transformation in US history might start at Dollar General? (foodishealth.substack.com)

2 points by jcarterwil 13m ago 2 comments

Wikipedia is no longer up to date and contains many errors (German, Paywall) (faz.net)

1 points by doener 14m ago 0 comments

The Peculiar and Biting Calvin Coolidge Wit (newenglandhistoricalsociety.com)

1 points by Y_Y 14m ago 0 comments

Planned Obsolescence (forum.hearingtracker.com)

1 points by madspindel 17m ago 0 comments

Windows 11 Notepad's rich text formatting (Markdown) is now available (windowslatest.com)

1 points by ksec 17m ago 1 comments

Ask HN: Requests for Software – have something you want built?

1 points by NewUser76312 18m ago 0 comments

How U.S. Tourists Are Dealing with a New Animosity Overseas (wsj.com)

2 points by bookofjoe 18m ago 1 comments

Software Engineering Teams Need an AI Maturity Model (github.com)

1 points by Gigacore 19m ago 0 comments

Show HN: Intentflow – YAML-based UX engine with flags, tooltips, and LLM routing (github.com)

1 points by Beefin 19m ago 0 comments

Mobotoys – Museum of Battery Operated Toys (mobotoys.org)

1 points by Tomte 21m ago 0 comments

How Can AirPods Be Tracked Without GPS?

1 points by ghttp 22m ago 0 comments

Heart attacks aren't as fatal as they used to be (vox.com)

2 points by lr0 22m ago 0 comments

Comet 3I/Atlas (science.nasa.gov)

1 points by tanelpoder 23m ago 1 comments

macOS Icon History (basicappleguy.com)

2 points by ksec 24m ago 0 comments

The Most Powerful Medium Has No Rulebook (thereader.mitpress.mit.edu)

1 points by EA-3167 26m ago 0 comments

Eumetsat Data Store (data.eumetsat.int)

1 points by doener 26m ago 0 comments

Words to Avoid: AI (gnu.org)

2 points by lr0 27m ago 0 comments

New Versions of HercPrt and HercGUI Released – SoftDevLabs (softdevlabs.com)

1 points by rbanffy 28m ago 0 comments

The Revolution Will Be Cognitive – By Caroline Orr Bueno (weaponizedspaces.substack.com)

2 points by rbanffy 30m ago 0 comments

Underwater archaeologist reveals the stories behind haunting shipwrecks (cbsnews.com)

1 points by Brajeshwar 31m ago 0 comments

CVEs in Bluetooth Headphones and Earbuds (insinuator.net)

1 points by n_plus_1_acc 32m ago 0 comments

Inside a Utah desert facility preparing humans for life on Mars (cnbc.com)

1 points by pseudolus 32m ago 0 comments

New synthetic polymer is light, hard and kills viruses (heise.de)

1 points by doener 33m ago 0 comments

Is a Name for the Root Cause of Experiences (substack.com)

1 points by fcpguru 33m ago 0 comments

'Positive review only': Researchers hide AI prompts in papers (asia.nikkei.com)

14 points by ohjeez 34m ago 3 comments

Which Lisp? Beginner

2 points by willschetelich 35m ago 1 comments

Rapid emergence of a maths gender gap in first grade (nature.com)

2 points by bikenaga 40m ago 1 comments

Evolving Cellular Automata (github.com)

1 points by xcontcom 42m ago 0 comments

Blufire, Quantum Partner Planning "Quantum Interconnected Singularity" Project

1 points by Needleworker333 42m ago 0 comments

The Reality My Medicaid Patients Face (theatlantic.com)

2 points by petethomas 44m ago 0 comments

Identification of proliferating neural progenitors in adult human hippocampus (science.org)

1 points by bikenaga 46m ago 0 comments

Tell HN: You owe it to yourself to understand nutrition

9 points by prmph 47m ago 19 comments

Show HN: Drop-in replacement for QLineEdit and QTextEdit with Vim keybindings (github.com)

1 points by hexomancer 48m ago 0 comments

Million Times Million (susam.net)

3 points by susam 48m ago 0 comments

Google's AI Overviews hit by EU antitrust complaint from independent publishers (reuters.com)

3 points by nreece 54m ago 0 comments

ArduPilot (ardupilot.org)

1 points by marklit 1h ago 0 comments

China pours money into brain chips that give paralysed people more control (nature.com)

2 points by bookofjoe 1h ago 1 comments

Hued: A daily color puzzle game (playhued.com)

3 points by gaws 1h ago 1 comments

Local-first software: You own your data, in spite of the cloud (inkandswitch.com)

66 points by gasull 1h ago 8 comments

Show HN: atproto.at – AT Protocol Explorer (sri.xyz)

2 points by irs 1h ago 0 comments

Musk and co should ask AI what defines intelligence. They may learn something (observer.co.uk)

7 points by almost-exactly 1h ago 3 comments

Isolation as a Business Model (m365princess.com)

2 points by rntn 1h ago 0 comments

$88M pollution-tracking satellite missing in space (bbc.com)

1 points by Brajeshwar 1h ago 0 comments

Deep Earth pulses beneath Africa are tearing the continent apart (newatlas.com)

1 points by Brajeshwar 1h ago 0 comments

'Trained monkey' from tech support saved manager with a single keypress (theregister.com)

1 points by Brajeshwar 1h ago 0 comments

Welcome to Dallas: The City That Just Can't Stop Expanding (wsj.com)

2 points by _tk_ 1h ago 3 comments

An introduction to V – the vlang (2022) [video]

3 hggh 0 7/5/2025, 10:21:22 AM debconf22.debconf.org ↗

Comments (0)

No comments yet