#logic
1
From steampowered.com
1 1
Minimal Puzzle Games
#logic #puzzle #gamedev #minimal #indiedev #indiegame #puzzlegame #madewithunity
on Jun 28
1
From daletra.art
1 1
Outside I can hear 'em bussin', bussin'. And the police they rushin'. Go to my head like concussion. I'd rather not have this discussion.
on Jan 2
1
1 1
Re: Michael Harris • Language About Language There is a language and a corresponding literature treating logic and mathematics as related species of communication and information gathering, na…
#logic #peirce #inquiry #semiotics #reflection #mathematics #signrelations
5h ago
1
From github.io
Readings shared February 15, 2025
1 1
The readings shared in Bluesky on 15 March 2025 are Revisiting an early critique of formal verification. ~ Lawrence Paulson. #ITP #Math #FormalVerification A proof of the Schröder-Bernstein theorem i
#ai #chr #itp #nlp #acl2 #math #emacs #logic #prolog #haskell
17h ago
1
Survey of Pragmatic Semiotic Information • 8
1 1
This is a Survey of blog and wiki posts on a theory of information which grows out of pragmatic semiotic ideas. All my projects are exploratory in character but this line of inquiry is more o…
#logic #peirce #inquiry #semiotics #reflection #mathematics #signrelations
on Mar 3, 2024
1
From wordpress.com
1 1
I’m cutting loose the “internal language” strand of the Gordian knot of the “No Comment” comment section. Here is David Corfield’s last contribution: Regarding …
#logic #peirce #inquiry #semiotics #reflection #mathematics #signrelations
5h ago