mesa@piefed.socialEnglish · 7 months agoJames Torre: A Computational Lens on Self-Justifying Axioms Systemsplus-squarepeertube.futo.orgexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkJames Torre: A Computational Lens on Self-Justifying Axioms Systemsplus-squarepeertube.futo.orgmesa@piefed.socialEnglish · 7 months agomessage-square0linkfedilink
cm0002@programming.devEnglish · 8 months agoThe Impact of Hardware Variability on Applications Packaged with Docker and Guix: a Case Study in Neuroimagingplus-squarehal.scienceexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Impact of Hardware Variability on Applications Packaged with Docker and Guix: a Case Study in Neuroimagingplus-squarehal.sciencecm0002@programming.devEnglish · 8 months agomessage-square0linkfedilink
CanadaPlus@lemmy.sdf.orgEnglish · 9 months agoWhat's a concrete example of LIN ⊊ NLIN?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up19arrow-down11
arrow-up18arrow-down1message-squareWhat's a concrete example of LIN ⊊ NLIN?plus-squareCanadaPlus@lemmy.sdf.orgEnglish · 9 months agomessage-square0linkfedilink
Antsomnia@lemmy.worldEnglish · 3 years agoRecommendations for Computer Science Courses Applied to Environmental Biology, Zoology, or Entomologyplus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareRecommendations for Computer Science Courses Applied to Environmental Biology, Zoology, or Entomologyplus-squareAntsomnia@lemmy.worldEnglish · 3 years agomessage-square0linkfedilink
emmy@lemmy.worldMEnglish · 3 years agoWelcome to !compsciplus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareWelcome to !compsciplus-squareemmy@lemmy.worldMEnglish · 3 years agomessage-square0linkfedilink