Create accountLogin

Recent searches

No recent searches

Search options

Not available on handmade.social.
handmade.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
handmade.social is for all handmade artisans to create accounts for their Etsy and other handmade business shops.

Administered by:

Server stats:

36
active users

handmade.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#ProofAssistant

0 posts0 participants0 posts today
Open Skies<p>(and if anyone has some research grants, I'd appreciate being given some pointers to them)</p><p><a href="https://pony.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguage</span></a> <a href="https://pony.social/tags/ProofAssistant" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProofAssistant</span></a> <a href="https://pony.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a></p>
Open Skies<p>In the past couple days we successfully got our new language to host a hello world webserver and open a hello world desktop gui, and pushed past 2ksloc of some nontrivial bootstrapping, prelude, and tests being maintained. There's still a lot to do, like implement all the missing features to make non-hello-world projects, and the typechecker is held together with duct tape and bailing wire and it really shows sometimes. Volunteers welcome if you want to suffer with me on a really cool project to push the boundaries on what's possible in a practical programming language and proof assistant.</p><p><a href="https://pony.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguage</span></a> <a href="https://pony.social/tags/ProofAssistant" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProofAssistant</span></a> <a href="https://pony.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a></p>
SearchLive feeds
About