freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 4 months agoTranslation of Python code to Coq | Formal Landplus-squareformal.landexternal-linkmessage-square4fedilinkarrow-up114
arrow-up114external-linkTranslation of Python code to Coq | Formal Landplus-squareformal.landfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 4 months agomessage-square4fedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 4 months agoLight speed with Python and JSplus-squarewww.bitecode.devexternal-linkmessage-square0fedilinkarrow-up15
arrow-up15external-linkLight speed with Python and JSplus-squarewww.bitecode.devfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 4 months agomessage-square0fedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 5 months agoWhat's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...plus-squarewww.bitecode.devexternal-linkmessage-square0fedilinkarrow-up112
arrow-up112external-linkWhat's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...plus-squarewww.bitecode.devfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 5 months agomessage-square0fedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 5 months agoTesting with Python (part 1): the basicsplus-squarewww.bitecode.devexternal-linkmessage-square0fedilinkarrow-up118
arrow-up118external-linkTesting with Python (part 1): the basicsplus-squarewww.bitecode.devfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 5 months agomessage-square0fedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 5 months agoAnnouncing py2wasm: A Python to Wasm compilerplus-squarewasmer.ioexternal-linkmessage-square0fedilinkarrow-up111
arrow-up111external-linkAnnouncing py2wasm: A Python to Wasm compilerplus-squarewasmer.iofreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 5 months agomessage-square0fedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 6 months agoGuido in the NY Times crosswordplus-squareframapiaf.orgexternal-linkmessage-square0fedilinkarrow-up120
arrow-up120external-linkGuido in the NY Times crosswordplus-squareframapiaf.orgfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 6 months agomessage-square0fedilink