Hacker Newsnew | past | comments | ask | show | jobs | submit | 2025-12-23login
Stories from December 23, 2025
Go back a day, month, or year. Go forward a day or month.
31.
Carnap – A formal logic framework for Haskell (carnap.io)
114 points by ravenical 69 days ago | 20 comments
32.
Terrence Malick's Disciples (yalereview.org)
97 points by prismatic 68 days ago | 29 comments
33.
Font with Built-In Syntax Highlighting (2024) (glyphdrawing.club)
153 points by california-og 69 days ago | 37 comments
34.
The Duodecimal Bulletin, Vol. 55, No. 1, Year 1209 [pdf] (dozenal.org)
64 points by susam 69 days ago | 36 comments
35.
Show HN: C-compiler to compile TCC for live-bootstrap (github.com/fransfaase)
67 points by fjfaase 74 days ago | 23 comments
36.
I didn't realize my LG TV was spying on me until I turned off Live Plus (pocket-lint.com)
262 points by fcpguru 68 days ago | 245 comments
37.
Towards a secure peer-to-peer app platform for Clan (clan.lol)
93 points by throawayonthe 68 days ago | 27 comments
38.
Show HN: Python SDK – forecasting with foundation time-series and tabular models (github.com/s-fm)
43 points by ChernovAndrei 74 days ago | 18 comments
39.
FCC Updates Covered List to Include Foreign UAS and UAS Critical Components [pdf] (fcc.gov)
104 points by Espressosaurus 69 days ago | 92 comments
40.
Satellites reveal heat leaking from largest US cryptocurrency mining center (space.com)
162 points by troglo-byte 69 days ago | 162 comments
41.
Remove Black Color with Shaders (yuanchuan.dev)
54 points by surprisetalk 73 days ago | 19 comments
42.
Toad is a unified experience for AI in the terminal (willmcgugan.github.io)
236 points by nikolatt 69 days ago | 78 comments
43.
Astrophotography Target Planner: Discover Hidden Nebulas (astroimagery.com)
62 points by kianN 72 days ago | 5 comments
44.
A centennial look back at Edward Gorey's macabre art and guarded life (washingtonpost.com)
30 points by prismatic 75 days ago | 6 comments
45.
Dancing around the rhythm space with Euclid (pv.wtf)
54 points by dracyr 70 days ago | 5 comments
46.
Plugins case study: mdBook preprocessors (thegreenplace.net)
23 points by chmaynard 74 days ago | 14 comments
47.
Partial inlining (xania.org)
60 points by hasheddan 74 days ago | 1 comment
48.
The post-GeForce era: What if Nvidia abandons PC gaming? (pcworld.com)
138 points by taubek 72 days ago | 279 comments
49.
How did DOGE disrupt so much while saving so little? (nytimes.com)
332 points by JumpCrisscross 68 days ago | 220 comments
50.
An initial analysis of the discovered Unix V4 tape (spinellis.gr)
98 points by DSpinellis 68 days ago | 4 comments
51.
The Coffee Warehouse (scopeofwork.net)
53 points by NaOH 72 days ago | 53 comments
52.
Stop Slopware (stopslopware.net)
151 points by bradley_taunt 68 days ago | 159 comments
53.
Space Math Academy (space-math.academy)
48 points by dynamicwebpaige 71 days ago | 21 comments
54.
 [flagged] Un-Redactor (github.com/kvthweatt)
56 points by kvthweatt 68 days ago | 52 comments
55.
Microspeak: North Star – The Old New Thing (2015) (devblogs.microsoft.com/oldnewthing)
26 points by rbanffy 68 days ago | 10 comments
56.
Solving the Problems of HBM-on-Logic (morethanmoore.substack.com)
18 points by zdw 74 days ago | 4 comments
57.
Archivists posted the 60 minutes CECOT segment Bari Weiss killed (404media.co)
250 points by m-hodges 69 days ago | 11 comments
58.
Fixed-Wing Runway Design (wbdg.org)
24 points by DarkContinent 68 days ago | 10 comments
59.
Show HN: Yapi – FOSS terminal API client for power users (yapi.run)
50 points by jamiepond 70 days ago | 19 comments
60.
LAVD: Meta's New Default Scheduler [pdf] (lpc.events)
27 points by todsacerdoti 68 days ago | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: