HN Top Links - Popular Stories from Hacker News

13291.

Milawa is a "self-verifying" theorem prover for an ACL2-like logic (cs.utexas.edu)

2 points by deterministic on Jun 10, 2024 | 1 comments

13292.

HACL: A High-Assurance Cryptographic Library (github.com)

2 points by deterministic on Jun 10, 2024 | 1 comments

13293.

AI Writer – Free, Notion Style Writer with Gen AI Features (ai-writer.org)

2 points by saroyas on Jun 10, 2024 | 1 comments

13294.

Show HN: Insta-infra – Single command quickstart for any tool (github.com)

2 points by pitah1 on Jun 10, 2024 | 1 comments

13295.

Principled coders outperform the competition (with animations) [video] (youtube.com)

2 points by fagnerbrack on Jun 10, 2024 | 1 comments

13296.

Prime Number Puzzle Has Stumped Mathematicians for More Than a Century (scientificamerican.com)

2 points by isaacfrond on Jun 10, 2024 | 1 comments

13297.

How Many Western ICs Are There in Russia's Weapons? (hackaday.com)

2 points by WithinReason on Jun 10, 2024 | 1 comments

13298.

React SSR Framework (paretojs.netlify.app)

2 points by childrentime on Jun 10, 2024 | 1 comments

13299.

Launced AIOps Startup

2 points by Drantaz on Jun 10, 2024 | 1 comments

13300.

Does the first letter of one's name affect life decisions? (psycnet.apa.org)

2 points by geox on Jun 10, 2024 | 1 comments

13301.

Scale Was All We Needed, at First (aiacumen.substack.com)

2 points by Tepix on Jun 10, 2024 | 1 comments

13302.

XP-Dev alternative with support of SVN (rhodecode.com)

2 points by kate_kovbii on Jun 10, 2024 | 1 comments

13303.

A Compact Electrodynamic Pump using Copper and TPU (hackaday.com)

2 points by westurner on Jun 10, 2024 | 1 comments

13304.

Clearing the air: the hidden wonders of indoor plants (2023) (theconversation.com)

2 points by zeristor on Jun 10, 2024 | 1 comments

13305.

Excel Horror Stories (eusprig.org)

2 points by Lukas1994 on Jun 10, 2024 | 1 comments

13306.

Ask HN: Do you subscribe to any RSS feeds or newsletters for LLMs/gen AI?

2 points by pcloadletter_ on Jun 10, 2024 | 1 comments

13307.

The simpler way to manage personal finances (flooz.themarelle.com)

2 points by Eagle64 on Jun 10, 2024 | 1 comments

13308.

AI 'gold rush' for chatbot training data could run out of human-written text (apnews.com)

2 points by sizzle on Jun 10, 2024 | 1 comments

13309.

Microsoft makes Windows Recall opt-in, secures data with Windows Hello (bleepingcomputer.com)

2 points by mumtazvural on Jun 10, 2024 | 1 comments

13310.

Sparxell, the first 100% natural, high-performance biodegradable colour platform (maddyness.com)

2 points by PaulHoule on Jun 10, 2024 | 1 comments

13311.

Urban Package Delivery: Drone-Operated Vertical Shafts for Apartment Buildings (imgur.com)

2 points by omaregeh on Jun 10, 2024 | 1 comments

13312.

Go Evolves in the Wrong Direction (valyala.medium.com)

2 points by todsacerdoti on Jun 11, 2024 | 1 comments

13313.

Lemmy v4.5 – a functional version of the vi editor for Win32 (2005) (web.archive.org)

2 points by Lammy on Jun 11, 2024 | 1 comments

13314.

Solo: Mozilla's No-Code AI Website Creator – Demo and Tutorial [video] (youtube.com)

2 points by pentagrama on Jun 11, 2024 | 1 comments

13315.

Why Barda Deserves More Funding (2022) (ifp.org)

2 points by consumer451 on Jun 11, 2024 | 1 comments

13316.

I made a software that eliminates the need for virtual assistants

2 points by Marionrex on Jun 11, 2024 | 1 comments

13317.

Is AMD's AI Software Ready for Next Data Center GPU? (eetimes.com)

2 points by fvv on Jun 11, 2024 | 1 comments

13318.

Costa cappuccino has five times more caffeine than Starbucks (bbc.com)

2 points by teleforce on Jun 11, 2024 | 1 comments

13319.

iOS 18, macOS Sequoia Let Apps Automatically Update Existing Logins to Passkeys (macrumors.com)

2 points by tosh on Jun 11, 2024 | 1 comments

13320.

China's Ex-Robots develops humanoids with enhanced facial movement (reuters.com)

2 points by adrian_mrd on Jun 11, 2024 | 1 comments