goosethe@lemmy.sdf.orgM · 2 months agoyang-mills mass gapplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkyang-mills mass gapplus-squaredrive.google.comgoosethe@lemmy.sdf.orgM · 2 months agomessage-square0fedilink
CanadaPlus@lemmy.sdf.org · 3 months agoHow do you find the center of two concentric circles with just a straightedge?plus-squaremessage-squaremessage-square8fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareHow do you find the center of two concentric circles with just a straightedge?plus-squareCanadaPlus@lemmy.sdf.org · 3 months agomessage-square8fedilink
spaduf@slrpnk.net · edit-21 year agoFull Berkeley Lectures on Group Theoryplus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkFull Berkeley Lectures on Group Theoryplus-squarewww.youtube.comspaduf@slrpnk.net · edit-21 year agomessage-square0fedilink
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-square16fedilinkarrow-up110arrow-down11
arrow-up19arrow-down1message-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-square16fedilink
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-square0fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1message-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-square0fedilink
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-squareen.wikipedia.orgexternal-linkmessage-square11fedilinkarrow-up18arrow-down11
arrow-up17arrow-down1external-linkWhat's an example of an ordered set other than R that obeys the first 3 Suslin conditions?plus-squareen.wikipedia.orgCanadaPlus@lemmy.sdf.org · 1 year agomessage-square11fedilink
Parsnip@lemmy.sdf.org · edit-21 year agoInteresting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)plus-squaremathb.inexternal-linkmessage-square13fedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkInteresting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)plus-squaremathb.inParsnip@lemmy.sdf.org · edit-21 year agomessage-square13fedilink
PM_ME_VINTAGE_30S [he/him]@lemmy.sdf.org · 1 year agoMatrix Theory: From Generalized Inverses to Jordan Formplus-squareannas-archive.orgexternal-linkmessage-square1fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkMatrix Theory: From Generalized Inverses to Jordan Formplus-squareannas-archive.orgPM_ME_VINTAGE_30S [he/him]@lemmy.sdf.org · 1 year agomessage-square1fedilink
CanadaPlus@lemmy.sdf.org · 1 year agoWhat are some interesting fiber bundles with a disk or plane as the base?message-squaremessage-square1fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1message-squareWhat are some interesting fiber bundles with a disk or plane as the base?CanadaPlus@lemmy.sdf.org · 1 year agomessage-square1fedilink
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-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1message-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-square0fedilink
CanadaPlus@lemmy.sdf.org · edit-21 year agoWhat do you call the problem of "factoring" a group member into group generators?plus-squaremessage-squaremessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1message-squareWhat do you call the problem of "factoring" a group member into group generators?plus-squareCanadaPlus@lemmy.sdf.org · edit-21 year agomessage-square0fedilink
joshg253@lemmy.sdf.org · edit-21 year agoBottle, Burger, Beer, Hot Dog Viral Puzzle – Mind Your Decisionsplus-squaremindyourdecisions.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBottle, Burger, Beer, Hot Dog Viral Puzzle – Mind Your Decisionsplus-squaremindyourdecisions.comjoshg253@lemmy.sdf.org · edit-21 year agomessage-square0fedilink
CanadaPlus@lemmy.sdf.org · 1 year agoHow well known is the consistency of large-cardinal theories?plus-squaremessage-squaremessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareHow well known is the consistency of large-cardinal theories?plus-squareCanadaPlus@lemmy.sdf.org · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgM · 1 year agoopen source math textbooksplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkopen source math textbooksplus-squaregithub.comgoosethe@lemmy.sdf.orgM · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgM · 1 year agosome older machine learning booksplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linksome older machine learning booksplus-squaredrive.google.comgoosethe@lemmy.sdf.orgM · 1 year agomessage-square0fedilink
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-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-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-squarearxiv.orggoosethe@lemmy.sdf.orgM · 1 year agomessage-square0fedilink
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.arxiv.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTaming AI Bots: Prevent LLMs from entering "bad" states using continuous guidance from the LLM ("is this good? bad?") to avoid bad states.arxiv.orggoosethe@lemmy.sdf.orgM · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgMEnglish · 1 year agoThe TeX bookplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe TeX bookplus-squaredrive.google.comgoosethe@lemmy.sdf.orgMEnglish · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgMEnglish · 1 year agoopen source data visualization booksplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkopen source data visualization booksplus-squaredrive.google.comgoosethe@lemmy.sdf.orgMEnglish · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgMEnglish · 1 year agoThe space of homogeneous probability measures on $\overline{\Gamma \backslash X}_{\max}^{S}$ is compactplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe space of homogeneous probability measures on $\overline{\Gamma \backslash X}_{\max}^{S}$ is compactplus-squaredrive.google.comgoosethe@lemmy.sdf.orgMEnglish · 1 year agomessage-square0fedilink
