Sequent Calculus and Notation

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/

Vytvorené 1mo | 22. 1. 2025, 17:30:09

Ak chcete pridať komentár, prihláste sa

Ostatné príspevky v tejto skupine

$Closing the "green gap": energy savings from the math of the landscape function$

Closing the "green gap": energy savings from the math of the landscape function

Article URL: https://terrytao.wo

24. 2. 2025, 23:10:09 | Hacker news

Show HN: Electro – A hyper-fast Windows image viewer with a built-in terminal

This is my first major OSS release! I was always so frustrated by how slow image viewers were on Windows so I built one from the ground up with Rust & Tauri v2.0!

Electro also has a very unique

24. 2. 2025, 23:10:07 | Hacker news

"The closer to the train station, the worse the kebab" – A "Study"

Article URL: https://www.jmspae.se/write-ups/kebabs-train-stations/

Comments URL:

24. 2. 2025, 23:10:06 | Hacker news

Modernist Cuisine: The Art and Science of Cooking

Article URL: https://modernistcuisine.com/books/modernist-cuisine/

Comments URL:

24. 2. 2025, 20:40:17 | Hacker news

$Student refines 100-year-old math problem, expanding wind energy possibilities$

Student refines 100-year-old math problem, expanding wind energy possibilities

Article URL: https://www.psu.edu/news/engineering/story/student-r

24. 2. 2025, 20:40:16 | Hacker news

The best way to use text embeddings portably is with Parquet and Polars

Article URL: https://minimaxir.com/2025/02/embeddings-parquet/

Comments URL:

24. 2. 2025, 20:40:15 | Hacker news

Claude 3.7 Sonnet and Claude Code

Article URL: https://www.anthropic.com/news/claude-3-7-sonnet

Comments URL:

24. 2. 2025, 20:40:14 | Hacker news

Techie

Sequent Calculus and Notation – Par Part 1

Ostatné príspevky v tejto skupine