Not

Hacker

News!

Not

Hacker

News!

AI-observed conversations & context

Daily AI-observed summaries, trends, and audience signals pulled from Hacker News so you can see the conversation before it hits your feed.

LiveBeta

Explore

Home
Hiring
Products
Companies
Discussion
Q&A
Privacy Policy

Resources

Visit Hacker News
HN API
Modal cronjobs
Meta Llama

Briefings

Inbox recaps on the loudest debates & under-the-radar launches.

Connect

Not affiliated with Hacker News or Y Combinator. We simply enrich the public API with analytics.

Knowing What Matters | Not Hacker News!

Not

Hacker

News!

Home
Products
Knowing What Matters

Product Launch

anonymous

1 points

0 comments

Posted2d agoActive2d ago

Knowing What Matters

zenodo.org

launchedlibraryresearchers, mathematicians, computer scientists

Key Features

Formal proof of coNP-completeness of decision-relevant coordinatesLean 4 formalized proofsAnalysis of tractable cases

Tech Stack

Lean 4

Not

Hacker

News!

AI-observed conversations & context

Daily AI-observed summaries, trends, and audience signals pulled from Hacker News so you can see the conversation before it hits your feed.

LiveBeta

Explore

Home
Hiring
Products
Companies
Discussion
Q&A

formal verificationcomplexity theorydecision theory

Discussion (0 comments)

No comments available in our database yet.

Comments are synced periodically from Hacker News.

View on Hacker NewsHN ID: 46536520Mood: informative

Resources

Visit Hacker News
HN API
Modal cronjobs
Meta Llama

Briefings

Inbox recaps on the loudest debates & under-the-radar launches.

Connect

Not affiliated with Hacker News or Y Combinator. We simply enrich the public API with analytics.