news

prev

Page 967

next

A Contract-Grade Verifier for LLM-Generated GPU Kernels

46 pointsposted 3 days ago
by Jimmc414

How art invented humanity

101 pointsposted 5 days ago
by prismatic

Humazon

35 pointsposted 2 days ago
by herbertl

Vaultwarden Sequence Diagrams

5 pointsposted a day ago
by billyp-rva

WhatCable: Know what your USB-C cable can do

110 pointsposted 3 days ago
by mikecarlton

Self-hosted web push Cloudflare Worker, works on iOS

76 pointsposted 3 days ago
by saiday

I Let My Students Watch Me Struggle with a Masterpiece. It Changed Everything

4 pointsposted 5 hours ago
by sonabinu

HyperOSUnfucker is an Android app that unlocks hidden system performance

20 pointsposted 2 days ago
by Bluestein

Show HN: A website for exploring historical photographs of my city

35 pointsposted 5 days ago
by uneekname

LibreOffice Conference 2026 Schedule

19 pointsposted a day ago
by mmarian

Octopuses could help us conceptualize a different form of intelligence

12 pointsposted 19 hours ago
by colinprince

Tocharian Online

68 pointsposted 4 days ago
by Bluestein

22 Years on Firefox, and Today I'm All In

10 pointsposted a day ago
by rietta

The Case Against Formal Verification, 50 Years Later

94 pointsposted a day ago
by ghuntley

How Samsung's Privacy Screen Works

9 pointsposted 2 days ago
by gnabgib

License plate reader searches should require a warrant

639 pointsposted 5 days ago
by apwheele

Pixel 11 Pro Fold

133 pointsposted 5 days ago
by thm

Big Pickle on SWE Atlas – Codebase QnA

9 pointsposted 2 days ago
by phillipchaffee

Bluesky Protocol Services

212 pointsposted 4 days ago
by danabramov

David Sacks on X: Some thoughts on Dario's post

50 pointsposted 9 hours ago
by bilsbie

z486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Point

20 pointsposted 3 days ago
by matt_d

Where did the old web go? We followed 657,607 links to find out

228 pointsposted 4 days ago
by tdx

Principia Mathematica is modern and insightful

279 pointsposted 5 days ago
by matt_d

How Compaction Works in Pi

209 pointsposted 4 days ago
by tosh

JDK 27 G1/Parallel/Serial GC Changes

68 pointsposted 4 days ago
by 0x54MUR41

Tim King, AmigaDOS developer, has died

303 pointsposted 5 days ago
by doener

Show HN: Lumabri – Run Moe Models on a P2P Swarm with Colibri

48 pointsposted 4 days ago
by vforno

Coin-sized device can hack a Boeing 737

124 pointsposted 5 days ago
by _tk_

Every exterior shot in The Taking of Pelham 123

44 pointsposted 3 days ago
by evakhoury

YouTube Dumps Cache Between Ads, Quality Toggling and Wastes Cellular Bandwidth

11 pointsposted 2 days ago
by initramfs