Article URL: https://community.openai.com/t/timestamps-for-chats-in-chatgpt/440107?page=3 Comments URL: https://news.ycombinator.com/item?id=46391472 Points: 4 # Comments: 2...
I formalized the Single Source of Truth (SSOT) principle in Lean 4 (~2.1k LOC, zero sorry) and proved two core results: Structural SSOT is achievable only when a language provides definition-time hook...
Just build a local tool for designing gears that kinda looks and works nice Comments URL: https://news.ycombinator.com/item?id=46524036 Points: 4 # Comments: 0...
Article URL: https://sgoel.dev/posts/10-years-of-personal-finances-in-plain-text-files/ Comments URL: https://news.ycombinator.com/item?id=46463644 Points: 4 # Comments: 0...
Article URL: https://geohot.github.io//blog/jekyll/update/2025/12/29/five-years-of-tinygrad.html Comments URL: https://news.ycombinator.com/item?id=46422757 Points: 4 # Comments: 0...
A day on from the official reveal of LEGO Smart Brick , the company has responded to concerns that its big announcement poses a risk to its core basis in physical play. Speaking to IGN, LEGO exec Fede...
Article URL: https://riseproject.dev/2025/12/09/a-glimpse-into-v8-development-for-risc-v/ Comments URL: https://news.ycombinator.com/item?id=46522686 Points: 4 # Comments: 1...
Article URL: https://block81.com/blog/why-most-websites-dont-actually-need-cookie-consent-banners Comments URL: https://news.ycombinator.com/item?id=46521179 Points: 4 # Comments: 0...
Article URL: https://github.com/patrick48001/ThinkPad-Stream-Sentinel-VLC-Video-Source-reset-disable-stream-shutter Comments URL: https://news.ycombinator.com/item?id=46468411 Points: 4 # Comments: 1...
Article URL: https://www.behind-the-enemy-lines.com/2025/12/fighting-fire-with-fire-scalable-oral.html Comments URL: https://news.ycombinator.com/item?id=46467677 Points: 4 # Comments: 0...
Article URL: https://ocw.mit.edu/courses/18-098-street-fighting-mathematics-january-iap-2008/pages/readings/ Comments URL: https://news.ycombinator.com/item?id=46456543 Points: 4 # Comments: 0...
Article URL: https://blog.nawaz.org/posts/2025/Dec/a-proclamation-regarding-the-restoration-of-the-dash/ Comments URL: https://news.ycombinator.com/item?id=46394169 Points: 8 # Comments: 4...
Article URL: https://www.ruby-lang.org/en/news/2025/12/25/ruby-4-0-0-released/ Comments URL: https://news.ycombinator.com/item?id=46382011 Points: 14 # Comments: 2...
Article URL: https://tarteel.ai/blog/from-page-to-screen-rethinking-quran-rendering-for-the-digital-age/ Comments URL: https://news.ycombinator.com/item?id=46545796 Points: 4 # Comments: 0...
Article URL: https://backalleycoder.com/posts/passseeds-an-experiment-in-hijacking-passkeys-to-unlock-cryptographic-use-cases/ Comments URL: https://news.ycombinator.com/item?id=46521084 Points: 4 # C...
Article URL: https://www.owlposting.com/p/a-2026-look-at-three-bio-ml-opinions Comments URL: https://news.ycombinator.com/item?id=46580309 Points: 3 # Comments: 0...
The Trust Wallet update includes a feature to help victims of the $7 million Christmas hack submit reimbursement claims for lost funds....
Article URL: https://bustermq.sh/ Comments URL: https://news.ycombinator.com/item?id=46449812 Points: 7 # Comments: 0...
Ride-hailing drivers face increased competition for earnings as well as the growth of driverless taxis. Sebastian Gollnow/picture alliance via Getty Images Gig workers have been facing declining earni...
Article URL: https://sfconservancy.org/blog/2025/dec/23/seven-abbott-freestyle-libre-cgm-patients-dead/ Comments URL: https://news.ycombinator.com/item?id=46388040 Points: 20 # Comments: 0...