freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agoTranslation of Python code to Coq | Formal Landplus-squareformal.landexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkTranslation of Python code to Coq | Formal Landplus-squareformal.landfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agomessage-square0linkfedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agoLight speed with Python and JSplus-squarewww.bitecode.devexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLight speed with Python and JSplus-squarewww.bitecode.devfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agomessage-square0linkfedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agoWhat's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword...plus-squarewww.bitecode.devexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-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 · 2 years agomessage-square0linkfedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agoTesting with Python (part 1): the basicsplus-squarewww.bitecode.devexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkTesting with Python (part 1): the basicsplus-squarewww.bitecode.devfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agomessage-square0linkfedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agoAnnouncing py2wasm: A Python to Wasm compilerwasmer.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAnnouncing py2wasm: A Python to Wasm compilerwasmer.iofreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agomessage-square0linkfedilink
freewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agoGuido in the NY Times crosswordplus-squareframapiaf.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGuido in the NY Times crosswordplus-squareframapiaf.orgfreewifi@sh.itjust.works to Python@sh.itjust.worksEnglish · 2 years agomessage-square0linkfedilink
