Hacker News: schmookhttps://news.ycombinator.com/user?id=schmookHacker News RSShttps://hnrss.org/hnrss v2.1.1Thu, 17 Sep 2026 16:02:32 +0000<![CDATA[New comment by schmook in "SymbolicAI: A neuro-symbolic perspective on LLMs"]]>My only gripe with this is that there's alread a term in computer science for this concept of "design by contract".

It's called a type system.

What you need for this is a more expressive type system.

]]>Tue, 01 Jul 2025 01:35:07 +0000https://news.ycombinator.com/item?id=44429739schmookhttps://news.ycombinator.com/item?id=44429739https://news.ycombinator.com/item?id=44429739<![CDATA[New comment by schmook in "Is stoicism a religion? The Concept of Stoicism in the 21st Century"]]>Interesting discussion.

]]>Wed, 08 Feb 2023 21:23:56 +0000https://news.ycombinator.com/item?id=34715402schmookhttps://news.ycombinator.com/item?id=34715402https://news.ycombinator.com/item?id=34715402<![CDATA[Is stoicism a religion? The Concept of Stoicism in the 21st Century]]>Article URL: https://dunder-blog.netlify.app/posts/stoicism

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

Points: 3

# Comments: 1

]]>Wed, 08 Feb 2023 21:23:56 +0000https://dunder-blog.netlify.app/posts/stoicismschmookhttps://news.ycombinator.com/item?id=34715401https://news.ycombinator.com/item?id=34715401<![CDATA[Compilers as Spiritual Guides]]>Article URL: https://dunder-blog.netlify.app/posts/compilers

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

Points: 2

# Comments: 1

]]>Sun, 11 Dec 2022 17:06:28 +0000https://dunder-blog.netlify.app/posts/compilersschmookhttps://news.ycombinator.com/item?id=33944977https://news.ycombinator.com/item?id=33944977