31.A Contract-Grade Verifier for LLM-Generated GPU Kernels (arxiv.org)
24 points by Jimmc414 4 hours ago | hide | discuss
32.France's top court blocks social media ban for under-15s (reuters.com)
185 points by BlueBerry2001 5 hours ago | hide | 132 comments
33.In Australia, a home battery boom has helped cut wholesale power prices (yale.edu)
293 points by speckx 7 hours ago | hide | 215 comments
34.High-Performance Array-Backed LRU Hash Table (github.com/adanil-code)
7 points by adanil_ 2 hours ago | hide | discuss
35.The American Sports Plutocracy Is Bullshit (derekthompson.org)
19 points by momentmaker 2 hours ago | hide | 9 comments
36.Firefox is now the last major browser that still supports uBlock Origin (pcworld.com)
58 points by DemiGuru 2 hours ago | hide | 13 comments
37.AI Model Atlas – visualizing populations of ML models as interconnected 3D graph (cosmograph.app)
46 points by bj-rn 7 hours ago | hide | 8 comments
38.Gödel, Escher, Elisp: The Beauty of Macros (chiply.dev)
72 points by JNRowe 7 hours ago | hide | 25 comments
39.Every fucking website: 2026 edition (tngl.io)
12 points by nerdypepper 3 hours ago | hide | 7 comments
40.Self-hosted web push Cloudflare Worker, works on iOS (kukuroo.cc)
57 points by saiday 6 hours ago | hide | 15 comments
41.Earth.nullschool.net (nullschool.net)
51 points by TremendousJudge 6 hours ago | hide | 20 comments
42.HashAgent – Share an AI agent as a URL, runs locally via WebGPU (hashagent.pages.dev)
41 points by masonhsu 8 hours ago | hide | 5 comments
43.Differential Heuristics (redblobgames.com)
107 points by ibobev 13 hours ago | hide | 7 comments
44.Show HN: AletheionAGI – Grounding enforcement for AI agents (aletheionagi.com)
3 points by felipemayamuniz 2 hours ago | hide | discuss
45.Ntfy – open-source Push to Mobile (ntfy.sh)
67 points by Fake4d 10 hours ago | hide | 36 comments
46.We're not done with point clouds (claytonwramsey.com)
66 points by claytonwramsey 12 hours ago | hide | 9 comments
47.Apple proposes to take a 15% cut of purchases made outside the App Store (techcrunch.com)
42 points by sbulaev 3 hours ago | hide | 24 comments
48.Racket v9.3 (racket-lang.org)
7 points by privong 3 hours ago | hide | discuss
49.The Engineering State? [Book Review – Breakneck, by Dan Wang] (onethousandmeans.com)
4 points by alexeigannon 3 hours ago | hide | discuss
50.Being Against LLMs Is Against the Spirit of Floss (joarvarndt.se)
5 points by joarxpablo 2 hours ago | hide | 2 comments
51.Gemini 3.7 Flash (blog.google)
944 points by thisisauserid 1 day ago | hide | 480 comments
52.WhatCable: Know what your USB-C cable can do (whatcable.uk)
80 points by mikecarlton 9 hours ago | hide | 63 comments
53.YouTuber Davie504 slapped with ridiculous copyright claim [video] (youtube.com)
22 points by Panoramix 2 hours ago | hide | 1 comment
54.Ruby 4.0 Universal RCE Deserialization Gadget Chain (elttam.com)
72 points by pentestercrab 15 hours ago | hide | 22 comments
55.Unsloth Qwen3.8-27B GGUF files (huggingface.co)
59 points by apitman 6 hours ago | hide | 4 comments
56.Protect Your Relays (iroh.computer)
41 points by surprisetalk 11 hours ago | hide | 16 comments
57.Taxpayers Funded a $533M Artillery Plant That Made Nothing (propublica.org)
47 points by Jimmc414 5 hours ago | hide | 12 comments
58.Show HN: C# Game Engine with its own scripting language and IDE (github.com/arcademakersources)
99 points by am-gm 16 hours ago | hide | 55 comments
59.Show HN: Online SNMP MIB database - upload/view your own MIBs (mib-viewer.com)
12 points by beefstew123 5 hours ago | hide | discuss
60.Independent Internet Forums (linklists.net)
4 points by rdmuser 3 hours ago | hide | discuss