frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Injecting Java from native libraries on Android

https://octet-stream.net/b/scb/2025-08-03-injecting-java-from-native-libraries-on-android.html
1•PaulHoule•2m ago•0 comments

Collective alignment: public input on our Model Spec

https://openai.com/index/collective-alignment-aug-2025-updates/
1•davidbarker•3m ago•0 comments

From Airbnb to America's 'Chief Design Officer'

https://www.nytimes.com/2025/08/27/style/joe-gebbia-trump-design-officer-airbnb.html
1•01-_-•4m ago•0 comments

"Bitcoin Is Dead" – The #1 Database of Notable Bitcoin Skeptics

https://bitbo.io/dead/
1•frozenseven•4m ago•0 comments

4chan launches legal action against Ofcom in US

https://www.bbc.com/news/articles/clyjq40vjl7o
1•01-_-•5m ago•0 comments

Show HN: An ncurses CUDA-based fluid simulation

https://github.com/seanwevans/fluid-sims
1•goosethe•5m ago•0 comments

Beginning 1 September, we will need to geoblock Mississippi IPs

https://dw-news.dreamwidth.org/44429.html
1•AndrewDucker•6m ago•0 comments

Security researcher maps TeslaMate servers spilling Tesla vehicle data

https://techcrunch.com/2025/08/26/security-researcher-maps-hundreds-of-teslamate-servers-spilling...
1•rbanffy•9m ago•1 comments

New Study Rocks Jupiter's Giant Impact Theory – Universe Today

https://www.universetoday.com/articles/new-study-rocks-jupiters-giant-impact-theory
2•rbanffy•9m ago•0 comments

Can LLMs Dream of Electric Sheep?

https://sankalp.bearblog.dev/can-llms-dream-of-electric-sheep/
1•indigodaddy•9m ago•0 comments

Behind the Headlines of the MIT Study

https://www.tennr.com/resources/behind-the-headlines-of-the-mit-study
1•treyholterman•10m ago•1 comments

Foresight-32B Beats Frontier LLMs on Live Polymarket Predictions

https://blog.lightningrod.ai/p/foresight-32b-beats-frontier-llms-on-live-polymarket-predictions
3•bturtel•13m ago•0 comments

Seven common tropes used to deny Gaza's famine, debunked by an expert

https://www.telegraph.co.uk/global-health/terror-and-security/seven-common-tropes-used-to-deny-ga...
2•NomDePlum•13m ago•0 comments

Doxx – A viewer for Microsoft Word .docx files in the terminal

https://terminaltrove.com/doxx/
2•todsacerdoti•14m ago•0 comments

What Is Your Inflation Rate?

https://www.sharonlohr.com/blog/2025/8/24/what-is-your-inflation-rate
1•indigodaddy•16m ago•0 comments

Jobauto.ai Beta (Live) – Your Gateway to Interviews

https://www.jobauto.ai/
1•devanshu28•16m ago•1 comments

Custom Workflows: Automate Everything

https://cased.com/blog/2025-08-27-custom-workflows-automate-everything/
3•connorsears•18m ago•0 comments

'Will you leave US for China?' It depends, mathematician Terence Tao says

https://www.scmp.com/news/china/science/article/3323325/will-you-leave-us-china-it-depends-says-m...
4•billybuckwheat•19m ago•0 comments

Hmf4j parallelizes as well as orders message processing

https://handy-messaging-framework.github.io/handy-messaging4j-docs/features/MessageOrdering.html
1•aronsajan•19m ago•0 comments

DietPi v9.16 has been released

1•StephanStS•21m ago•0 comments

Ask HN: What measures are you taking to stop AI crawlers?

3•kjok•21m ago•2 comments

Amazon Q Developer: Remote Code Execution with Prompt Injection

https://embracethered.com/blog/posts/2025/amazon-q-developer-remote-code-execution/
1•kerng•21m ago•0 comments

Show HN: Circuit Bot - AI powered co-engineer for embedded systems development

https://www.circuitbot.io
1•ibrahimdanish•22m ago•1 comments

Mark Zuckerberg give headphones to neighbors due to 11-Home Construction Noise

https://fortune.com/2025/08/26/mark-zuckerberg-palo-alto-neighbors-construction-noise-canceling-h...
2•randycupertino•23m ago•0 comments

Cline: Vulnerable to Data Exfiltration and How to Protect Your Data

https://embracethered.com/blog/posts/2025/cline-vulnerable-to-data-exfiltration/
3•wendythehacker•23m ago•0 comments

Mapping Connections of Anti-Offshore Wind Groups and Their Lawyers

https://www.climatedevlab.brown.edu/post/legal-entanglements-mapping-connections-of-anti-offshore...
4•worik•24m ago•0 comments

Humans experience cognitive fatigue to go offline and replay memories [pdf]

https://swh.princeton.edu/~ndaw/amcd021.pdf
2•timshell•25m ago•0 comments

Andrew Ng says bottleneck in AI startups isn't coding – it's product management

https://www.businessinsider.com/andrew-ng-product-management-bottleneck-coding-ai-startups-2025-8
2•cl42•25m ago•0 comments

Chrome VPN Extension with 100k Installs Screenshots All Sites Users Visit

https://cyberinsider.com/chrome-vpn-extension-with-100k-installs-screenshots-all-sites-users-visit/
3•theapache64•26m ago•0 comments

Countering Chinese State-Sponsored Actors Compromise of Networks Worldwide

https://www.cisa.gov/news-events/cybersecurity-advisories/aa25-239a
2•jung_j•27m ago•0 comments
Open in hackernews

Re: Turing's Diagonals

https://www.academia.edu/143540657/re_turings_diagonals_how_to_decide_on_the_sequence_of_computable_numbers
1•dart200•1h ago

Comments

dart200•1h ago
This is an intuitive proof that directly refutes Turing's intuition underlying his arguments for undecidability, by rectifying the decision paradox found in the diagonal computation for computable numbers. Once this paradox is rectified we find the resulting computation sufficient to compute a direct diagonal, but not sufficient to compute an inverse diagonal that could be used to "diagonalize" the computable numbers as Cantor did with the reals.

This is an application of novel intuition that I do not know how to formalize into more traditional forms of expression for computability. But Turing's rational also did not utilize those more formal expressions, which is why I'm applying the novel intuition directly against his paper and not elsewhere.