niftycent.com
NiftyCent
FR
Connexion
Marketplace
Réductions

Sequent Calculus and Notation – Par Part 1

Article URL: https://ryanbrewer.dev/posts/sequent-calculus/

Comments URL: https://news.ycombinator.com/item?id=42795097

Points: 4

# Comments: 1

https://ryanbrewer.dev/posts/sequent-calculus/

Établi 6mo | 22 janv. 2025, 17:30:09


Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

When photography was born, fascination, obsession, and danger followed
When photography was born, fascination, obsession, and danger followed

Article URL: https://www.washingtonpost.com/books/2025/07/12/flashes-br

25 juil. 2025, 13:20:09 | Hacker news
Against the censorship of adult content by payment processors
Against the censorship of adult content by payment processors

Article URL: https://soatok.blog/2025/07/24/against-the-censorship-of-adult-content-by-payme

25 juil. 2025, 13:20:07 | Hacker news
Qwen3-235B-A22B-Thinking-2507
Qwen3-235B-A22B-Thinking-2507

Article URL: https://huggingface.co/Qwen/Qwen3-235B-A22B-Thinking-2507

Comments URL:

25 juil. 2025, 13:20:06 | Hacker news
Nuclear Reactor SIM by PeteTimesSix
Nuclear Reactor SIM by PeteTimesSix

Article URL: https://petetimessix.itch.io/nuclear-reactors

Comments URL:

25 juil. 2025, 10:50:08 | Hacker news
Terence Tao: Quantitative AI progress needs accurate and transparent evaluation
Terence Tao: Quantitative AI progress needs accurate and transparent evaluation

Article URL: https://mathstodon.xyz/@tao/114910028356641733

Comments URL:

25 juil. 2025, 08:40:06 | Hacker news
Games Look Bad: HDR and Tone Mapping
Games Look Bad: HDR and Tone Mapping

Article URL: https://ventspace.wordpress.com/2017/10/20/games-look-bad-part-1-hdr-and-tone-mapping/

25 juil. 2025, 08:40:05 | Hacker news
Celebrating 20 Years of MDN
Celebrating 20 Years of MDN

Article URL: https://developer.mozilla.org/en-US/blog/mdn-turns-20/

Comments URL:

25 juil. 2025, 06:20:11 | Hacker news
Techie
Techie