fp.

Mochizuki's ABC Conjecture proof is unformalizable

https://twitter.com/FumiharuKato/status/2078017230537892207

1•amichail•41s ago•0 comments

Kimi K3 may have distilled an unreleased Anthropic model

https://twitter.com/bourneliu66/status/2078150582054133991

1•seviu•2m ago•1 comments

Tell HN: Not everyone has internet as fast as yours

1•jedberg•3m ago•0 comments

Show HN: World map of 1418 modern robotics startups

https://roboticsregistry.net/map?access=3f6d290ae651f8e6e8263077fb24568aa95cbcac84dcbdff&lat=18.7...

1•make_it_sure•3m ago•0 comments

Better Call Sol the Workhorse

https://thezvi.wordpress.com/2026/07/13/better-call-sol-the-workhorse/

2•gmays•6m ago•0 comments

The instant database scratchpad: xata scratch

https://xata.io/blog/the-instant-database-scratchpad-xata-scratch

2•tudorg•6m ago•0 comments

xAI can't deny Grok makes CSAM anymore. So it's suing users

https://arstechnica.com/tech-policy/2026/07/xai-cant-deny-grok-makes-csam-anymore-so-its-suing-us...

2•pavel_lishin•6m ago•0 comments

JustOverlap – Scheduling with multiple guests and team availability

https://justoverlap.com/

1•bitvaulty•6m ago•0 comments

The housing theory of everything (2021)

https://worksinprogress.co/issue/the-housing-theory-of-everything/

1•mooreds•9m ago•0 comments

Help a Psychotherapist Brainstorm?

1•polymath88•10m ago•0 comments

China's data annotation industry shows how jobs evolve with tech advancement

https://www.globaltimes.cn/page/202606/1363363.shtml

1•pretext•10m ago•0 comments

America had a love affair with 'fixer-upper' homes. That may be over

https://www.cnn.com/2026/07/17/business/america-fixer-upper-homes

1•mooreds•10m ago•0 comments

ICE Flight Monitor Interactive Dashboard

https://www.humanrightsfirst.org/ice-flight-monitor-interactive-dashboard

2•mooreds•10m ago•0 comments

Homebrew and How the Apple Came to Be – Stephen Wozniak (1984)

https://www.atariarchives.org/deli/homebrew_and_how_the_apple.php

2•lioeters•10m ago•0 comments

Meta accused of using AI to pick employees with medical conditions for layoffs

https://www.latimes.com/business/story/2026-07-16/meta-accused-of-using-ai-to-pick-employees-with...

2•speckx•12m ago•1 comments

Review the actual change, not the file list

https://packagemain.tech/p/review-the-actual-change-not-the

1•der_gopher•13m ago•0 comments

Help a Psychotherapist Brainstorm

https://www.actualizebeing.com

1•polymath88•16m ago•0 comments

Victory Flock Ends Rollout of Audio "Distress Detection" of Human Voices

https://www.eff.org/deeplinks/2026/07/victory-flock-ends-rollout-audio-distress-detection-human-v...

1•speckx•16m ago•0 comments

Order and Chaos (256 States or Dirtiness)

https://replicated.live/blog/status

1•gritzko•18m ago•0 comments

Researchers shed new light on ancient concrete's extraordinary durability

https://engineering.berkeley.edu/news/2026/07/researchers-shed-new-light-on-ancient-concretes-ext...

2•speckx•18m ago•0 comments

Show HN: Docket (system for active note-taking) now self-hosted after HN asked

https://withdocket.com/self-hosted

2•davnicwil•18m ago•1 comments

Inkling is now the highest-scoring open-weight model on both ARC-AGI 1 and 2

https://twitter.com/arcprize/status/2078141332938523032

1•thebricklayr•20m ago•1 comments

Oxford Physicist Says an Antigravity Machine May Be Possible

1•mpweiher•22m ago•0 comments

Are Emojis Allowed in XMPP Addresses?

https://op-co.de/blog/posts/emoji_xmpp_address/

1•ge0rg•27m ago•0 comments

Why "maxxing" is made for social media and terrible for real life

https://www.machinesociety.ai/p/please-keep-your-maxxing-to-a-minimum

1•mikelgan•28m ago•2 comments

Show HN: Maxx – HUD for Claude token usage

https://meetmaxx.co/

1•_reif•28m ago•0 comments

Number of wildfires doubles after lightning strikes across B.C

https://www.cbc.ca/news/canada/british-columbia/bc-wildfires-boston-bar-pemberton-9.7273984

1•geox•30m ago•0 comments

A Map of the Cyclospora Outbreak

https://www.kcra.com/article/cyclospora-outbreak-map-us-states/71917958

1•jenthoven•30m ago•0 comments

Will U.S. Households Still Buy Heat Pumps Without a Tax Credit?

https://energyathaas.wordpress.com/2026/07/13/will-u-s-households-still-buy-heat-pumps-without-a-...

1•littlexsparkee•32m ago•0 comments

Show HN: A zoomable timeline of 4M Wikipedia events

https://app.everything.diena.co/

4•lortex•32m ago•0 comments

Mochizuki's ABC Conjecture proof is unformalizable

Kimi K3 may have distilled an unreleased Anthropic model

Tell HN: Not everyone has internet as fast as yours

Show HN: World map of 1418 modern robotics startups

Better Call Sol the Workhorse

The instant database scratchpad: xata scratch

xAI can't deny Grok makes CSAM anymore. So it's suing users

JustOverlap – Scheduling with multiple guests and team availability

The housing theory of everything (2021)

Help a Psychotherapist Brainstorm?

China's data annotation industry shows how jobs evolve with tech advancement

America had a love affair with 'fixer-upper' homes. That may be over

ICE Flight Monitor Interactive Dashboard

Homebrew and How the Apple Came to Be – Stephen Wozniak (1984)

Meta accused of using AI to pick employees with medical conditions for layoffs

Review the actual change, not the file list

Help a Psychotherapist Brainstorm

Victory Flock Ends Rollout of Audio "Distress Detection" of Human Voices

Order and Chaos (256 States or Dirtiness)

Researchers shed new light on ancient concrete's extraordinary durability

Show HN: Docket (system for active note-taking) now self-hosted after HN asked

Inkling is now the highest-scoring open-weight model on both ARC-AGI 1 and 2

Oxford Physicist Says an Antigravity Machine May Be Possible

Are Emojis Allowed in XMPP Addresses?

Why "maxxing" is made for social media and terrible for real life

Show HN: Maxx – HUD for Claude token usage

Number of wildfires doubles after lightning strikes across B.C

A Map of the Cyclospora Outbreak

Will U.S. Households Still Buy Heat Pumps Without a Tax Credit?

Show HN: A zoomable timeline of 4M Wikipedia events

Mochizuki's ABC Conjecture proof is unformalizable

Kimi K3 may have distilled an unreleased Anthropic model

Tell HN: Not everyone has internet as fast as yours

Show HN: World map of 1418 modern robotics startups

Better Call Sol the Workhorse

The instant database scratchpad: xata scratch

xAI can't deny Grok makes CSAM anymore. So it's suing users

JustOverlap – Scheduling with multiple guests and team availability

The housing theory of everything (2021)

Help a Psychotherapist Brainstorm?

China's data annotation industry shows how jobs evolve with tech advancement

America had a love affair with 'fixer-upper' homes. That may be over

ICE Flight Monitor Interactive Dashboard

Homebrew and How the Apple Came to Be – Stephen Wozniak (1984)

Meta accused of using AI to pick employees with medical conditions for layoffs

Review the actual change, not the file list

Help a Psychotherapist Brainstorm

Victory Flock Ends Rollout of Audio "Distress Detection" of Human Voices

Order and Chaos (256 States or Dirtiness)

Researchers shed new light on ancient concrete's extraordinary durability

Show HN: Docket (system for active note-taking) now self-hosted after HN asked

Inkling is now the highest-scoring open-weight model on both ARC-AGI 1 and 2

Oxford Physicist Says an Antigravity Machine May Be Possible

Are Emojis Allowed in XMPP Addresses?

Why "maxxing" is made for social media and terrible for real life

Show HN: Maxx – HUD for Claude token usage

Number of wildfires doubles after lightning strikes across B.C

A Map of the Cyclospora Outbreak

Will U.S. Households Still Buy Heat Pumps Without a Tax Credit?

Show HN: A zoomable timeline of 4M Wikipedia events

A simple console.log() per request can hurt performance

Comments