Skip to main content

ScourDiscover Docs

Discover About Docs Changelog

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

Back to article

Stephen Wolfram75w75 weeks ago

Who Can Understand the Proof? A Window on Formalized Mathematics (opens in new tab)

Discussed on Hacker News

|

|

Feeds

Stephen Wolfram writings.stephenwolfram.com

Wolfram Language and Mathematica Version 15, AI Assistant, Symbolic Music, More5d5 days ago

Games Between Programs: The Ruliology of Competition2w2 weeks ago

Making Wolfram Tech Available as a Foundation Tool for LLM Systems16w16 weeks ago

Hacker News: Front Page hnrss.org

Show HN: CleverCrow: give tokens to your favorite projects2h2 hours ago

JSON-LD Explained for Personal Websites2h2 hours ago

Wildcard (YC W25) Is Hiring a Founding Applied ML Engineer4h4 hours ago

+26 more in the past day

Hacker News news.ycombinator.com

Links for the intellectually curious, ranked by readers.

Apertus – Open Foundation Model for Sovereign AI11m11 minutes ago

NSA chief says Mythos breached 'almost all' classified systems in hours24m24 minutes ago

Everything Is Logarithms30m30 minutes ago

+35 more in the past day

Hacker News: Newest hnrss.org

FDA advisors unanimously vote to approve Moderna's mRNA after agency drama10m10 minutes ago

Apertus – Open Foundation Model for Sovereign AI11m11 minutes ago

PowerFox Browser17m17 minutes ago

+362 more in the past day

Keyboard Shortcuts

Navigation

Next / previous post: j/k
Open post: oorEnter
Preview post: v

Post Actions

Love post: a
Like post: l
Dislike post: d
Undo reaction: u
Save / unsave: s

Recommendations

Add interest / feed: Enter
Not interested: x

Go to

Home: gh
Interests: gi
Feeds: gf
Likes: gl
History: gy
Changelog: gc
Settings: gs
Discover: gb
Search: /

Pagination

Next page: n
Previous page: p

General

Show this help: ?
Submit feedback: !
Close modal / unfocus: Esc

Press ? anytime to show this help

Docs Blog (opens in new tab)Changelog Roadmap (opens in new tab)