Virtual Cells (udara.io)

1 points by udara 1m ago 1 comments

Show HN: Magic Machines (magicmachines.co)

1 points by xyz_steven 1m ago 0 comments

Show HN: I Processed Brazil's 85GB Open Company Registry So You Don't Have To (github.com)

1 points by caiopizzol 1m ago 0 comments

An in-depth guide to MCP tool design (stainless.com)

1 points by minks96 3m ago 0 comments

Why is SO2 not considered a major greenhouse gas? (quora.com)

2 points by Bluestein 4m ago 0 comments

Google, Scale AI's largest customer, plans split after Meta deal, sources say (reuters.com)

1 points by Palmik 4m ago 0 comments

Verified Dynamic Programming with Σ-types in Lean (tannerduve.github.io)

1 points by rck 5m ago 0 comments

Developing RAG Based LLM Systems from PDFs: An Experience Report (2024) (arxiv.org)

1 points by teleforce 11m ago 1 comments

It's Official: Streaming Is Now the King of TV (nytimes.com)

3 points by jaredwiener 13m ago 1 comments

Deploying DeepSeek on GB200 NVL72 with PD and Large Scale EP: 2.7x Throughput (lmsys.org)

1 points by gmays 14m ago 0 comments

Free Notion Templates for Creators, Freelancers, and Students (notionrealm.com)

1 points by Homos 16m ago 0 comments

Show HN: Tududi – Self-Hosted Task Manager with Telegram and i18n (github.com)

2 points by cvicpp123 17m ago 0 comments

Show HN: A voice-controlled image editor for meetings (github.com)

1 points by ruben-davia 18m ago 0 comments

How Many Versions of "X" Are in My $Path? (olafalders.com)

1 points by oalders 18m ago 0 comments

Show HN: AI Physics Tutor with Free Body Diagrams (physicsviewer.com)

1 points by andrewrn 18m ago 0 comments

Rethinking Text-Based Protein Understanding: Retrieval or LLM? (arxiv.org)

1 points by PaulHoule 19m ago 0 comments

Show HN: GenSpeed – AI Text Humanizer and Detector Bypas (genspeed.ai)

1 points by yanwenai2021 21m ago 0 comments

Apple must face consumer lawsuit over iCloud storage, US judge rules (reuters.com)

2 points by ksec 21m ago 0 comments

Social media overtakes TV as Americans' top news source (niemanlab.org)

4 points by ksec 22m ago 0 comments

React-Searchable-Dropdown (github.com)

1 points by luciodale 22m ago 2 comments

How the YOLO supply chain attacks could have been prevented (bmicklea.substack.com)

2 points by jesserwilliams 23m ago 0 comments

Secure MCP Gateway – The Open Source Security Layer Your MCP Server Needs (github.com)

1 points by theoffice 24m ago 0 comments

End of free hand luggage on EU flights approaching (theportugalnews.com)

3 points by aa_is_op 26m ago 0 comments

Biome v2–Codename: Biotype (biomejs.dev)

4 points by martpie 27m ago 1 comments

Show HN: Founders Match – The First AI-Powered Co-Founder Matching Platform (foundersmatch.ai)

1 points by al3cs 27m ago 0 comments

OpenAI and Microsoft Execs Reportedly Considering the 'Nuclear Option' (gizmodo.com)

3 points by jawns 27m ago 1 comments

I built an MCP server so Cursor can pull full product requirements (dalehurley.com)

1 points by dalemhurley 29m ago 2 comments

Wanna hear your thoughts on a desk virtual pet companion (docs.google.com)

2 points by Klwy 32m ago 2 comments

The Hamburger-Menu Icon Today: Is It Recognizable? (nngroup.com)

14 points by thm 32m ago 9 comments

The State of Search in the AI Era with Don MacKinnon [audio] (thecloudgambit.com)

1 points by mooreds 37m ago 0 comments

Developing an Internal Tool for Our Puzzle Editor (open.nytimes.com)

2 points by japrozs 38m ago 0 comments

Detection of cancers three years prior to diagnosis using plasma cell-free DNA (aacrjournals.org)

3 points by ahlCVA 38m ago 1 comments

Toady is a Python CLI tool that simplifies GitHub pull request reviews (github.com)

1 points by mooreds 38m ago 0 comments

Introducing: KitchenEDU (thefoodcorridor.com)

2 points by mooreds 39m ago 0 comments

'AI is not doing its job and should leave us alone' says Gartner's top analyst (theregister.com)

6 points by rntn 41m ago 1 comments

Kneading Dough Is Chaotic (youtube.com)

1 points by ash_grimnebulin 41m ago 0 comments

Ask HN: In a guide to inner work for founders and engs, what topics to cover?

1 points by cjbarber 41m ago 0 comments

Why it costs India so little to reach the Moon and Mars (bbc.com)

2 points by andsoitis 41m ago 0 comments

Language Models in Plato's Cave (sergeylevine.substack.com)

1 points by julianh65 42m ago 0 comments

Animal Crossing for the GameCube has been decompiled (gbatemp.net)

2 points by OuterVale 42m ago 0 comments

Visual History of the Latin Alphabet (uclab.fh-potsdam.de)

1 points by speckx 42m ago 0 comments

The Best For the Most for the Least (theparisreview.org)

1 points by bookofjoe 43m ago 0 comments

Bioinformatics CLI like agrep running on GPU in the language mojo (github.com)

2 points by cariaso 43m ago 1 comments

Oxford Street to be pedestrianised as quick as possible, London Mayor says (bbc.co.uk)

1 points by v5v3 43m ago 0 comments

Adobe made a mobile app for its Firefly generative AI tools (theverge.com)

1 points by thm 43m ago 0 comments

Many of Dead Sea scrolls may be older than thought (theguardian.com)

2 points by gmays 43m ago 0 comments

Tongue Move – Instant Brain Reset [video] (youtube.com)

1 points by keepamovin 43m ago 1 comments

please add an option to block or disable "AI" (github.com)

17 points by cratermoon 44m ago 0 comments

Google's Advanced Protection Arrives on Android: Should You Use It? (eff.org)

3 points by leephillips 45m ago 0 comments

Fartcoin Bucks Market Trend, Jumps 12% on Coinbase Listing Plan (coindesk.com)

2 points by PaulHoule 45m ago 0 comments

Verified Dynamic Programming with Σ-types in Lean

1 rck 0 6/17/2025, 2:28:30 PM tannerduve.github.io ↗

Comments (0)

No comments yet