frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean

https://anabelian.org/
2•ur-whale•1h ago

Comments

ur-whale•59m ago
An attempt at formalizing in Lean Mochizuki's ITU and put an end to the controversy produced by a 500 pages "proof" that no one can actually understands.

Additional information:

https://github.com/katobungen/LANA_report_202607

Mochizuki himself has also started a "skeleton" formalization attempt of his theory:

https://aitpm.github.io/slides/Mochizuki.pdf?utm_source=chat...

Surprisingly enough, no one seem to have tried to use LLM's to do the work (or parts of it).

Building Glimt

https://glimt.online/
1•Glimtonline•1m ago•0 comments

Math. Premium

https://calc.company
1•souvlakee•2m ago•0 comments

Show HN: Free ad-headline generator that labels the persuasion technique used

https://adcreator-ai.com/free/headline-generator
2•scholarnet-AI•9m ago•0 comments

Show HN: Modern C++ Build Tools for Module Feature

https://github.com/mcpp-community/mcpp
1•sunrisepeak•12m ago•0 comments

Show HN: Free 2-minute OSHA HazCom self-audit, no signup

https://sdsentry.0xpi.com/hazcom-self-audit.html
2•scholarnet-AI•12m ago•0 comments

Message your other Claude Code sessions

https://code.claude.com/docs/en/cross-session-messaging
1•adamfeldman•13m ago•0 comments

Hacked Amazon Echo Dot 2 and can run LLMs locally

https://www.reddit.com/r/homeassistant/s/X13006g0tS
1•albertoZurini•14m ago•0 comments

Black Hat USA 2026: The OpenAI–Hugging Face Incident [video]

https://www.youtube.com/watch?v=87DyyMV0kCY
1•mellosouls•18m ago•0 comments

Ginear – A Linear-like UI using GitHub Issues and Projects as the back end

https://github.com/leonschwanitz/ginear
1•leonschwanitz•19m ago•1 comments

A 15-minute backup audit for self-hosted homelabs

https://scholar.0xpi.com/blog/homelab-backup-audit-checklist
1•scholarnet-AI•20m ago•0 comments

I Built an MCP Server for JMeter Docs

https://qainsights.com/i-built-an-mcp-server-for-jmeter-docs-heres-how-to-connect-your-ai-agent-t...
1•qainsights•24m ago•1 comments

Cloudflare launches Kitesurf, a browser built for AI agents

https://techcrunch.com/2026/08/07/cloudflare-launches-kitesurf-a-browser-built-for-ai-agents/
2•justworks•26m ago•0 comments

Skill.md vs. Llms.txt: What Each File Does and When You Need Both

https://docsalot.dev/blog/skill-md-vs-llms-txt
1•mooreds•28m ago•0 comments

How to Support Rural Oregon Businesses Affected by Wildfire

https://reinventingrural.substack.com/p/how-to-support-rural-oregon-businesses
2•mooreds•29m ago•0 comments

MegaDev AI Workshop

https://mega.dev
1•beverett•36m ago•1 comments

Long Dark Blues

https://longdarkblues.com/
2•unacorner•36m ago•0 comments

Should AI labs be treated like the owners of dangerous animals?

https://www.economist.com/science-and-technology/2026/08/06/should-ai-labs-be-treated-like-the-ow...
6•reasonableklout•39m ago•1 comments

What counts as cooking? In defense of the store-bought sauce

https://iza.ac/posts/2026/06/what-counts-as-cooking/
1•mooreds•42m ago•0 comments

When Matt Taibbi Met Mike Benz

https://agentsofinfluence.substack.com/p/when-matt-taibbi-met-mike-benz
1•hn_acker•43m ago•0 comments

Classifying Capabilities (Extended Version)

https://arxiv.org/abs/2607.24504
2•matt_d•52m ago•0 comments

Annessaia – a sandboxed WASM app runtime with its own UI toolkit

https://github.com/vm100900/annessaia
1•virenmane•52m ago•0 comments

Is the IDE Dead?

https://textlog.cc/post/251
2•s-xyz•1h ago•0 comments

Solving Legal Problems with Dags

https://lexifina.com/blog/solving-legal-problems-with-dags
3•alansaber•1h ago•0 comments

Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean

https://anabelian.org/
2•ur-whale•1h ago•1 comments

Simplest CMS you'll ever need. Manage content right in your GitHub repository

https://pagescms.org/
3•Leftium•1h ago•0 comments

Atlas of Surveillance

https://www.atlasofsurveillance.org/
2•bookofjoe•1h ago•0 comments

The worlds longest song makes a chord change

https://www.msn.com/en-us/music/news/the-worlds-slowest-organ-concert-makes-a-chord-change/vi-AA2...
3•thatxliner•1h ago•0 comments

Am I the problem? Interviewing another team to find out

https://www.macchaffee.com/blog/2026/am-i-the-problem/
2•birdculture•1h ago•0 comments

A quick look at zero-knowledge proofs

https://bernsteinbear.com/blog/zkp/
4•tekknolagi•1h ago•1 comments

First JDK 28 Early-Access Build Including JEP 401: Value Objects

https://jdk.java.net/28/
1•mfiguiere•1h ago•0 comments