mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.

Administré par :

Statistiques du serveur :

574
comptes actifs

#isabelle

0 message0 participant0 message aujourd’hui
Bytes Europe<p>Isabelle Grippa Leads Belgium’s Economic Mission to Kuwait <a href="https://www.byteseu.com/959738/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">byteseu.com/959738/</span><span class="invisible"></span></a> <a href="https://pubeurope.com/tags/Belgium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Belgium</span></a> <a href="https://pubeurope.com/tags/Belgium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Belgium</span></a>’s <a href="https://pubeurope.com/tags/economic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>economic</span></a> <a href="https://pubeurope.com/tags/Grippa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Grippa</span></a> <a href="https://pubeurope.com/tags/Isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Isabelle</span></a> <a href="https://pubeurope.com/tags/Kuwait" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Kuwait</span></a> <a href="https://pubeurope.com/tags/Leads" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Leads</span></a> <a href="https://pubeurope.com/tags/Mission" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mission</span></a> <a href="https://pubeurope.com/tags/to" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>to</span></a></p>
e_niort<p><a href="https://mastodon.top/tags/M%C3%A9t%C3%A9o" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Météo</span></a> du samedi 22 février 2025 à <a href="https://mastodon.top/tags/Niort" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Niort</span></a> : pluie possiblement orageuse le matin. entre averses et éclaircies à partir de l'après-midi. Min. : 10°. Max. : 16°. Bonne fête aux <a href="https://mastodon.top/tags/Isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Isabelle</span></a>.</p>
Jesper Agdakx 🔸Oh hey, Asterisk has an article on theorem provers, LLMs, and autoformalization (i.e. automatically turning math papers into formalized proofs). I still think this task is significantly more difficult than what some people seem to think, but who can really tell anymore at this point.<br><br><a href="https://asteriskmag.com/issues/09/automating-math" rel="nofollow noopener noreferrer" target="_blank">asteriskmag.com/issues/09/automating-math</a><br><br><a class="hashtag" href="https://agda.club/tag/theoremprovers" rel="nofollow noopener noreferrer" target="_blank">#TheoremProvers</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/lean" rel="nofollow noopener noreferrer" target="_blank">#Lean</a> <a class="hashtag" href="https://agda.club/tag/isabelle" rel="nofollow noopener noreferrer" target="_blank">#Isabelle</a>
Masked Phantom 47<p>Isabelle and Doom Guy for Isabelle Day!!<br><a href="https://mastodon.social/tags/fanart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fanart</span></a> <a href="https://mastodon.social/tags/crossover" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>crossover</span></a> <a href="https://mastodon.social/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a> <a href="https://mastodon.social/tags/AnimalCrossing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AnimalCrossing</span></a> <a href="https://mastodon.social/tags/doom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>doom</span></a> <a href="https://mastodon.social/tags/doomslayer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>doomslayer</span></a> <a href="https://mastodon.social/tags/anthro" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>anthro</span></a></p>
Jan de Muijnck-Hughes<p>Users of <a href="https://discuss.systems/tags/Agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agda</span></a> <a href="https://discuss.systems/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> <a href="https://discuss.systems/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Coq</span></a> <a href="https://discuss.systems/tags/Isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Isabelle</span></a> <a href="https://discuss.systems/tags/FStar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FStar</span></a> <a href="https://discuss.systems/tags/Dafny" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Dafny</span></a> </p><p>I am looking to collect examples of 'notable' projects that used the language for verified software that _is_ used.</p><p>I have a list (Lean, Ceder, Idris, Sail, Bedrock, HAX, SEL4, Hax, Cardano) but want to know if there are more that I have missed...</p>
HoldMyType<p>Running the manual: an approach to high-assurance microkernel development<br>&gt; the kernel is obviously a state<br>transformer, and hence, conveniently represented as a monad. This<br>choice is reaffirmed by the need for recoverable exceptions, which<br>are detailed in the next subsection. In fact, we will see that we want<br>to distinguish between code that may raise recoverable exceptions<br>and code that does not have that liberty. Hence, it is worthwhile<br>to use monad transformers as provided by the MTL in the Haskell<br>Hierarchical Libraries <br>&gt; seL4 API includes several system calls that<br>attempt to manipulate a capability address space, which is a data<br>structure containing a sparse mapping from addresses to capabili-<br>ties. If one of these system calls fails to locate a specified capability,<br>it will generate a system call error that is returned to the caller. On<br>the other hand, a similar failure while searching for a capability that<br>is being directly invoked will generate a fault message that is sent<br>to the current thread’s fault handler; a failure while trying to trans-<br>mit a capability through a one-way communication channel will be<br>silently ignored when the receiver is unable or unwilling to receive<br>the capability.<br>&gt; HOL is a logic of total functions and is as such not suitable to ex-<br>press the semantics of Haskell directly. It is however suitable to<br>describe the semantics of Haskell functions that always terminate<br>and that do not make essential use of laziness. The seL4 implemen-<br>tation consists of such functions.</p><p><a href="https://mathstodon.xyz/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mathstodon.xyz/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a> <a href="https://mathstodon.xyz/tags/sel4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sel4</span></a><br><a href="http://portal.acm.org/citation.cfm?id=1159842.1159850&amp;coll=portal&amp;dl=ACM&amp;type=series&amp;idx=1159842&amp;part=Proceedings&amp;WantType=Proceedings&amp;title=Haskell&amp;CFID=18785943&amp;CFTOKEN=93152956" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="ellipsis">portal.acm.org/citation.cfm?id</span><span class="invisible">=1159842.1159850&amp;coll=portal&amp;dl=ACM&amp;type=series&amp;idx=1159842&amp;part=Proceedings&amp;WantType=Proceedings&amp;title=Haskell&amp;CFID=18785943&amp;CFTOKEN=93152956</span></a></p>
JJ🌱<p>(2020) <br>Wanted to do the tough guy buying Animal Crossing: New Horizons and a cute one buying Doom Eternal meme and well, I just kept having fun drawing these two.<br><a href="https://owo.cafe/tags/mgs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mgs</span></a> <a href="https://owo.cafe/tags/animalcrossing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animalcrossing</span></a> <a href="https://owo.cafe/tags/snake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>snake</span></a> <a href="https://owo.cafe/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a> <a href="https://owo.cafe/tags/ssb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ssb</span></a> <a href="https://owo.cafe/tags/fanart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fanart</span></a></p>
CrashLogger<p>Azkenekoa! :)<br>Nintendo DSi-ko argazkia :D</p><p><a href="https://mastodon.eus/tags/Canela" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Canela</span></a> <a href="https://mastodon.eus/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a> <a href="https://mastodon.eus/tags/acnh" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>acnh</span></a> <a href="https://mastodon.eus/tags/hondartza" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hondartza</span></a> <a href="https://mastodon.eus/tags/beach" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>beach</span></a></p>
theHigherGeometer<p>Some observations on working in a non-dependently typed functional programming language</p><p><a href="https://thehighergeometer.wordpress.com/2024/09/13/type-theoretic-considerations-in-functional-language-software-development/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">thehighergeometer.wordpress.co</span><span class="invisible">m/2024/09/13/type-theoretic-considerations-in-functional-language-software-development/</span></a></p><p><a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a></p>
Jocelyn<p><a href="https://mastodon.gougere.fr/tags/LeMonde" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeMonde</span></a> : "Au <a href="https://mastodon.gougere.fr/tags/th%C3%A9%C3%A2tre" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>théâtre</span></a>, le retour d’une <a href="https://mastodon.gougere.fr/tags/censure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>censure</span></a> qu’on croyait évanouie"</p><p>"A la différence de <a href="https://mastodon.gougere.fr/tags/SylvieChalaye" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SylvieChalaye</span></a>, l’universitaire <a href="https://mastodon.gougere.fr/tags/Isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Isabelle</span></a># Barbéris ne fait pas de distinction : « Les <a href="https://mastodon.gougere.fr/tags/censures" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>censures</span></a> de <a href="https://mastodon.gougere.fr/tags/droite" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>droite</span></a> et de <a href="https://mastodon.gougere.fr/tags/gauche" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gauche</span></a> ont tendance aujourd’hui à se recouper…[autant] la censure qui défendrait la juste représentation de <a href="https://mastodon.gougere.fr/tags/minorit%C3%A9s" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>minorités</span></a> dominées » que « celle émanant de groupements d’intérêts <a href="https://mastodon.gougere.fr/tags/r%C3%A9actionnaires" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>réactionnaires</span></a> et <a href="https://mastodon.gougere.fr/tags/conservateurs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>conservateurs</span></a> »."</p><p><a href="https://www.lemonde.fr/series-d-ete/article/2024/08/26/au-theatre-le-retour-d-une-censure-qu-on-croyait-evanouie-avec-l-italien-romeo-castelluci_6295680_3451060.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">lemonde.fr/series-d-ete/articl</span><span class="invisible">e/2024/08/26/au-theatre-le-retour-d-une-censure-qu-on-croyait-evanouie-avec-l-italien-romeo-castelluci_6295680_3451060.html</span></a></p>
🔞 Nachan 🔞<p>[Monthly poll Drawing - June]</p><p>June vote was won by Isabelle from Animal Crossing.</p><p>What the dog doin'?</p><p>--<br>*See art one month earlier, alts and more on my p@treon and subscribest@r.*</p><p>See the platforms here: nachanstart carrd co</p><p><a href="https://mastodon.social/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a> <a href="https://mastodon.social/tags/animalcrossing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animalcrossing</span></a> <a href="https://mastodon.social/tags/animal_crossing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animal_crossing</span></a> <a href="https://mastodon.social/tags/animalcrossing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animalcrossing</span></a> <a href="https://mastodon.social/tags/dog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dog</span></a> <a href="https://mastodon.social/tags/panties" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>panties</span></a> <a href="https://mastodon.social/tags/upskirt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>upskirt</span></a> <a href="https://mastodon.social/tags/tail" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tail</span></a> <a href="https://mastodon.social/tags/skirt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>skirt</span></a> <a href="https://mastodon.social/tags/glasses" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>glasses</span></a> <a href="https://mastodon.social/tags/anthro" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>anthro</span></a> <a href="https://mastodon.social/tags/furry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>furry</span></a> <a href="https://mastodon.social/tags/furryart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>furryart</span></a> <a href="https://mastodon.social/tags/anthroart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>anthroart</span></a> <a href="https://mastodon.social/tags/mastoart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mastoart</span></a> <a href="https://mastodon.social/tags/digitalArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>digitalArt</span></a> <a href="https://mastodon.social/tags/nsfw" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nsfw</span></a></p>
Efemèrides Videojocs 🕹👾<p>Aquest any fa 25 anys que ens arribava "Isabelle" per "Windows" 🕹🎮. <a href="https://mastodon.social/tags/Isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Isabelle</span></a> <a href="https://mastodon.social/tags/Windows" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Windows</span></a> <a href="https://mastodon.social/tags/Aventura" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Aventura</span></a> <a href="https://mastodon.social/tags/Videojocs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Videojocs</span></a> <a href="https://mastodon.social/tags/Gaming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Gaming</span></a> <a href="https://mastodon.social/tags/VideoGames" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VideoGames</span></a> <a href="https://mastodon.social/tags/RetroGaming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RetroGaming</span></a> <a href="https://mastodon.social/tags/ClassicGaming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ClassicGaming</span></a> <a href="https://mastodon.social/tags/RetroGames" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RetroGames</span></a> <a href="https://mastodon.social/tags/VideojocsAntics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VideojocsAntics</span></a></p>
Jesper Agdakx 🔸<p>My PhD student Sára and I are looking for people to participate in a study on usability aspects of interactive theorem provers. Please consider signing up!</p><p><strong>Who?</strong> anyone who uses or has used an interactive theorem prover for whatever purpose</p><p><strong>What?</strong> 90 - 120 minute interviews (possibly including a small think-aloud programming session)</p><p><strong>When?</strong> interviews will be scheduled starting September 2024</p><p><strong>Where?</strong> online (participants from anywhere are welcome)</p><p>We are hoping these interviews will help us determine how you interact with your theorem provers and to gain insights on how we can improve the user experience. We are interested in all aspects of interactive theorem provers, including but not limited to their design, their tooling, their libraries, and their documentation.</p><p>Sign up here: <a href="https://tudelft.fra1.qualtrics.com/jfe/form/SV_0UJKuqcWC9G4FEy" rel="nofollow noopener noreferrer" target="_blank">https://tudelft.fra1.qualtrics.com/jfe/form/SV_0UJKuqcWC9G4FEy</a></p><p><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/lean" rel="nofollow noopener noreferrer" target="_blank">#Lean</a> <a class="hashtag" href="https://agda.club/tag/isabelle" rel="nofollow noopener noreferrer" target="_blank">#Isabelle</a> <a class="hashtag" href="https://agda.club/tag/usability" rel="nofollow noopener noreferrer" target="_blank">#Usability</a> <a class="hashtag" href="https://agda.club/tag/theoremprovers" rel="nofollow noopener noreferrer" target="_blank">#TheoremProvers</a></p>
Ms. Stargal Galexi [🎨-OPEN!]⭐<p>This is a vent piece. I miss playing videogames. Being an adult sucks. Take me back. TAKE ME BACK.</p><p><a href="https://cubhub.social/tags/Babyfur" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Babyfur</span></a> <a href="https://cubhub.social/tags/doom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>doom</span></a> <a href="https://cubhub.social/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a> <a href="https://cubhub.social/tags/animalcrossing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animalcrossing</span></a> <a href="https://cubhub.social/tags/diaper" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diaper</span></a></p>
🔞 Nachan 🔞<p>Nice doggy :3c</p><p>--<br>Full Isabelle X Ankha futanari story in comments.</p><p><a href="https://mastodon.social/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a> <a href="https://mastodon.social/tags/animalcrossing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>animalcrossing</span></a> <a href="https://mastodon.social/tags/stockings" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>stockings</span></a> <a href="https://mastodon.social/tags/doggirl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>doggirl</span></a> <a href="https://mastodon.social/tags/anthro" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>anthro</span></a> <a href="https://mastodon.social/tags/furry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>furry</span></a> <a href="https://mastodon.social/tags/furryart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>furryart</span></a> <a href="https://mastodon.social/tags/anthroart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>anthroart</span></a> <a href="https://mastodon.social/tags/mastoart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mastoart</span></a> <a href="https://mastodon.social/tags/digitalArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>digitalArt</span></a> <a href="https://mastodon.social/tags/nsfw" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nsfw</span></a> <a href="https://mastodon.social/tags/nsfwart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nsfwart</span></a></p>
Achim D. Brucker<p>We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff form the Université Paris-Saclay on developing a formal semantics for Go (lang) in Isabelle/HOL. This new 'double PhD' programme leading to a PhD award from both universities. <br>More information and application details at: <a href="https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">exeter.ac.uk/study/pg-research</span><span class="invisible">/funding/phdfunding/paris-saclay/</span></a> and <a href="https://adum.fr/as/ed/voirproposition.pl?site=adumR&amp;matricule_prop=53822#version" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">adum.fr/as/ed/voirproposition.</span><span class="invisible">pl?site=adumR&amp;matricule_prop=53822#version</span></a> (application deadline: 31st of March 2024). Please contact me for more details.<br><a href="https://fediscience.org/tags/Isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Isabelle</span></a> <a href="https://fediscience.org/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://fediscience.org/tags/FediHire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FediHire</span></a> <a href="https://fediscience.org/tags/Golang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Golang</span></a> <a href="https://fediscience.org/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> <a href="https://fediscience.org/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://fediscience.org/tags/Semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semantics</span></a></p>
NullNoMore<p>This <a href="https://mastodon.social/tags/VGMWednesday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VGMWednesday</span></a> is an open theme. Mods are asleep, time to post Doom Crossing: Eternal Horizons. </p><p><a href="https://mastodon.social/tags/AnimalCrossing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AnimalCrossing</span></a> <a href="https://mastodon.social/tags/Doom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Doom</span></a> <a href="https://mastodon.social/tags/TheyAreBestiesYourHonor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheyAreBestiesYourHonor</span></a> <a href="https://mastodon.social/tags/Isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Isabelle</span></a> </p><p><a href="https://youtu.be/QydzTeVCeAA" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/QydzTeVCeAA</span><span class="invisible"></span></a></p>
e_niort<p><a href="https://mastodon.top/tags/M%C3%A9t%C3%A9o" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Météo</span></a> du jeudi 22 février 2024 à <a href="https://mastodon.top/tags/Niort" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Niort</span></a> : journée pluvieuse avec des rafales de vent jusqu'à 95 km/h. Min. : 9°. Max. : 13°. Bonne fête aux <a href="https://mastodon.top/tags/Isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Isabelle</span></a>.<br>⚠🟠🟡 Les Deux-Sèvres en vigilance orange pluie-inondation et jaune vent et crues.<br>→ <a href="https://bit.ly/2MFBJhy" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">bit.ly/2MFBJhy</span><span class="invisible"></span></a></p>
OpenBSD Now!<p>OpenBSD formal driver verification with SeL4. ~ Adriana Nicolae, Paul Irofti, Ioana Leustean.</p><p><a href="https://arxiv.org/abs/2311.03585" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2311.03585</span><span class="invisible"></span></a></p><p><a href="https://bsd.network/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://bsd.network/tags/Isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Isabelle</span></a></p>
blake shaw 🇵🇸<p>Explaining the <a href="https://functional.cafe/tags/seL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>seL4</span></a> integrity theorems</p><p><a href="https://www.youtube.com/watch?v=fyF9w_CsCEU" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=fyF9w_CsCE</span><span class="invisible">U</span></a><br><a href="https://functional.cafe/tags/hol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hol</span></a> <a href="https://functional.cafe/tags/microkernel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>microkernel</span></a> <a href="https://functional.cafe/tags/os" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>os</span></a> <a href="https://functional.cafe/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a> <a href="https://functional.cafe/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a></p>