CanadaPlus@lemmy.sdf.org • edit-21 year agoIs there an interesting set of natural numbers defined by a number-theoretic property that is finite?message-squaremessage-square1 fedilinkarrow-up12
arrow-up12message-squareIs there an interesting set of natural numbers defined by a number-theoretic property that is finite?CanadaPlus@lemmy.sdf.org • edit-21 year agomessage-square1 Commentsfedilink
CanadaPlus@lemmy.sdf.org • edit-21 year agoIs there a question about a purely finite structure that's independent of ZF, or just ZF-infinity?plus-squaremessage-squaremessage-square0 fedilinkarrow-up12
arrow-up12message-squareIs there a question about a purely finite structure that's independent of ZF, or just ZF-infinity?plus-squareCanadaPlus@lemmy.sdf.org • edit-21 year agomessage-square0 Commentsfedilink
CanadaPlus@lemmy.sdf.org • 1 year agoWhat's an example of an ordered set other than R that obeys the first 3 Suslin conditions?plus-squareexternal-linkmessage-square0 fedilinkarrow-up12
arrow-up12external-linkWhat's an example of an ordered set other than R that obeys the first 3 Suslin conditions?plus-squareCanadaPlus@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
Parsnip@lemmy.sdf.org • edit-21 year agoInteresting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)plus-squareexternal-linkmessage-square1 fedilinkarrow-up12
arrow-up12external-linkInteresting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)plus-squareParsnip@lemmy.sdf.org • edit-21 year agomessage-square1 Commentsfedilink
PM_ME_VINTAGE_30S [he/him]@lemmy.sdf.org • 1 year agoMatrix Theory: From Generalized Inverses to Jordan Formplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkMatrix Theory: From Generalized Inverses to Jordan Formplus-squarePM_ME_VINTAGE_30S [he/him]@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
CanadaPlus@lemmy.sdf.org • 1 year agoWhat are some interesting fiber bundles with a disk or plane as the base?message-squaremessage-square0 fedilinkarrow-up11
arrow-up11message-squareWhat are some interesting fiber bundles with a disk or plane as the base?CanadaPlus@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
CanadaPlus@lemmy.sdf.org • 1 year agoHas someone written a proof of an empty Cartesian product of non-empty sets in ZF¬C?plus-squaremessage-squaremessage-square0 fedilinkarrow-up11
arrow-up11message-squareHas someone written a proof of an empty Cartesian product of non-empty sets in ZF¬C?plus-squareCanadaPlus@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
CanadaPlus@lemmy.sdf.org • edit-21 year agoWhat do you call the problem of "factoring" a group member into group generators?plus-squaremessage-squaremessage-square0 fedilinkarrow-up11
arrow-up11message-squareWhat do you call the problem of "factoring" a group member into group generators?plus-squareCanadaPlus@lemmy.sdf.org • edit-21 year agomessage-square0 Commentsfedilink
joshg253@lemmy.sdf.org • edit-21 year agoBottle, Burger, Beer, Hot Dog Viral Puzzle – Mind Your Decisionsplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkBottle, Burger, Beer, Hot Dog Viral Puzzle – Mind Your Decisionsplus-squarejoshg253@lemmy.sdf.org • edit-21 year agomessage-square0 Commentsfedilink
CanadaPlus@lemmy.sdf.org • 1 year agoHow well known is the consistency of large-cardinal theories?plus-squaremessage-squaremessage-square0 fedilinkarrow-up11
arrow-up11message-squareHow well known is the consistency of large-cardinal theories?plus-squareCanadaPlus@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM • 1 year agoopen source math textbooksplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkopen source math textbooksplus-squaregoosethe@lemmy.sdf.orgM • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM • 1 year agosome older machine learning booksplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linksome older machine learning booksplus-squaregoosethe@lemmy.sdf.orgM • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM • 1 year ago"Prompt Gisting:" Train two models such that given inputs "Translate French<G1><G2>" and "<G1>G2>The cat," then G1 and G2 represent the entire instruction.plus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-link"Prompt Gisting:" Train two models such that given inputs "Translate French<G1><G2>" and "<G1>G2>The cat," then G1 and G2 represent the entire instruction.plus-squaregoosethe@lemmy.sdf.orgM • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM • 1 year agoTaming AI Bots: Prevent LLMs from entering "bad" states using continuous guidance from the LLM ("is this good? bad?") to avoid bad states.external-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkTaming AI Bots: Prevent LLMs from entering "bad" states using continuous guidance from the LLM ("is this good? bad?") to avoid bad states.goosethe@lemmy.sdf.orgM • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM • 1 year agoThe TeX bookplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkThe TeX bookplus-squaregoosethe@lemmy.sdf.orgM • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM • 1 year agoopen source data visualization booksplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkopen source data visualization booksplus-squaregoosethe@lemmy.sdf.orgM • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM • 1 year agoThe space of homogeneous probability measures on $\overline{\Gamma \backslash X}_{\max}^{S}$ is compactplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkThe space of homogeneous probability measures on $\overline{\Gamma \backslash X}_{\max}^{S}$ is compactplus-squaregoosethe@lemmy.sdf.orgM • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM • 1 year agoAutomorphic number theoryplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkAutomorphic number theoryplus-squaregoosethe@lemmy.sdf.orgM • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM • 1 year agoNVIDIA's everything 2 anythingplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkNVIDIA's everything 2 anythingplus-squaregoosethe@lemmy.sdf.orgM • 1 year agomessage-square0 Commentsfedilink