Urbanists.Social

0 posts0 participants0 posts today

Atlas the Explorer 🦋I've been playing a ton of Caves of Qud recently, so I thought I'd do a few player tiles for folks in my server and get some pixel art practice while at it c: This first batch is all moths!!<a href="https://mastodon.art/tags/pixelart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#pixelart</a> <a href="https://mastodon.art/tags/furryart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#furryart</a> <a href="https://mastodon.art/tags/moth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#moth</a> <a href="https://mastodon.art/tags/bug" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bug</a> <a href="https://mastodon.art/tags/cavesofqud" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cavesofqud</a> <a href="https://mastodon.art/tags/coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#coq</a> <a href="https://mastodon.art/tags/fanart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fanart</a> <a href="https://mastodon.art/tags/mastoart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mastoart</a>

José A. AlonsoBi-intuitionistic logics through the abstract algebraic logic lens. ~ Jonte Deakin, Ian Shillito. <a href="https://arxiv.org/abs/2503.17159" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://arxiv.org/abs/2503.17159</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coq</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a>

Jesper Agdakx 🔸As part of our (@sarantja@mastodon.social and yt) research on the usability of interactive theorem provers, we are conducting a study on the usage and state of tools and languages for type-driven development. We are interested in tools that encourage and facilitate type-driven development, especially in cases when they can help us reason about complex problems.We are hoping to use your responses to identify the characteristic language features and tool interactions that enable type-driven development, with the eventual goals of enhancing them and bringing their benefits to a wider range of programmers.Please fill in our anonymous, 10-minute survey here: <a href="https://tudelft.fra1.qualtrics.com/jfe/form/SV_bIsMxYTKUJkhVuS" rel="nofollow noopener noreferrer" target="_blank">https://tudelft.fra1.qualtrics.com/jfe/form/SV_bIsMxYTKUJkhVuS</a>You are welcome to participate if you have experience with any type-driven development tool, including dependently-typed languages (e.g., Coq, Lean, Agda), refinement types (e.g., Liquid Haskell), or even other static type systems (e.g., in Rust or Haskell).P.S. In case you remember signing up for an interview with us in a previous survey and are now wondering whether that study will still go on, the answer is: yes! We’ve had to revise our schedule, but we are still excited to talk to you and will start inviting people for an interview soon.<a class="hashtag" href="https://agda.club/tag/agda" rel="nofollow noopener noreferrer" target="_blank">#Agda</a> <a class="hashtag" href="https://agda.club/tag/coq" rel="nofollow noopener noreferrer" target="_blank">#Coq</a> <a class="hashtag" href="https://agda.club/tag/rocq" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a> <a class="hashtag" href="https://agda.club/tag/lean" rel="nofollow noopener noreferrer" target="_blank">#Lean</a> <a class="hashtag" href="https://agda.club/tag/liquidhaskell" rel="nofollow noopener noreferrer" target="_blank">#LiquidHaskell</a> <a class="hashtag" href="https://agda.club/tag/rust" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a class="hashtag" href="https://agda.club/tag/haskell" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a class="hashtag" href="https://agda.club/tag/typedrivendevelopment" rel="nofollow noopener noreferrer" target="_blank">#TypeDrivenDevelopment</a> <a class="hashtag" href="https://agda.club/tag/tyde" rel="nofollow noopener noreferrer" target="_blank">#TyDe</a> <a class="hashtag" href="https://agda.club/tag/dependenttypes" rel="nofollow noopener noreferrer" target="_blank">#DependentTypes</a> <a class="hashtag" href="https://agda.club/tag/liquidtypes" rel="nofollow noopener noreferrer" target="_blank">#LiquidTypes</a> <a class="hashtag" href="https://agda.club/tag/refinementtypes" rel="nofollow noopener noreferrer" target="_blank">#RefinementTypes</a> <a class="hashtag" href="https://agda.club/tag/proofassistants" rel="nofollow noopener noreferrer" target="_blank">#ProofAssistants</a> <a class="hashtag" href="https://agda.club/tag/survey" rel="nofollow noopener noreferrer" target="_blank">#Survey</a>

José A. AlonsoQED in context (An observation study of proof assistant users). ~ Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin C. Pierce, Andrew Head.<a href="https://jwshii.github.io/OOPSLA25.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jwshii.github.io/OOPSLA25.pdf</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coq</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a>

José A. AlonsoBiCoq: Bigraphs formalisation with Coq. ~ Cécile Marcon et als. <a href="https://www.dcs.gla.ac.uk/~michele/papers/SAC2025.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.dcs.gla.ac.uk/~michele/papers/SAC2025.pdf</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coq</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a>

youkhaCocorico! Cock-a-doodle-doo! Kikeriki! What’s yours? 🐓 <a href="https://mastoart.social/tags/watercolour" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#watercolour</a> <a href="https://mastoart.social/tags/watercolor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#watercolor</a> <a href="https://mastoart.social/tags/aquarelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#aquarelle</a> <a href="https://mastoart.social/tags/acuarela" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#acuarela</a> <a href="https://mastoart.social/tags/aquarell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#aquarell</a> <a href="https://mastoart.social/tags/acquerello" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#acquerello</a> <a href="https://mastoart.social/tags/aquarela" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#aquarela</a> <a href="https://mastoart.social/tags/MastoArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MastoArt</a> <a href="https://mastoart.social/tags/mastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mastodon</a> <a href="https://mastoart.social/tags/art" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#art</a> <a href="https://mastoart.social/tags/artist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#artist</a> <a href="https://mastoart.social/tags/painting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#painting</a> <a href="https://mastoart.social/tags/drawing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#drawing</a> <a href="https://mastoart.social/tags/illustration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#illustration</a> <a href="https://mastoart.social/tags/paint" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#paint</a> <a href="https://mastoart.social/tags/draw" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#draw</a> <a href="https://mastoart.social/tags/rooster" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rooster</a> <a href="https://mastoart.social/tags/coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#coq</a> <a href="https://mastoart.social/tags/animal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#animal</a> <a href="https://mastoart.social/tags/animals" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#animals</a> <a href="https://mastoart.social/tags/nature" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nature</a> <a href="https://mastoart.social/tags/bird" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bird</a> <a href="https://mastoart.social/tags/birds" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#birds</a> <a href="https://mastoart.social/tags/BirdsOfMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BirdsOfMastodon</a>

Recent searches

Search options

Administered by:

Server stats:

#coq