[
    {
        "id": 46250309,
        "title": "50 years of proof assistants",
        "url": "https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html",
        "domain": "lawrencecpaulson.github.io",
        "points": 107,
        "comments": 17,
        "time": 1765581986,
        "user": "baruchel"
    },
    {
        "id": 46249337,
        "title": "Capsudo: Rethinking sudo with object capabilities",
        "url": "https://ariadne.space/2025/12/12/rethinking-sudo-with-object-capabilities.html",
        "domain": "ariadne.space",
        "points": 75,
        "comments": 44,
        "time": 1765575724,
        "user": "fanf2"
    },
    {
        "id": 46245211,
        "title": "I couldn't find a logging library that worked for my library, so I made one",
        "url": "https://hackers.pub/@hongminhee/2025/logtape-fedify-case-study",
        "domain": "hackers.pub",
        "points": 13,
        "comments": 10,
        "time": 1765554404,
        "user": "todsacerdoti"
    },
    {
        "id": 46242700,
        "title": "Building small Docker images faster",
        "url": "https://sgt.hootr.club/blog/docker-protips/",
        "domain": "hootr.club",
        "points": 60,
        "comments": 16,
        "time": 1765535003,
        "user": "steinuil"
    },
    {
        "id": 46241368,
        "title": "Freeing a Xiaomi humidifier from the cloud",
        "url": "https://0l.de/blog/2025/11/xiaomi-humidifier/",
        "domain": "0l.de",
        "points": 126,
        "comments": 51,
        "time": 1765520248,
        "user": "stv0g"
    },
    {
        "id": 46239076,
        "title": "Ensuring a National Policy Framework for Artificial Intelligence",
        "url": "https://www.whitehouse.gov/presidential-actions/2025/12/eliminating-state-law-obstruction-of-national-artificial-intelligence-policy/",
        "domain": "whitehouse.gov",
        "points": 169,
        "comments": 217,
        "time": 1765497370,
        "user": "andsoitis"
    },
    {
        "id": 46237606,
        "title": "Show HN: A real-time 4D fractal explorer in the browser using WebGPU",
        "url": "https://bryanjj.github.io/nebula/",
        "domain": "bryanjj.github.io",
        "points": 9,
        "comments": 5,
        "time": 1765489446,
        "user": "bryan0"
    },
    {
        "id": 46237501,
        "title": "Powder and stone, or, why medieval rulers loved castles",
        "url": "https://1517.substack.com/p/powder-and-stone-or-why-medieval",
        "domain": "1517.substack.com",
        "points": 57,
        "comments": 19,
        "time": 1765488952,
        "user": "areoform"
    },
    {
        "id": 46237358,
        "title": "Show HN: Autofix Bot – Hybrid static analysis and AI code review agent",
        "url": "https://news.ycombinator.com/item?id=46237358",
        "points": 35,
        "comments": 13,
        "time": 1765488274,
        "user": "sanketsaurav"
    },
    {
        "id": 46234734,
        "title": "Show HN: I made a spreadsheet where formulas also update backwards",
        "url": "https://victorpoughon.github.io/bidicalc/",
        "domain": "victorpoughon.github.io",
        "points": 179,
        "comments": 85,
        "time": 1765476055,
        "user": "fouronnes3"
    },
    {
        "id": 46234186,
        "title": "Show HN: Sim – Apache-2.0 n8n alternative",
        "url": "https://github.com/simstudioai/sim",
        "domain": "github.com/simstudioai",
        "points": 230,
        "comments": 58,
        "time": 1765473611,
        "user": "waleedlatif1"
    },
    {
        "id": 46232003,
        "title": "From text to token: How tokenization pipelines work",
        "url": "https://www.paradedb.com/blog/when-tokenization-becomes-token",
        "domain": "paradedb.com",
        "points": 125,
        "comments": 19,
        "time": 1765464349,
        "user": "philippemnoel"
    },
    {
        "id": 46231709,
        "title": "The architecture of “not bad”: Decoding the Chinese source code of the void",
        "url": "https://suggger.substack.com/p/the-architecture-of-not-bad-decoding",
        "domain": "suggger.substack.com",
        "points": 122,
        "comments": 145,
        "time": 1765462874,
        "user": "Suggger"
    },
    {
        "id": 46231460,
        "title": "Show HN: An endless scrolling word search game",
        "url": "https://endless-wordsearch.com",
        "domain": "endless-wordsearch.com",
        "points": 25,
        "comments": 16,
        "time": 1765461682,
        "user": "marcusdev"
    },
    {
        "id": 46229437,
        "title": "Show HN: Tripwire: A new anti evil maid defense",
        "url": "https://github.com/fr33-sh/Tripwire",
        "domain": "github.com/fr33-sh",
        "points": 78,
        "comments": 47,
        "time": 1765446416,
        "user": "DoctorFreeman"
    },
    {
        "id": 46224610,
        "title": "Rubio orders return to Times New Roman font over 'wasteful' Calibri",
        "url": "https://www.bbc.com/news/articles/cgkez3367xmo",
        "domain": "bbc.com",
        "points": 64,
        "comments": 5,
        "time": 1765404625,
        "user": "jnord"
    },
    {
        "id": 46220411,
        "title": "Pg_ClickHouse: A Postgres extension for querying ClickHouse",
        "url": "https://clickhouse.com/blog/introducing-pg_clickhouse",
        "domain": "clickhouse.com",
        "points": 106,
        "comments": 36,
        "time": 1765386879,
        "user": "spathak"
    },
    {
        "id": 46219544,
        "title": "England Historic Aerial Photo Explorer",
        "url": "https://historicengland.org.uk/images-books/archive/collections/aerial-photos/",
        "domain": "historicengland.org.uk",
        "points": 51,
        "comments": 4,
        "time": 1765383237,
        "user": "davemateer"
    },
    {
        "id": 46219386,
        "title": "Launch HN: InspectMind (YC W24) – AI agent for reviewing construction drawings",
        "url": "https://news.ycombinator.com/item?id=46219386",
        "points": 57,
        "comments": 52,
        "time": 1765382703,
        "user": "aakashprasad91"
    },
    {
        "id": 46218782,
        "title": "RoboCrop: Teaching robots how to pick tomatoes",
        "url": "https://phys.org/news/2025-12-robocrop-robots-tomatoes.html",
        "domain": "phys.org",
        "points": 110,
        "comments": 61,
        "time": 1765380554,
        "user": "smurda"
    },
    {
        "id": 46218101,
        "title": "Show HN: Wirebrowser – A JavaScript debugger with breakpoint-driven heap search",
        "url": "https://github.com/fcavallarin/wirebrowser",
        "domain": "github.com/fcavallarin",
        "points": 68,
        "comments": 15,
        "time": 1765377043,
        "user": "fcavallarin"
    },
    {
        "id": 46217153,
        "title": "I Contended in the Parallel Parking Championship",
        "url": "https://www.caranddriver.com/features/a69137759/parallel-parking-championship/",
        "domain": "caranddriver.com",
        "points": 2,
        "comments": 0,
        "time": 1765371241,
        "user": "surprisetalk"
    },
    {
        "id": 46217126,
        "title": "Create a Markdown Editor in Ruby on Rails",
        "url": "https://blog.appsignal.com/2025/12/10/create-a-markdown-editor-in-ruby-on-rails.html",
        "domain": "appsignal.com",
        "points": 2,
        "comments": 0,
        "time": 1765371046,
        "user": "amalinovic"
    },
    {
        "id": 46216938,
        "title": "The Java Ring: A Wearable Computer (1998)",
        "url": "https://www.nngroup.com/articles/javaring-wearable-computer/",
        "domain": "nngroup.com",
        "points": 2,
        "comments": 0,
        "time": 1765369515,
        "user": "cromulent"
    },
    {
        "id": 46216583,
        "title": "Factor 0.101 now available",
        "url": "https://re.factorcode.org/2025/12/factor-0-101-now-available.html",
        "domain": "factorcode.org",
        "points": 134,
        "comments": 25,
        "time": 1765366411,
        "user": "birdculture"
    },
    {
        "id": 46216446,
        "title": "Common Lisp, ASDF, and Quicklisp: packaging explained",
        "url": "https://cdegroot.com/programming/commonlisp/2025/11/26/cl-ql-asdf.html",
        "domain": "cdegroot.com",
        "points": 110,
        "comments": 36,
        "time": 1765365058,
        "user": "todsacerdoti"
    },
    {
        "id": 46216008,
        "title": "Getting into Public Speaking",
        "url": "https://james.brooks.page/blog/getting-into-public-speaking",
        "domain": "brooks.page",
        "points": 2,
        "comments": 0,
        "time": 1765361036,
        "user": "jbrooksuk"
    },
    {
        "id": 46215856,
        "title": "How does Windows synthesize CF_Unicode­TEXT from CF_TEXT and vice versa?",
        "url": "https://devblogs.microsoft.com/oldnewthing/20251209-00/?p=111854",
        "domain": "devblogs.microsoft.com/oldnewthing",
        "points": 2,
        "comments": 0,
        "time": 1765359777,
        "user": "ibobev"
    },
    {
        "id": 46215581,
        "title": "Real Analysis, the Game",
        "url": "https://adam.math.hhu.de/#/g/AlexKontorovich/RealAnalysisGame",
        "domain": "hhu.de",
        "points": 2,
        "comments": 0,
        "time": 1765357013,
        "user": "__rito__"
    },
    {
        "id": 46214947,
        "title": "The undersea mountains where sharks rule",
        "url": "https://www.bbc.com/future/article/20251208-shark-mountains-the-undersea-mountains-where-sharks-rule",
        "domain": "bbc.com",
        "points": 4,
        "comments": 0,
        "time": 1765350344,
        "user": "1659447091"
    }
]