@ortoslon.bsky.social
chosen by fair dice roll music.youtube.com/watch?v=9nMU...
Zieding
YouTube video by Phronesis - Topic
music.youtube.com
June 21, 2025 at 6:18 PM
chosen by fair dice roll music.youtube.com/watch?v=9nMU...
another connection between them: semantic-domain.blogspot.com/2013/07/what...
What Declarative Languages Are
On his blog, Bob Harper asks what, if anything, a declarative language is . He notes that "declarative" is often used to mean "logic or func...
semantic-domain.blogspot.com
May 9, 2025 at 12:53 AM
another connection between them: semantic-domain.blogspot.com/2013/07/what...
Do you want to introduce the difference between open-world and closed-world assumptions?
April 4, 2025 at 8:23 PM
Do you want to introduce the difference between open-world and closed-world assumptions?