home.social

#synthetic — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #synthetic, aggregated by home.social.

  1. Khosla Ventures is betting $10M on Ian Crosby, whose first startup, Bench, imploded

    Ian Crosby, whose previous startup Bench Accounting famously shut down in 2024 before being bought for scraps, is…
    #NewsBeep #News #Entrepreneurship #Accounting #AU #Australia #bench #Business #khoslaventures #synthetic
    newsbeep.com/au/670842/

  2. Title: Not Waving I

    Description: Exploring the hidden materials unveiled by diffusion models when upscaling and regenerating photographs of known physical phenomena.

    more info: jeroenbocken.com/works/not_wav

    #DigitalArt
    #Upscaling
    #photography
    #synthetic
    #DiffusionModel

  3. Title: Not Waving II

    Description: Exploring the hidden materials unveiled by diffusion models when upscaling and regenerating photographs of known physical phenomena.

    more info: jeroenbocken.com/works/not_wav

    #DigitalArt
    #Upscaling
    #synthetic
    #DiffusionModel

  4. Title: Not Waving III

    Description: Exploring the hidden materials unveiled by diffusion models when upscaling and regenerating photographs of known physical phenomena.

    #DigitalArt
    #Upscaling
    #synthetic
    #DiffusionModel

  5. Target to stop selling cereals with certified synthetic colors by end of May

    misryoum.com/us/economy/target

    NEW YORK -- Target will stop selling its entire assortment of cereal with certified synthetic colors by the end of May.The move, announced Friday, underscores the acknowledgment that American consumers and the U.S. government under President Donald Trump are paying...

    #Target #stop #selling #cereals #with #certified #synthetic #colors #end #May #US_News_Hub #misryoum_com

  6. For decades, #synthetic #biologists have been developing #gene #circuits that can be transferred into #cells for applications such as reprogramming a stem cell into a #neuron or generating a protein that could help treat a #disease such as fragile X syndrome.
    #Biotechnology #sflorg
    sflorg.com/2025/10/btech101325

  7. Taking a moment to remember John Wesley Hyatt, the inventor of the first major #synthetic #ivory, patented 1869, among other things like #InjectionMolding, which allowed him to make consumer goods which would normally use ivory, but were far cheaper, more durable, and had far less variation than the real stuff.

    This man is sometimes credited with single handedly driving down demand for real ivory across the board, and later other products, as his own spread the idea that synthetic materials could be significantly better than natural ones.

    While it wasn't anyone's intention at the time, his work saved the lives of countless #elephants, and likely other animals later on, as more things which animals were killed specifically for were replaced by synthetic things.

    Sometimes, just solving the problem of doing a thing differently can have massive effects.

    en.m.wikipedia.org/wiki/John_W

    #JohnWesleyHyatt #invention #science #industry

  8. Taking a moment to remember John Wesley Hyatt, the inventor of the first major #synthetic #ivory, patented 1869, among other things like #InjectionMolding, which allowed him to make consumer goods which would normally use ivory, but were far cheaper, more durable, and had far less variation than the real stuff.

    This man is sometimes credited with single handedly driving down demand for real ivory across the board, and later other products, as his own spread the idea that synthetic materials could be significantly better than natural ones.

    While it wasn't anyone's intention at the time, his work saved the lives of countless #elephants, and likely other animals later on, as more things which animals were killed specifically for were replaced by synthetic things.

    Sometimes, just solving the problem of doing a thing differently can have massive effects.

    en.m.wikipedia.org/wiki/John_W

    #JohnWesleyHyatt #invention #science #industry

  9. Taking a moment to remember John Wesley Hyatt, the inventor of the first major #synthetic #ivory, patented 1869, among other things like #InjectionMolding, which allowed him to make consumer goods which would normally use ivory, but were far cheaper, more durable, and had far less variation than the real stuff.

    This man is sometimes credited with single handedly driving down demand for real ivory across the board, and later other products, as his own spread the idea that synthetic materials could be significantly better than natural ones.

    While it wasn't anyone's intention at the time, his work saved the lives of countless #elephants, and likely other animals later on, as more things which animals were killed specifically for were replaced by synthetic things.

    Sometimes, just solving the problem of doing a thing differently can have massive effects.

    en.m.wikipedia.org/wiki/John_W

    #JohnWesleyHyatt #invention #science #industry

  10. Taking a moment to remember John Wesley Hyatt, the inventor of the first major , patented 1869, among other things like , which allowed him to make consumer goods which would normally use ivory, but were far cheaper, more durable, and had far less variation than the real stuff.

    This man is sometimes credited with single handedly driving down demand for real ivory across the board, and later other products, as his own spread the idea that synthetic materials could be significantly better than natural ones.

    While it wasn't anyone's intention at the time, his work saved the lives of countless , and likely other animals later on, as more things which animals were killed specifically for were replaced by synthetic things.

    Sometimes, just solving the problem of doing a thing differently can have massive effects.

    en.m.wikipedia.org/wiki/John_W

  11. Bio-On-Magnetic-Beads (BOMB): #OpenSource platform for high-throughput #nucleic acid #extraction & manipulation:

    -synthesis of functionalised #MagneticBeads
    -HT #purification of #RNA & #DNA from a range of #bacterial, #animal, #plant, #environmental & #synthetic sources
    -bead-based protocol for #bisulfite conversion & size selection of DNA & RNA fragments

    Article: doi.org/10.1371/journal.pbio.3
    Web: bomb.bio/
    #DIYbio #DIYchem #chemistry #magnetic #lab #instruments

  12. Hot take: it’s okay to wear the all #natural #deodorant instead of the #synthetic #deodorants the internet is trying to push you to use. Keep in mind, there are people who have #skin issues or can’t breathe in the #fragrance of the synthetic stuff, so they have no choice to use the natural stuff instead, where it’s more tolerable on the skin, #nose, and #lungs, and where the #ingredient lists are way easier to spot potential #allergens. And contrary to what people online say, there are in fact natural deodorants that work, so it’s a lie that they don’t work. Forcing people to wear the #harsh deodorants is #ableist and #wrong.

  13. I’ve voiced #ScotRail trains for 20 years. No one told me AI was replacing me

    THE woman who has been the voice of ScotRail trains for 20 years only learned she was being replaced after a friend heard the new #synthetic #voice onboard.

    thenational.scot/news/25204424

    #unemployment #redundant #PeopleNotProfits #AI #VoiceOver #trains #railway #Scotland #transport #greed #CorporateGreed

  14. Wary of #synthetic #drugs amid worst #overdose #epidemic in history
    "in #Singapore’s case, deterrence in e form of strict drug #legislation seems to be working.. global consensus against #drugabuse has been challenged by those who lobby for legislative changes & softer attitudes twds #narcotics. Sabet: “One of e things I’m extremely worried abt is e movement to legalise drugs.. coming fr a multibillion-$ movement tt's v smart, calculated & running in #NGOs round e world”"
    straitstimes.com/singapore/spo

  15. #Synthetic #chemicals called #phthalates, found in consumer products such as #food #storage #containers, #shampoo, #makeup, #perfume, & children’s #toys, may have contributed to more than 10% of all global mortality from heart disease in 2018 in people btwn age 55 & 64. cnn.com/2025/04/29/health/phth (1/2)

  16. Yet another reminder that #AI is biased. The implications of this article are that LLMs at present do not have the characteristics needed to be a good source of #synthetic data. Tons of #methodological implications in this article.

    arxiv.org/pdf/2503.08688

  17. Yet another reminder that #AI is biased. The implications of this article are that LLMs at present do not have the characteristics needed to be a good source of #synthetic data. Tons of #methodological implications in this article.

    arxiv.org/pdf/2503.08688

  18. Yet another reminder that #AI is biased. The implications of this article are that LLMs at present do not have the characteristics needed to be a good source of #synthetic data. Tons of #methodological implications in this article.

    arxiv.org/pdf/2503.08688

  19. Yet another reminder that #AI is biased. The implications of this article are that LLMs at present do not have the characteristics needed to be a good source of #synthetic data. Tons of #methodological implications in this article.

    arxiv.org/pdf/2503.08688

  20. Yet another reminder that #AI is biased. The implications of this article are that LLMs at present do not have the characteristics needed to be a good source of #synthetic data. Tons of #methodological implications in this article.

    arxiv.org/pdf/2503.08688

  21. We are now concerned with more radical possibilities.

    A paradigmatic example is topology.

    In modern “analytic topology”, a “space” is defined to be a set of points equipped with a collection of subsets called open,
    which describe how the points vary continuously into each other.
    (Most analytic topologists, being unaware of synthetic topology, would call their subject simply “topology.”)

    By contrast, in synthetic topology we postulate instead an axiomatic theory, on the same ontological level as ZFC,
    whose basic objects are spaces rather than sets.

    Of course, by saying that the basic objects “are” spaces we do not mean that they are sets equipped with open subsets.

    Instead we mean that “space” is an undefined word,
    and the rules of the theory cause these “spaces” to behave more or less like we expect spaces to behave.

    In particular, synthetic spaces have open subsets (or, more accurately, open subspaces),
    but they are not defined by specifying a set together with a collection of open subsets.

    It turns out that synthetic topology, like synthetic set theory (ZFC), is rich enough to encode all of mathematics.

    There is one trivial sense in which this is true:
    among all analytic spaces we find the subclass of indiscrete ones,
    in which the only open subsets are the empty set and the whole space.

    A notion of “indiscrete space” can also be defined in synthetic topology,
    and the collection of such spaces forms a universe of ETCS-like sets
    (we’ll come back to these in later installments).

    Thus we could use them to encode mathematics, entirely ignoring the rest of the synthetic theory of spaces.
    (The same could be said about the discrete spaces,
    in which every subset is open;
    but these are harder (though not impossible) to define and work with synthetically.

    The relation between the discrete and indiscrete spaces,
    and how they sit inside the synthetic theory of spaces,
    is central to the synthetic theory of cohesion,
    which I believe David is going to mention in his chapter about the philosophy of geometry.)

    However, a less boring approach is to construct the objects of mathematics directly as spaces.

    How does this work?
    It turns out that the basic constructions on sets that we use to build (say) the set of real numbers have close analogues that act on spaces.

    Thus, in synthetic topology we can use these constructions to build the space of real numbers directly.

    If our system of synthetic topology is set up well,
    then the resulting space will behave like the analytic space of real numbers
    (the one that is defined by first constructing the mere set of real numbers and then equipping it with the unions of open intervals as its topology).

    The next question is,
    why would we want to do mathematics this way?

    There are a lot of reasons,
    but right now I believe they can be classified into three sorts:
    modularity,
    philosophy, and
    pragmatism.

    (If you can think of other reasons that I’m forgetting, please mention them in the comments!)

    By “#modularity” I mean the same thing as does a programmer:

    even if we believe that spaces are ultimately built analytically out of sets,
    it is often useful to isolate their fundamental properties and work with those abstractly.

    One advantage of this is #generality.
    For instance, any theorem proven in Euclid’s “neutral geometry”
    (i.e. without using the parallel postulate)
    is true not only in the model of ordered pairs of real numbers,
    but also in the various non-Euclidean geometries.

    Similarly, a theorem proven in synthetic topology may be true not only about ordinary topological spaces,
    but also about other variant theories such as topological sheaves, smooth spaces, etc.

    As always in mathematics, if we state only the assumptions we need, our theorems become more general.

    #analytic #synthetic

  22. Mike Shulman:

    Mathematical theories can be classified as analytic or synthetic.

    An #analytic theory is one that analyzes, or breaks down, its objects of study, revealing them as put together out of simpler things,
    just as complex molecules are put together out of protons, neutrons, and electrons.

    For example, analytic geometry analyzes the plane geometry of points, lines, etc. in terms of real numbers:
    points are ordered pairs of real numbers, lines are sets of points, etc.

    Mathematically, the basic objects of an analytic theory are defined in terms of those of some other theory.

    By contrast, a #synthetic theory is one that synthesizes,
    or puts together,
    a conception of its basic objects based on their expected relationships and behavior.

    For example, synthetic geometry is more like the geometry of Euclid:
    points and lines are essentially undefined terms,
    given meaning by the axioms that specify what we can do with them
    (e.g. two points determine a unique line).

    (Although Euclid himself attempted to define “point” and “line”,
    modern mathematicians generally consider this a mistake,
    and regard Euclid’s “definitions”
    (like “a point is that which has no part”)
    as fairly meaningless.)

    Mathematically, a synthetic theory is a formal system governed by rules or axioms.

    Synthetic mathematics can be regarded as analogous to foundational physics,
    where a concept like the electromagnetic field is not “put together” out of anything simpler:
    it just is, and behaves in a certain way.

    The distinction between analytic and synthetic dates back at least to Hilbert,
    who used the words “genetic” and “axiomatic” respectively.

    At one level, we can say that modern mathematics is characterized by a rich interplay between analytic and synthetic
    — although most mathematicians would speak instead of definitions and examples.

    For instance, a modern geometer might define “a geometry” to satisfy Euclid’s axioms,
    and then work synthetically with those axioms;
    but she would also construct examples of such “geometries” analytically,
    such as with ordered pairs of real numbers.

    This approach was pioneered by Hilbert himself, who emphasized in particular that constructing an analytic example (or model) proves the consistency of the synthetic theory.

    However, at a deeper level, almost all of modern mathematics is analytic, because it is all analyzed into set theory. Our modern geometer would not actually state her axioms the way that Euclid did; she would instead define a geometry to be a set
    P of points together with a set
    L of lines
    and a subset of
    P×L representing the “incidence” relation, etc.

    From this perspective, the only truly undefined term in mathematics is “set”, and the only truly synthetic theory is Zermelo–Fraenkel set theory (ZFC).

    This use of set theory as the common foundation for mathematics is, of course, of 20th century vintage,
    and overall it has been a tremendous step forwards.

    Practically, it provides a common language and a powerful basic toolset for all mathematicians.

    Foundationally, it ensures that all of mathematics is consistent relative to set theory.

    (Hilbert’s dream of an absolute consistency proof is generally considered to have been demolished by Gödel’s incompleteness theorem.)

    And philosophically, it supplies a consistent ontology for mathematics, and a context in which to ask metamathematical questions.

    However, ZFC is not the only theory that can be used in this way.
    While not every synthetic theory is rich enough to allow all of mathematics to be encoded in it,
    set theory is by no means unique in possessing such richness.

    One possible variation is to use a different sort of set theory like ETCS,
    in which the elements of a set are “featureless points” that are merely distinguished from each other,
    rather than labeled individually by the elaborate hierarchical membership structures of ZFC.

    Either sort of “set” suffices just as well for foundational purposes, and moreover each can be interpreted into the other.
    golem.ph.utexas.edu/category/2