niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

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/

Created 6mo | Jan 22, 2025, 5:30:09 PM


Login to add comment

Other posts in this group

Ambigrammia: Between Creation and Discovery (Hofstadter, 2025)
Ambigrammia: Between Creation and Discovery (Hofstadter, 2025)

Article URL: https://yalebooks.yale.edu/book/9780300275438/ambigrammia/

Comments URL:

Jul 26, 2025, 10:10:09 AM | Hacker news
Users claim Discord's age verification can be tricked with video game characters
Users claim Discord's age verification can be tricked with video game characters

Article URL: https://www.thepinknews.com/2025/07/25/discord-video-game-

Jul 26, 2025, 7:50:08 AM | Hacker news
Why I Do Programming
Why I Do Programming

Article URL: https://esafev.com/notes/why-i-do-programming/

Comments URL:

Jul 26, 2025, 7:50:07 AM | Hacker news
Turn any diagram image into an editable Draw.io file. No more redrawing
Turn any diagram image into an editable Draw.io file. No more redrawing

Article URL: https://imagetodrawio.com/

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

Jul 26, 2025, 7:50:06 AM | Hacker news
Auto Favicon MCP Server
Auto Favicon MCP Server

Article URL: https://github.com/dh1011/auto-favicon-mcp

Comments URL: https:

Jul 26, 2025, 7:50:04 AM | Hacker news
CCTV Footage Captures the First-Ever Video of an Earthquake Fault in Motion
CCTV Footage Captures the First-Ever Video of an Earthquake Fault in Motion

Article URL: htt

Jul 26, 2025, 5:30:10 AM | Hacker news
Claude Code introduces specialized sub-agents
Claude Code introduces specialized sub-agents

Article URL: https://docs.anthropic.com/en/docs/claude-code/sub-agents

Comments URL:

Jul 26, 2025, 3:20:12 AM | Hacker news
Techie
Techie