Home / 2025
2025 Archive
13081.
Newgrounds: Flash Forward 2025 (newgrounds.com)
110 points by lsferreira42 5 months ago | 45 comments
13082.
Exposing a web service with Cloudflare Tunnel (2022) (erisa.dev)
110 points by sturza 6 months ago | 44 comments
13083.
Ask HN: Any good tools for viewing congressional bills?
110 points by tlhunter 7 months ago | 40 comments
13084.
Morse Code in Tubular Bells (2021) (madpsy.uk)
110 points by xanderlewis on Jan 23, 2025 | 39 comments
13085.
Show HN: XR2000: A science fiction programming challenge (clearsky.dev)
110 points by richmans 5 months ago | 39 comments
13086.
Mathematical Fiction (kasmana.people.charleston.edu)
110 points by the-mitr 7 months ago | 36 comments
13087.
Inside PostHog: SSRF, ClickHouse SQL Escape and Default Postgres Creds to RCE (mdisec.com)
110 points by arwt 1 month ago | 35 comments
13088.
Ways to generate SSA (bernsteinbear.com)
110 points by g0xA52A2A 11 months ago | 34 comments
13089.
Microsoft blocks VSCode-derived editors (like Cursor) from using MS extensions (github.com)
110 points by vanschelven 9 months ago | 34 comments
13090.
Show HN: I made an online Unicode Cuneiform digital clock (oisinmoran.com)
110 points by OisinMoran 7 months ago | 34 comments
13091.
Google scores six-year Meta cloud deal worth over $10B (cnbc.com)
110 points by herpderperator 5 months ago | 34 comments
13092.
Dafny: Verification-Aware Programming Language (dafny.org)
110 points by handfuloflight 1 month ago | 33 comments
13093.
TextKit 2 – The Promised Land (blog.krzyzanowskim.com)
110 points by nickmain 5 months ago | 32 comments
13094.
Terence Tao – Machine-Assisted Proofs [video] (youtube.com)
110 points by ipnon 11 months ago | 31 comments
13095.
Show HN: Using Common Lisp from Inside the Browser (turtleware.eu)
110 points by jackdaniel 5 months ago | 31 comments
13096.
TuneD is a system tuning service for Linux (tuned-project.org)
110 points by tanelpoder 4 months ago | 31 comments
13097.
LM2: Large Memory Models (arxiv.org)
110 points by fzliu 11 months ago | 30 comments
13098.
Fixing left and mutual recursions in grammars (brightprogrammer.in)
110 points by brightprogramer 11 months ago | 29 comments
13099.
PaperBench (openai.com)
110 points by meetpateltech 9 months ago | 29 comments
13100.
OpenSearch 3.0 Released (opensearch.org)
110 points by kmaliszewski 8 months ago | 29 comments
13101.
Solving a “Layton Puzzle” with Prolog (buttondown.com)
110 points by Tomte 9 months ago | 28 comments
13102.
Show HN: Python Audio Transcription: Convert Speech to Text Locally (pavlinbg.com)
110 points by Pavlinbg 4 months ago | 28 comments
13103.
Design Patterns for Securing LLM Agents Against Prompt Injections (simonwillison.net)
110 points by simonw 7 months ago | 27 comments
13104.
Proofs Without Words (artofproblemsolving.com)
110 points by squircle 7 months ago | 26 comments
13105.
The phaseout of the mmap() file operation in Linux (lwn.net)
110 points by chmaynard 3 months ago | 24 comments
13106.
David Byrne Radio (davidbyrne.com)
110 points by bookofjoe 3 months ago | 24 comments
13107.
The Internet's longest-serving PC email system, still being updated (pmail.com)
110 points by francescovaglia 11 months ago | 22 comments
13108.
Caches: LRU vs. Random (danluu.com)
110 points by gslin 5 months ago | 22 comments
13109.
Fizz Buzz in CSS (susam.net)
110 points by froober 1 month ago | 22 comments
13110.
An AI-first program synthesis framework built around a new programming language (queue.acm.org)
110 points by tosh 5 months ago | 21 comments