freewifi to PythonEnglish · 6 months agoTranslation of Python code to Coq | Formal Landplus-squareformal.landexternal-linkmessage-square4fedilinkarrow-up114arrow-down10
arrow-up114arrow-down1external-linkTranslation of Python code to Coq | Formal Landplus-squareformal.landfreewifi to PythonEnglish · 6 months agomessage-square4fedilink
freewifi to PythonEnglish · 6 months agoLight speed with Python and JSplus-squarewww.bitecode.devexternal-linkmessage-square0fedilinkarrow-up15arrow-down13
arrow-up12arrow-down1external-linkLight speed with Python and JSplus-squarewww.bitecode.devfreewifi to PythonEnglish · 6 months agomessage-square0fedilink
minus-squarefreewifiOPtoPython•What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...linkfedilinkarrow-up1·7 months agoParser tongue. linkfedilink
freewifi to PythonEnglish · 7 months agoWhat's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...plus-squarewww.bitecode.devexternal-linkmessage-square2fedilinkarrow-up112arrow-down11
arrow-up111arrow-down1external-linkWhat's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...plus-squarewww.bitecode.devfreewifi to PythonEnglish · 7 months agomessage-square2fedilink
freewifi to PythonEnglish · 7 months agoTesting with Python (part 1): the basicsplus-squarewww.bitecode.devexternal-linkmessage-square0fedilinkarrow-up118arrow-down10
arrow-up118arrow-down1external-linkTesting with Python (part 1): the basicsplus-squarewww.bitecode.devfreewifi to PythonEnglish · 7 months agomessage-square0fedilink
freewifi to PythonEnglish · 7 months agoAnnouncing py2wasm: A Python to Wasm compilerplus-squarewasmer.ioexternal-linkmessage-square0fedilinkarrow-up112arrow-down12
arrow-up110arrow-down1external-linkAnnouncing py2wasm: A Python to Wasm compilerplus-squarewasmer.iofreewifi to PythonEnglish · 7 months agomessage-square0fedilink
freewifi to PythonEnglish · 8 months agoGuido in the NY Times crosswordplus-squareframapiaf.orgexternal-linkmessage-square0fedilinkarrow-up120arrow-down10
arrow-up120arrow-down1external-linkGuido in the NY Times crosswordplus-squareframapiaf.orgfreewifi to PythonEnglish · 8 months agomessage-square0fedilink
Parser tongue.