1

Pulling a new proof from Knuth's fixed-point printer, with code in Ivy (research.swtch.com)

by fanf2 2 minutes ago | hide | 0 comments

1

I can't believe FreeBSD 15 is faster than Linux Debian 13 in benchmarks, but (grigio.org)

by grigio 10 minutes ago | hide | 0 comments

1

Magic Piano [video] (youtube.com)

by amarvashishth 12 minutes ago | hide | 0 comments

1

(Open Source) Anonymized, live replicas on demand for dev, test and stage (kasho.io)

by binaryfeed 13 minutes ago | hide | 0 comments

1

Does your laptop Mac get scanned for malware? (eclecticlight.co)

by GavinAnderegg 14 minutes ago | hide | 0 comments

1

Goscript: Transpile Go to human-readable TypeScript (github.com)

by aperturecjs 24 minutes ago | hide | 0 comments

1

When AI Speaks, Who Can Prove What It Said? (zenodo.org)

by businessmate 25 minutes ago | hide | 3 comments

1

X Is a Power Problem, Not a Platform Problem (connectedplaces.online)

by robin_reala 25 minutes ago | hide | 0 comments

1

Show HN: Gyesme – exploring modularity and dependency boundaries in GNOME (gyesme.org)

by erikenanja 27 minutes ago | hide | 0 comments

1

How Safe Is the Rust Ecosystem? A Deep Dive into Crates.io (mr-leshiy-blog.web.app)

by todsacerdoti 28 minutes ago | hide | 0 comments

1

My favorite sci-fi books about sci-fi books about understanding the "enemy" (shepherd.com)

by bwb 31 minutes ago | hide | 0 comments

1

My fav books for understanding how AI is changing society and human interaction (shepherd.com)

by bwb 31 minutes ago | hide | 0 comments

1

GPT-5.2 Solves *Another Erdős Problem, #729 (old.reddit.com)

by energy123 32 minutes ago | hide | 0 comments

1

Design Amnesia (blog.ayjay.org)

by kruuuder 32 minutes ago | hide | 0 comments

2

Lego Farming Blocks: Letting AIs Grow Our Food (adlrocha.substack.com)

by adlrocha 35 minutes ago | hide | 0 comments

1

Show HN: A policy enforcement layer for LLM outputs (why prompts weren't enough)

by kundan_s__r 35 minutes ago | hide | 0 comments

3

Ask HN: Senior software engineers, how do you use Claude Code?

by allie1 37 minutes ago | hide | 1 comments

1

Milano Cortina Winter Olympics threatened by Cloudflare funding withdrawal (aljazeera.com)

by DyslexicAtheist 40 minutes ago | hide | 0 comments

1

Show HN: Verdic Guard – Policy Enforcement and Output Validation for LLMs

by kundan_s__r 42 minutes ago | hide | 1 comments

3

Show HN: Show HN submissions have tripled since 2023 (imgur.com)

by anythingworks an hour ago | hide | 1 comments

1

Prompting 101: Show, don't tell (haskellforall.com)

by birdculture an hour ago | hide | 0 comments

2

What's New in Pandas 3.0: Expressions, Copy-on-Write, and Faster Strings (codecut.ai)

by Ben5555 an hour ago | hide | 0 comments

1

Show HN: I created an interactive tool to visualize various ML algorithms (github.com)

by yasharote28 an hour ago | hide | 0 comments

1

Location Aware AI Landscaping (hadaa.pro)

by Fh_ an hour ago | hide | 1 comments

1

Quake Setup Guide (2023) (sarge945.xyz)

by Lammy an hour ago | hide | 0 comments

2

Notion used Product Hunt to grow, not just launch (firstmillion.club)

by elananandhan an hour ago | hide | 0 comments

1

The 3k-Person Team Working in Secret to Create Disney Magic (WSJ) (wsj.com)

by aenean an hour ago | hide | 1 comments

2

Show HN: I auto-generate alt text using Gemini 3 Flash (sarthakmishra.com)

by sarthak_drool an hour ago | hide | 0 comments

15

More than one hundred years of Film Sizes (wichm.home.xs4all.nl)

by exvi an hour ago | hide | 0 comments

2

BTS of OpenTelemetry Instrumentation (newsletter.signoz.io)

by elza_1111 an hour ago | hide | 0 comments

[MAD] Hacker News