frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

The Infinite Choice Barrier – A Formal Critique of AGI's Limits

1•mmschlereth•5h ago
This paper introduces the Infinite Choice Barrier — a formal, structural argument for why AGI, as traditionally conceived, is not just hard but provably impossible.

It outlines three theorems: • Semantic Closure • Non-Computability of Frame Innovation • Statistical Breakdown in Open-World Contexts

Includes formal proofs, historical analogies (Newton → Einstein), and implications for modern AI architectures.

Full paper: https://philpapers.org/rec/SCHTAB-13

Curious to hear pushback or counterexamples from this community.

Cyber fiends battering UK retailers now turn to US stores

https://www.theregister.com/2025/05/15/cyber_scum_attacking_uk_retailers/
1•rntn•1m ago•0 comments

Ask HN: What are your peronsal data backup and sync setups? (2025)

1•shelled•1m ago•0 comments

Terrorists seem to be paying X to generate propaganda with Grok

https://arstechnica.com/tech-policy/2025/05/report-terrorist-groups-seem-to-be-paying-x-to-raise-funds-collect-tips/
1•rbanffy•2m ago•0 comments

Show HN: A Website That Generates a Grocery List from a Recipe URL

https://recipetolist.com/
1•error404x•2m ago•1 comments

Improving Naval Ship Acquisition

https://www.construction-physics.com/p/fixing-naval-ship-acquisition
1•Luc•7m ago•0 comments

Coinbase Got Hacked a Little

https://www.bloomberg.com/opinion/newsletters/2025-05-15/coinbase-got-hacked-a-little
2•ioblomov•7m ago•1 comments

A brief history of fonts in Mac OS

https://eclecticlight.co/2025/05/03/a-brief-history-of-fonts-in-mac-os/
1•rbanffy•8m ago•0 comments

TikTok charged with breaching EU online content rules

https://www.reuters.com/sustainability/boards-policy-regulation/tiktok-charged-with-breaching-eu-online-content-rules-2025-05-15/
1•gostsamo•8m ago•0 comments

Semantic Streaming vs. Token-based streaming

https://www.boundaryml.com/blog/semantic-streaming
1•aaronvg•11m ago•0 comments

Using Python to Code by Voice (2013) [video]

https://www.youtube.com/watch?v=8SkdfdXWYaI
1•Timothee•12m ago•0 comments

Substrates Vision Statement

https://alarmingdevelopment.org/?p=1842
1•mpweiher•14m ago•0 comments

Baby Is Healed with First Personalized Gene-Editing Treatment

https://www.nytimes.com/2025/05/15/health/gene-editing-personalized-rare-disorders.html
2•jbredeche•16m ago•1 comments

Software engineer lost his $150K-a-year job to AI

https://fortune.com/2025/05/14/software-engineer-replaced-by-ai-lost-six-figure-salary-800-job-applications-doordash-living-in-rv-trailer/
2•mromanuk•16m ago•0 comments

The Golden Age of computer user groups

https://arstechnica.com/information-technology/2020/08/the-golden-age-of-computer-user-groups/
1•rbanffy•17m ago•0 comments

Why New Generation of SBoM Tools Matters

https://worklifenotes.com/2025/05/15/why-new-generation-of-sbom-tools-matters/
1•taleodor•17m ago•0 comments

Determinate Nix 3.5: introducing lazy trees

https://determinate.systems/posts/changelog-determinate-nix-352/
2•biggestlou•18m ago•1 comments

Sea Monkeys and X-Ray Spex

https://www.collectorsweekly.com/articles/sea-monkeys-and-x-ray-spex/
2•udit99•18m ago•0 comments

The Tyranny of Thirty

https://medium.com/@JasonShen/the-tyranny-of-thirty-6bd7dc7f51ae
1•jasonshen•19m ago•0 comments

Chimpanzees Perform First Aid on Each Other

https://www.smithsonianmag.com/smart-news/chimpanzees-perform-first-aid-on-each-other-study-finds-and-it-may-shed-light-on-the-evolution-of-human-health-care-180986625/
1•mdp2021•21m ago•0 comments

Show HN: Agentset – An open-source RAG platform for AI apps

https://github.com/agentset-ai/agentset
2•tifa2up•22m ago•0 comments

A decentralized humanitarian protocol (signed message and bundle)

https://archive.org/details/angeliax_launch_bundle_v2.tar
1•angxsignal•23m ago•0 comments

We spent a week with the Sony WH-1000XM6, and it mostly delivers

https://www.soundguys.com/sony-wh-1000xm6-review-137397/
1•ofou•24m ago•0 comments

Show HN: Tensorlake-Ingest, Parse, and Orchestrate Documents for AI Workflows

https://www.tensorlake.ai/blog/announcing-tensorlake-cloud
2•diptanu•25m ago•0 comments

LMEval: An Open Source Framework for Cross-Model Evaluation

https://opensource.googleblog.com/2025/05/announcing-lmeval-an-open-ource-framework-cross-model-evaluation.html
1•alexcombessie•26m ago•0 comments

Pixi – Generative Creative Platform

https://pixilabs.app/
1•kipf•27m ago•0 comments

SEC Investigating Whether Coinbase Misstated Its User Numbers

https://www.nytimes.com/2025/05/15/technology/coinbase-sec-investigation.html
3•doener•29m ago•1 comments

Show HN: Text-free image generation prompting

https://www.gentube.app/genblocks
1•cfwes•29m ago•0 comments

Salesforce to Acquire Convergence.ai

https://www.salesforce.com/news/stories/salesforce-signs-definitive-agreement-to-acquire-convergence-ai/?bc=HL
2•ushakov•32m ago•0 comments

Rust 1.0, ten years later

https://steveklabnik.com/writing/rust-ten-years-later/
5•steveklabnik•32m ago•0 comments

Denver Air Traffic Control Hit by Radio Failure, Echoing Newark

https://www.bloomberg.com/news/articles/2025-05-15/denver-air-traffic-control-hit-by-radio-failure-echoing-newark
3•JumpCrisscross•34m ago•0 comments