Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back
[bridged from https://mathstodon.xyz/@rrrichardzach on the fediverse by https://fed.brid.gy/ ]
This feature has been a long time coming because we wanted to take the time to do it right. Part of that process was sharing our work and getting feedback along the way […]
This feature has been a long time coming because we wanted to take the time to do it right. Part of that process was sharing our work and getting feedback along the way […]
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it's time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least 2023 and in many cases going […]
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it's time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least 2023 and in many cases going […]
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it's time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least 2023 and in many cases going […]
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it's time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least 2023 and in many cases going […]
Logisim port to browser "using a version of OpenJDK that runs in WebAssembly"
https://drs.software/blog/announcing-logisim/
https://logisim.app/
via
https://mathstodon.xyz/@regehr@mastodon.social/114385140845729553
Logisim port to browser "using a version of OpenJDK that runs in WebAssembly"
https://drs.software/blog/announcing-logisim/
https://logisim.app/
via
https://mathstodon.xyz/@regehr@mastodon.social/114385140845729553
https://sites.google.com/view/mc-pmp-brussels-2025
https://sites.google.com/view/mc-pmp-brussels-2025
https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams
See their open letter announcing their resignations and plans for […]
https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams
See their open letter announcing their resignations and plans for […]
https://www.sciencedirect.com/science/article/pii/S0732312325000045
https://www.sciencedirect.com/science/article/pii/S0732312325000045
OTD 1960: LISP I Programming manual is published: https://github.com/Luiz-Monad/papers/blob/master/LISP%20I%20Programmers%20Manual%20-%20IBM%20704%20-%201960.pdf
OTD 1960: LISP I Programming manual is published: https://github.com/Luiz-Monad/papers/blob/master/LISP%20I%20Programmers%20Manual%20-%20IBM%20704%20-%201960.pdf
If you're in the LA area, in or around Calgary, or New York, and you’re into philosophical logic, why […]
If you're in the LA area, in or around Calgary, or New York, and you’re into philosophical logic, why […]
I’ll go first: Anthony Hopkins as Socrates. #PhilosophyBiopics
https://blog.apaonline.org/2025/02/12/philosophy-of-language-landon-d-c-elkind/
https://blog.apaonline.org/2025/02/12/philosophy-of-language-landon-d-c-elkind/
tldr: They are on the whole negative, but I think some positives get overlooked.
tldr: They are on the whole negative, but I think some positives get overlooked.