Nemeski@mander.xyz to Elixir@programming.dev · 5 months agoLazy BDDs with eager literal differencesplus-squareelixir-lang.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLazy BDDs with eager literal differencesplus-squareelixir-lang.orgNemeski@mander.xyz to Elixir@programming.dev · 5 months agomessage-square0linkfedilink
Nemeski@mander.xyz to Elixir@programming.dev · 6 months agoLazy BDDs with eager literal intersectionsplus-squareelixir-lang.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLazy BDDs with eager literal intersectionsplus-squareelixir-lang.orgNemeski@mander.xyz to Elixir@programming.dev · 6 months agomessage-square0linkfedilink
Nemeski@mander.xyz to Elixir@programming.dev · 9 months agoLazier Binary Decision Diagrams (BDDs) for set-theoretic typesplus-squareelixir-lang.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLazier Binary Decision Diagrams (BDDs) for set-theoretic typesplus-squareelixir-lang.orgNemeski@mander.xyz to Elixir@programming.dev · 9 months agomessage-square0linkfedilink
Nemeski@mander.xyz to politics @lemmy.world · 11 months agoTrump imposes $100K fee on H-1B visas in new immigration actionplus-squareedition.cnn.comexternal-linkmessage-square17linkfedilinkarrow-up177arrow-down11
arrow-up176arrow-down1external-linkTrump imposes $100K fee on H-1B visas in new immigration actionplus-squareedition.cnn.comNemeski@mander.xyz to politics @lemmy.world · 11 months agomessage-square17linkfedilink
Nemeski@mander.xyz to politics @lemmy.world · 11 months agoThe data doesn’t back up Trump’s claims that the left is more violentplus-squareedition.cnn.comexternal-linkmessage-square33linkfedilinkarrow-up1467arrow-down10
arrow-up1467arrow-down1external-linkThe data doesn’t back up Trump’s claims that the left is more violentplus-squareedition.cnn.comNemeski@mander.xyz to politics @lemmy.world · 11 months agomessage-square33linkfedilink
