Automated Verification of Monotonic Data Structure Traversals in C (arxiv.org)

1 points by MarcoDewey 3m ago 0 comments

Digital Emblems (Diem) (datatracker.ietf.org)

1 points by mrzool 5m ago 0 comments

Why learn Lisp in 2025? (YouTube) (youtube.com)

1 points by fuzztester 8m ago 1 comments

China Parcels (chinaparcels.com)

1 points by PostTrack 8m ago 1 comments

Against Life Extension (persuasion.community)

1 points by anigbrowl 12m ago 0 comments

NRC: Meal Coordinator,GOMa (kivuhub.net)

1 points by aganzeeliud 13m ago 1 comments

Show HN: Nomocrunch Tax Navigator – Free, Simple Tax Estimator for Freelancers (nomocrunch.com)

1 points by frugalHacker 13m ago 0 comments

Show HN: TradesPurple – Save and share the tradespeople you trust (tradespurple.com)

1 points by MaxTB 15m ago 0 comments

Show HN: Simulating Bigtable in BigQuery as a Type 2 SCD (100k+ mutations/sec) (statsig.com)

2 points by experimentctrlz 16m ago 0 comments

The two types of open source (filiph.net)

1 points by thunderbong 19m ago 0 comments

Teaching GPT to Play Chess (app.chesscoach.dev)

1 points by anantdole 22m ago 1 comments

Show HN: My LLM CLI tool can run tools now, from Python code or plugins (simonwillison.net)

8 points by simonw 22m ago 2 comments

Gen AI and Games Podcast: On Device Inference (youtube.com)

1 points by huevosabio 23m ago 0 comments

How Is a Cult Defined and How Can People Get Out? (huijzer.xyz)

1 points by huijzer 24m ago 0 comments

Trump administration moves to cut $100M in federal contracts for Harvard (apnews.com)

7 points by donsupreme 29m ago 3 comments

Made a Changelog generator for your commits (gitsaga.io)

1 points by p_bits 29m ago 1 comments

How a Generation's Struggle Led to a Record Surge in Homelessness (nytimes.com)

1 points by howard941 29m ago 0 comments

Starship's Ninth Flight Test (x.com)

1 points by seagull_sounds 32m ago 0 comments

Inside the Arnett, OK tornado [video] (youtube.com)

1 points by layer8 33m ago 0 comments

Squiggle: A simple programming language for intuitive probabilistic estimation (squiggle-language.com)

1 points by fanf2 33m ago 0 comments

Fundamental forms for characterizing trapezoid-based origami metamaterials (nature.com)

1 points by PaulHoule 35m ago 0 comments

Show HN: I Vibecoded a Python Class Hierarchy Checker (Needs Your Eyes) (github.com)

1 points by adale 36m ago 0 comments

Show HN: Getting full-text scientific content into LLMs+Agents is stupidly hard (valyu.network)

3 points by zk108 38m ago 2 comments

LLM Pricing Calculator (llm-prices.com)

2 points by Bluestein 39m ago 0 comments

Claude Voice Mode Beta (twitter.com)

2 points by brianjking 39m ago 0 comments

Self-Reflective Uncertainties: Do LLMs Know Their Internal Answer Distribution? (arxiv.org)

1 points by badmonster 40m ago 0 comments

Jujutsu from the Trenches (mattjhall.co.uk)

2 points by mattjhall 42m ago 0 comments

Impathy and Emotion Recognition: How Attachment Shapes Emotion Processing (mdpi.com)

1 points by rendx 43m ago 0 comments

Tokyo startup is turning discarded kimonos into stylish sneakers (cnn.com)

2 points by Hoasi 44m ago 0 comments

Sodium-air fuel cell for high energy density and low-cost electric power (cell.com)

2 points by gnabgib 45m ago 0 comments

FFmate – Automate FFmpeg with Clean APIs and Smart Defaults (docs.ffmate.io)

2 points by john-dev 48m ago 1 comments

The Unreliable Nature of Corten Steel for Architectural Applications (spenglerindustries.com)

4 points by Bluestein 48m ago 0 comments

Beyond Compare (scootersoftware.com)

1 points by smartmic 51m ago 0 comments

Dora Research: 2024 (dora.dev)

2 points by cebert 52m ago 0 comments

Harvard’s World-Famous Glass Flowers: Fragile Beauties (2024) (fwtmagazine.com)

3 points by wtp30twice 53m ago 1 comments

MariaDB Acquires Galera Cluster (mariadb.com)

1 points by evanelias 55m ago 0 comments

Show HN: AnyClaude – Claude Code with any LLM (github.com)

3 points by kylecarbs 55m ago 0 comments

Arc-NCA: Towards Developmental Solutions to the Abstraction and Reasoning Corpus (arxiv.org)

1 points by jarmitage 56m ago 0 comments

Concatenative programming and stack-based languages (2023) [video] (youtube.com)

2 points by dcreager 57m ago 0 comments

I put 5 years of community writing into NotebookLM. Here's the audio summary [video] (youtube.com)

2 points by rosiesherry 1h ago 0 comments

All of Paul Graham's essays in 100 words and organized (summarygraham.com)

1 points by pentil_kuda 1h ago 0 comments

School Expelled a 12-Year-Old for a Social Media Post (propublica.org)

2 points by Improvement 1h ago 0 comments

There Are N+1 Hard Things in Computer Science (lukebechtel.com)

2 points by marviel 1h ago 1 comments

In Vietnam, an unlikely outpost for Chicano culture (latimes.com)

16 points by donnachangstein 1h ago 4 comments

They used Xenon to climb Everest in days – is it the future of mountaineering? (nytimes.com)

2 points by nikcub 1h ago 2 comments

10biForthOS: A full 8086 OS in 46 bytes (git.sr.ht)

2 points by mdp2021 1h ago 0 comments

Open Letter Against ProtectEU (tuta.com)

3 points by nickslaughter02 1h ago 1 comments

AI Role in College Brings Education Closer to a Crisis Point (bloomberg.com)

1 points by speckx 1h ago 0 comments

I Am an Audience, First and Foremost (ratsfromrocks.substack.com)

1 points by samclemens 1h ago 0 comments

Chuuchuu - Train travel, made smart (chuuchuu.com)

7 points by recvonline 1h ago 3 comments

Accessing private GitHub repositories via MCP

107 gokhan 1 5/26/2025, 10:53:51 PM invariantlabs.ai ↗

Comments (1)

dang · 16h ago

Comments moved to https://news.ycombinator.com/item?id=44097390.