mesa@piefed.socialEnglish · 4 个月前James 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 · 4 个月前message-square0linkfedilink
cm0002@programming.devEnglish · 5 个月前The 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 · 5 个月前message-square0linkfedilink
CanadaPlusEnglish · 6 个月前What'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-squareCanadaPlusEnglish · 6 个月前message-square0linkfedilink
Antsomnia@lemmy.worldEnglish · 2 年前Recommendations for Computer Science Courses Applied to Environmental Biology, Zoology, or Entomologyplus-squaremessage-squaremessage-square3linkfedilinkarrow-up17arrow-down11
arrow-up16arrow-down1message-squareRecommendations for Computer Science Courses Applied to Environmental Biology, Zoology, or Entomologyplus-squareAntsomnia@lemmy.worldEnglish · 2 年前message-square3linkfedilink
emmy@lemmy.worldMEnglish · 3 年前Welcome to !compsciplus-squaremessage-squaremessage-square0linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1message-squareWelcome to !compsciplus-squareemmy@lemmy.worldMEnglish · 3 年前message-square0linkfedilink
