Shroud of Turin image matches low-relief statue–not human body, study finds (phys.org)

1 points by politelemon 53s ago 0 comments

Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)

1 points by Maro 59s ago 0 comments

Show HN: Review of CWE-843 Type Confusion Vulnerability and Exploit

1 points by fatsec 2m ago 0 comments

Defining 'Toast' Messages (2020) (adrianroselli.com)

1 points by 8organicbits 4m ago 0 comments

ThinkPad designer David Hill dishes on unreleased models (theregister.com)

2 points by LorenDB 7m ago 0 comments

Icelandic Naming Committee (en.wikipedia.org)

2 points by djoldman 8m ago 1 comments

Show HN: Minecrack – A simple, offline Minesweeper game for Android

1 points by vocenellanotte 8m ago 0 comments

Dondurma (en.wikipedia.org)

1 points by thunderbong 10m ago 0 comments

A Bytecode VM for Arithmetic: The Parser (abhinavsarkar.net)

2 points by Bogdanp 10m ago 0 comments

List of Goods Produced by Child or Forced Labor [pdf] (dol.gov)

1 points by ada1981 11m ago 0 comments

HTTP – Hypertext Transfer Protocol (w3.org)

1 points by aanthonymax 11m ago 0 comments

Automate GitHub Workflows with AI Agents and the GitHub CLI (elite-ai-assisted-coding.dev)

1 points by intellectronica 13m ago 0 comments

Sudden West Point firing: US Army SEC appears to fold under far-right pressure (theregister.com)

3 points by rntn 18m ago 0 comments

Anthropic CEO in email to employees on $1B signing bonus by Mark Zuckerberg (timesofindia.indiatimes.com)

1 points by tzury 18m ago 0 comments

Qwen3 from Scratch (github.com)

1 points by tzury 22m ago 0 comments

6 Weeks of Claude Code (blog.puzzmo.com)

1 points by mpweiher 26m ago 0 comments

Replacing Lua's math.random module with the Xorshift algorithm (nullonerror.org)

1 points by delduca 28m ago 0 comments

Soft-leaving social media; choosing creation over connection (scyy.fi)

1 points by lying4fun 31m ago 0 comments

The expert became the patient? (prosthetic osseointegration) (theguardian.com)

1 points by lonelyasacloud 33m ago 1 comments

Sold a Story: How Teaching Kids to Read Went So Wrong (features.apmreports.org)

1 points by Akronymus 35m ago 1 comments

How female entrepreneurs can overcome self-doubt (journals.aom.org)

1 points by rustoo 35m ago 1 comments

Zomato founder prepares to deliver jet engines (businesstoday.in)

1 points by rustoo 40m ago 0 comments

14-hour+ global blackout at Ingram Micro halts customer orders (theregister.com)

1 points by chrisjj 45m ago 1 comments

Escaping AI Slop: A Design System Approach to Claude Code (raduan.xyz)

1 points by raduan 45m ago 0 comments

The Kevin Mitnick Files: Declassified FBI Documents (amazon.com)

2 points by ada1981 46m ago 0 comments

List of Megaprojects (en.wikipedia.org)

1 points by george_srs 48m ago 1 comments

Decman – Declarative package and configuration manager for Arch Linux (github.com)

1 points by ssernikk 48m ago 0 comments

What'll happen if we spend nearly $3T on data centres no one needs? (ft.com)

2 points by rwmj 50m ago 2 comments

Computer Interviews Chris Curry (computeradsfromthepast.substack.com)

2 points by klelatti 53m ago 0 comments

CVgen – Generate Resumes from JSON Using Markdown Templates (github.com)

1 points by vahida9i 56m ago 1 comments

Artificial sweeteners in wastewater treatment plants (sciencedirect.com)

1 points by PaulHoule 57m ago 0 comments

Bitter fight over 2020 Microsoft quantum paper both resolved and unresolved (theregister.com)

3 points by sampo 1h ago 0 comments

TLP – Optimize Linux Laptop Battery Life (linrunner.de)

2 points by ssernikk 1h ago 0 comments

New research finds that ivermectin could help control malaria transmission (ndm.ox.ac.uk)

6 points by rguiscard 1h ago 0 comments

CISA roasts unnamed critical national infrastructure body for shoddy security (theregister.com)

1 points by rntn 1h ago 0 comments

How our century of supersized farm machines will end (christopherkrapu.com)

1 points by ckrapu 1h ago 1 comments

TinyBits: Smaller, faster serialization for Ruby apps and beyond (oldmoe.blog)

1 points by fanf2 1h ago 0 comments

The myth of work–life balance is dead, and employers aren't afraid to say it (financialpost.com)

3 points by andy99 1h ago 1 comments

Show HN: Visually explore recommended/trending sci-fi books (and other genres)

1 points by bwb 1h ago 0 comments

Shunsaku Tamiya, Who Brought Perfection to Plastic Models, Dies at 90 (nytimes.com)

1 points by bookofjoe 1h ago 1 comments

The Psychology of Fun: What Makes a Ttrpg Engaging and Enjoyable? (therpggazette.wordpress.com)

1 points by BerislavLopac 1h ago 0 comments

Show HN: Lifelike one shot gesture animation by Claude (claude.ai)

1 points by logicallee 1h ago 1 comments

Ask HN: Have you ever regretted open-sourcing something?

4 points by paulwilsonn 1h ago 2 comments

A.I. Researchers Are Negotiating $250 Million Pay Packages (nytimes.com)

27 points by jrwan 1h ago 25 comments

Phi-Ground: Advancing Perception in GUI Grounding (zhangmiaosen2000.github.io)

2 points by diwank 1h ago 0 comments

Goo.gl – Archiveteam (wiki.archiveteam.org)

2 points by gslin 1h ago 1 comments

Compressing Icelandic name declension patterns into a 3.27 kB trie (alexharri.com)

43 points by alexharri 1h ago 11 comments

How to take down Big Tech (fairyland.substack.com)

2 points by ponypavilion 1h ago 0 comments

Donating my Playdate earnings to The Cybersmile Foundation (blog.gingerbeardman.com)

2 points by msephton 1h ago 0 comments

Show HN: Nonoverse – Nonogram Puzzles for iPhone and iPad (apps.apple.com)

4 points by merelysounds 1h ago 1 comments

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

1 justdoitookk 2 8/2/2025, 7:37:00 AM github.com ↗

Comments (2)

justdoitookk · 5h ago

This is my first time using GitHub. If you notice any issues or have suggestions, feel free to let me know. Thanks!

justdoitookk · 3h ago

I'm sorry — my GitHub repository is currently experiencing some issues.