#isabelle — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #isabelle, aggregated by home.social.
-
#ISABELLE #STEVENSON #AWARD aepiot.ro?q=ISABELLE%2... Semantic BACKLINKS: The Bridge between Humans and AI. SEMANTIC Reader: headlines-world.com/reader.html?...
MultiSearch Tag Explorer -
creates semantic nodes and clusters #ISABELLE M #GERMANO search.brave.com/ask?q=Analyz... AÉPIOT: INDEPENDENT SEMANTIC WEB 4.0 INFRASTRUCTURE (EST. 2009): aepiot.ro
Brave Search -
Archimedes' Cattle Problem in #isabelle
Archimedes challenged mathematicians with a puzzle that involved computing the size of the cattle herd, based on a number of linear equations and other restrictions.
Since the solution has 103,266 digits, solving the problem was far beyond the computational capabilities at the time. The first approx solution was computed by Amthor in 1880, and the exact solution by Williams et al. using electronic computers in 1965.
-
Archimedes' Cattle Problem in #isabelle
Archimedes challenged mathematicians with a puzzle that involved computing the size of the cattle herd, based on a number of linear equations and other restrictions.
Since the solution has 103,266 digits, solving the problem was far beyond the computational capabilities at the time. The first approx solution was computed by Amthor in 1880, and the exact solution by Williams et al. using electronic computers in 1965.
-
#nsfw #nsfw-art #art #isabelle #animal-crossing #thicc #thicc-ass #thicc-girl #thicc-thickness-big-ass #thicc-thighs #thiccgirl #thickness #thiccthighs
-
2026 be like so far...
-
Tucked away on my Christmas tree at home...
#ACNH #AnimalCrossing #Isabelle #ACNHIsabelle #Christmas #ChristmasTree #ChristmasOrnament
-
Tucked away on my Christmas tree at home...
#ACNH #AnimalCrossing #Isabelle #ACNHIsabelle #Christmas #ChristmasTree #ChristmasOrnament
-
This tome 📚, a veritable who’s who of the "I-can-prove-more-than-you" club, promises to transform your evenings into a thrilling journey through the land of functional data #structures, where even #algorithms get the royal proof treatment 🤓🧐. But don't worry, all #proofs are safely tucked away in #Isabelle, so you can finally find a good use for that 'Download PDF' button! 🤯💻
https://fdsa-book.net/ #functionaldata #HackerNews #HackerNews #ngated -
This tome 📚, a veritable who’s who of the "I-can-prove-more-than-you" club, promises to transform your evenings into a thrilling journey through the land of functional data #structures, where even #algorithms get the royal proof treatment 🤓🧐. But don't worry, all #proofs are safely tucked away in #Isabelle, so you can finally find a good use for that 'Download PDF' button! 🤯💻
https://fdsa-book.net/ #functionaldata #HackerNews #HackerNews #ngated -
CW: NSFW - FURRY - PORN
Beach fun with bitch.
---
See my other art platforms in my carrd: http://nachanstart.carrd.co#male #female #animal_crossing #isabelle #ankha #doggy_style #standing_sex #furry #dog #cat #anthro #feline #animal #nintendo #game #canine #mammal #canid #felid
-
CW: NSFW - FURRY - PORN
Beach fun with bitch.
---
See my other art platforms in my carrd: http://nachanstart.carrd.co#male #female #animal_crossing #isabelle #ankha #doggy_style #standing_sex #furry #dog #cat #anthro #feline #animal #nintendo #game #canine #mammal #canid #felid
-
𝗜𝘀𝗮𝗯𝗲𝗹𝗹𝗲 𝘀𝘁𝗲𝗺𝘁 𝗙𝗼𝗿𝘂𝗺, 𝗕𝗮𝗿𝘁 𝗗𝗘𝗡𝗞: '𝗢𝗻𝘇𝗲 𝘃𝗿𝗶𝗲𝗻𝗱𝘀𝗰𝗵𝗮𝗽 𝗶𝘀 𝘃𝗲𝗲𝗹 𝗺𝗲𝗲𝗿 𝗱𝗮𝗻 𝗽𝗼𝗹𝗶𝘁𝗶𝗲𝗸'
In deze tijd van polarisatie lijken mensen steeds meer tegenover elkaar te staan. In deze nieuwe rubriek spreken we mensen die hun relatie níét laten beïnvloeden door op het eerste oog grote verschillen. Met vandaag vrienden Isabelle Buhre en Bart Gerrits. Zij is 36 en...
-
𝗜𝘀𝗮𝗯𝗲𝗹𝗹𝗲 𝘀𝘁𝗲𝗺𝘁 𝗙𝗼𝗿𝘂𝗺, 𝗕𝗮𝗿𝘁 𝗗𝗘𝗡𝗞: '𝗢𝗻𝘇𝗲 𝘃𝗿𝗶𝗲𝗻𝗱𝘀𝗰𝗵𝗮𝗽 𝗶𝘀 𝘃𝗲𝗲𝗹 𝗺𝗲𝗲𝗿 𝗱𝗮𝗻 𝗽𝗼𝗹𝗶𝘁𝗶𝗲𝗸'
In deze tijd van polarisatie lijken mensen steeds meer tegenover elkaar te staan. In deze nieuwe rubriek spreken we mensen die hun relatie níét laten beïnvloeden door op het eerste oog grote verschillen. Met vandaag vrienden Isabelle Buhre en Bart Gerrits. Zij is 36 en...
-
I seem to remember some compiled-to-html output of proof scripts (could have been either #Rocq, #Isabelle or #Lean, but maybe also a different proof assistant) which let you see the type of subterms on hover. Does this ring a bell w anyone? (I certainly wish we had sth like this for #Agda, my current approach is to replace the respective term w a hole and then reload the file and `C-c C-d` which is obviously not static, not to mention computationally expensive…)
-
Curso "Lógica matemática y fundamentos (2012-13)". https://jaalonso.github.io/cursos/lmf-12 #Lógica #Haskell #ProgramaciónFuncional #Isabelle/HOL
-
Curso "Lógica matemática y fundamentos (2012-13)". https://jaalonso.github.io/cursos/lmf-12 #Lógica #Haskell #ProgramaciónFuncional #Isabelle/HOL
-
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.
asteriskmag.com/issues/09/automating-math
#TheoremProvers #Coq #Lean #Isabelle -
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.
asteriskmag.com/issues/09/automating-math
#TheoremProvers #Coq #Lean #Isabelle -
𝗦𝘁𝗼𝗽𝗽𝗲𝗻 𝗺𝗲𝘁 𝗺𝗼𝗽𝗽𝗲𝗿𝗲𝗻: 𝗜𝘀𝗮𝗯𝗲𝗹𝗹𝗲 𝗽𝗹𝗲𝗶𝘁 𝘃𝗼𝗼𝗿 30 𝗱𝗮𝗴𝗲𝗻 𝘇𝗼𝗻𝗱𝗲𝗿 𝗸𝗹𝗮𝗴𝗲𝗻
Het is koud, grijs, de dagen zijn te kort en alles is te duur. Op deze 'Blue Monday' ligt het voor de hand om even flink te mopperen. Maar we zouden eens moeten proberen om een maand niet te klagen. Althans dat vindt de Belgische Isabelle Gonnissen oprichter van de campagne '30 dagen zonder...
https://www.rtl.nl/nieuws/editienl/artikel/5490348/30-dagen-zonder-klagen-mopperen
-
𝗦𝘁𝗼𝗽𝗽𝗲𝗻 𝗺𝗲𝘁 𝗺𝗼𝗽𝗽𝗲𝗿𝗲𝗻: 𝗜𝘀𝗮𝗯𝗲𝗹𝗹𝗲 𝗽𝗹𝗲𝗶𝘁 𝘃𝗼𝗼𝗿 30 𝗱𝗮𝗴𝗲𝗻 𝘇𝗼𝗻𝗱𝗲𝗿 𝗸𝗹𝗮𝗴𝗲𝗻
Het is koud, grijs, de dagen zijn te kort en alles is te duur. Op deze 'Blue Monday' ligt het voor de hand om even flink te mopperen. Maar we zouden eens moeten proberen om een maand niet te klagen. Althans dat vindt de Belgische Isabelle Gonnissen oprichter van de campagne '30 dagen zonder...
https://www.rtl.nl/nieuws/editienl/artikel/5490348/30-dagen-zonder-klagen-mopperen
-
Robo Isabelle, patreon art!
Commissions in this style are available, $70 a character, DM if you're interested!
#art mastoart #robot #furry #animalcrossing #isabelle #commissionsopen #commissions
-
Robo Isabelle, patreon art!
Commissions in this style are available, $70 a character, DM if you're interested!
#art mastoart #robot #furry #animalcrossing #isabelle #commissionsopen #commissions
-
Some observations on working in a non-dependently typed functional programming language
-
CW: NSFW, Furry, Anthromophic, Suggestive
[Monthly poll Drawing - June]
June vote was won by Isabelle from Animal Crossing.
What the dog doin'?
--
*See art one month earlier, alts and more on my p@treon and subscribest@r.*See the platforms here: nachanstart carrd co
#isabelle #animalcrossing #animal_crossing #animalcrossing #dog #panties #upskirt #tail #skirt #glasses #anthro #furry #furryart #anthroart #mastoart #digitalArt #nsfw
-
Aquest any fa 25 anys que ens arribava "Isabelle" per "Windows" 🕹🎮. #Isabelle #Windows #Aventura #Videojocs #Gaming #VideoGames #RetroGaming #ClassicGaming #RetroGames #VideojocsAntics
-
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!
Who? anyone who uses or has used an interactive theorem prover for whatever purpose
What? 90 - 120 minute interviews (possibly including a small think-aloud programming session)
When? interviews will be scheduled starting September 2024
Where? online (participants from anywhere are welcome)
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.
Sign up here: https://tudelft.fra1.qualtrics.com/jfe/form/SV_0UJKuqcWC9G4FEy
-
Early AM ssbu. Then on to getting some works done. Put it much work last night in electronics world. Time to play a little. 🤷🏾♂️
-
#Isabelle on #AnimalCrossingNewHorizons when you play at 3am: "oh great, I gotta wake up the whole island on the loudspeaker in the middle of the night to say nothing is new just because someone decided to play"
#AnimalCrossing #AC #ACNH #Nintendo #Switch
