Why did 1+1=2 take Russell and Whitehead 300 pages? (2011)

https://blog.computationalcomplexity.org/2011/07/why-did-112-take-russell-and-whitehead.html

1•wslh•35s ago•0 comments

Lightweight Diagramming for Lightweight Formal Methods

https://blog.brownplt.org/2025/06/09/copeanddrag.html

1•azhenley•2m ago•0 comments

Type-based vs. Value-based Reflection

https://brevzin.github.io/c++/2025/06/09/reflection-ts/

1•ibobev•2m ago•0 comments

VisionOS 26 Preview

https://www.apple.com/os/visionos/

1•surprisetalk•2m ago•0 comments

A toolbox for ablating excitatory and inhibitory synapses

https://elifesciences.org/articles/103757

1•PaulHoule•3m ago•0 comments

Python3.14 Comes with pi(symbol)thon Alias

https://github.com/python/cpython/pull/125035

1•BracketMaster•4m ago•0 comments

iPadOS 26 Preview

https://www.apple.com/os/ipados/

1•davidbarker•5m ago•0 comments

macOS Tahoe 26 Preview

https://www.apple.com/os/macos/

1•davidbarker•5m ago•0 comments

iOS 26 Preview

https://www.apple.com/os/ios/

1•davidbarker•6m ago•0 comments

Show HN: Sentrilite: eBPF/AI powered observability and real time security

1•gaurav1086•6m ago•0 comments

Show HN: GIF Creator MCP

https://github.com/ananddtyagi/gif-creator-mcp

1•ananddtyagi•6m ago•0 comments

Ask HN: Why would Apple cannibalize its macOS/Mac ecosystem?

2•gazarullz•8m ago•1 comments

OpenAI hits $10B in annual recurring revenue

https://www.cnbc.com/2025/06/09/openai-hits-10-billion-in-annualized-revenue-fueled-by-chatgpt-growth.html

2•mfiguiere•9m ago•1 comments

Show HN: Safe Domain Search – Avoid frontrunning, check availability locally

https://github.com/purplecandy/safe-domain-search

1•powerpurple•10m ago•0 comments

Liberux NEXX – Community Edition Crowdfunding Launched

https://www.indiegogo.com/projects/liberux-nexx--3

1•anotherhnuser•13m ago•0 comments

Apple Supercharges Spotlight in macOS Tahoe with Quick Keys and More

https://www.macrumors.com/2025/06/09/apple-supercharges-spotlight-in-macos-tahoe-with-quick-keys-and-more/

1•surprisetalk•14m ago•0 comments

Atari 2600 scores stunning victory over ChatGPT

https://www.linkedin.com/posts/robert-jr-caruso-23080180_ai-chess-atari2600-activity-7337108175185145856-HSP0

3•croes•15m ago•0 comments

Turn every page

https://robolsthoorn.com/writing/2025_05_05_turn_the_page/

2•rolstenhouse•16m ago•0 comments

What do I want to do the most?

https://chavanniclass.wordpress.com/2025/06/08/what-do-i-want-to-do-the-most-right-now/

1•speckx•19m ago•0 comments

Transcribe and Vibe

https://www.youtube.com/watch?v=XOMorWLjPtY

1•cantdutchthis•20m ago•0 comments

Lisp, Smalltalk, and the Power of Symmetry (2014)

https://insearchofsecrets.com/2014/08/04/lisp-smalltalk-and-the-power-of-symmetry/

2•eadmund•21m ago•0 comments

Qwen3 Embedding Models

https://huggingface.co/Qwen/Qwen3-Embedding-0.6B-GGUF

1•kaycebasques•23m ago•0 comments

Amazon to spend $20B on data centers in Pennsylvania

https://www.cnbc.com/2025/06/09/amazon-to-spend-20-billion-on-data-centers-in-pennsylvania-including-one-next-to-a-nuclear-power-plant.html

3•kamaraju•25m ago•0 comments

Responsible Prompting API – open-source project – Feedback appreciated

1•MysticSlice•26m ago•0 comments

Mirantis K0rdent and Nvidia BlueField: Build Next-Gen AI Infrastructure

https://www.mirantis.com/blog/mirantis-k0rdent-nvidia-bluefield-a-practical-blueprint-for-building-next-gen-ai-infrastructure/

1•eionelk8s•26m ago•1 comments

The UX and Technicalities of MCPs

https://supermemory.ai/blog/the-ux-and-technicalities-of-awesome-mcps/

1•dhravya•26m ago•0 comments

Show HN: Synonym Slider Puzzle

https://www.lingoslider.com

1•boxedsound•27m ago•0 comments

Celebrating 50K users with Kagi free search portal

https://blog.kagi.com/50k

7•dotcoma•27m ago•1 comments

The Generative AI Revolution I Witnessed

https://blog.cobanov.dev/blog/genai_revolution

3•cobanov•27m ago•0 comments

YouTube Loosens Rules Guiding the Moderation of Videos

https://www.nytimes.com/2025/06/09/technology/youtube-videos-content-moderation.html

7•Willingham•28m ago•3 comments