home.social

#bikeshedding — Public Fediverse posts

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

fetched live
  1. I have two totally ordered sets. One set is a subset of the other but the ordering relation is not a subset of the other. More specifically, by removing an item from the set, the ordering of other elements may change.

    In other words, the ordering relation itself is actually not a function of two elements but rather a function of the whole set.

    Apparently there is no name for this. How shall I call it? Or is there a name which I missed?

    #math #algebra #settheory #ordering #bikeshedding

  2. I have two totally ordered sets. One set is a subset of the other but the ordering relation is not a subset of the other. More specifically, by removing an item from the set, the ordering of other elements may change.

    In other words, the ordering relation itself is actually not a function of two elements but rather a function of the whole set.

    Apparently there is no name for this. How shall I call it? Or is there a name which I missed?

    #math #algebra #settheory #ordering #bikeshedding

  3. I have two totally ordered sets. One set is a subset of the other but the ordering relation is not a subset of the other. More specifically, by removing an item from the set, the ordering of other elements may change.

    In other words, the ordering relation itself is actually not a function of two elements but rather a function of the whole set.

    Apparently there is no name for this. How shall I call it? Or is there a name which I missed?

    #math #algebra #settheory #ordering #bikeshedding

  4. I have two totally ordered sets. One set is a subset of the other but the ordering relation is not a subset of the other. More specifically, by removing an item from the set, the ordering of other elements may change.

    In other words, the ordering relation itself is actually not a function of two elements but rather a function of the whole set.

    Apparently there is no name for this. How shall I call it? Or is there a name which I missed?

    #math #algebra #settheory #ordering #bikeshedding

  5. I have two totally ordered sets. One set is a subset of the other but the ordering relation is not a subset of the other. More specifically, by removing an item from the set, the ordering of other elements may change.

    In other words, the ordering relation itself is actually not a function of two elements but rather a function of the whole set.

    Apparently there is no name for this. How shall I call it? Or is there a name which I missed?

    #math #algebra #settheory #ordering #bikeshedding

  6. intuition-probe: let an LLM hallucinate the API/UX it expects, then conform your design to the guess. Companion to 'Complicated Thoughts On LLMs' (theocharis.dev)

    "Use when you want to know what shape a developer or user reaches for when they first meet your API, config format, CLI, or UI, so you can make your design that shape. Spawns a blind agent that commits the design it EXPECTS before seeing the real thing, then reports the shape they reached for and conform-first recommendations (make the API whatever the guess is). Triggers on "is this intuitive", "would a developer guess this", "intuition probe", "blind-test this API/config/CLI", "test the DX/U..."

    https://gist.github.com/JeremyTheocharis/83c76da5a10bcf495d4298c70fee91b4

    #agents #ai #bikeshedding #llms

  7. TIL: Es braucht nur 1-2 Personen zum erfolgreichen #bikeshedding :(

  8. TIL: Es braucht nur 1-2 Personen zum erfolgreichen #bikeshedding :(

  9. TIL: Es braucht nur 1-2 Personen zum erfolgreichen #bikeshedding :(

  10. TIL: Es braucht nur 1-2 Personen zum erfolgreichen #bikeshedding :(

  11. investigating swalwell but doing fuckall about trump is fucking epic levels of bikeshedding right there

    #USPolitics #uspol #bikeshedding

  12. investigating swalwell but doing fuckall about trump is fucking epic levels of bikeshedding right there

    #USPolitics #uspol #bikeshedding

  13. investigating swalwell but doing fuckall about trump is fucking epic levels of bikeshedding right there

    #USPolitics #uspol #bikeshedding

  14. investigating swalwell but doing fuckall about trump is fucking epic levels of bikeshedding right there

    #USPolitics #uspol #bikeshedding

  15. investigating swalwell but doing fuckall about trump is fucking epic levels of bikeshedding right there

    #USPolitics #uspol #bikeshedding

  16. Cool - this #meeting could have been the #email I sent a month ago where I outlined the #problem, the alternative #solutions and my (as #sme) recommended solution, which was agreed to be the optimal solution.

    #outlook doesn't need "email reactions" it needs "I agree with your assessment/proposal just go do it, we don't need a meeting" and "I would like a meeting to hear myself talk / #bikeshedding please."

  17. Cool - this #meeting could have been the #email I sent a month ago where I outlined the #problem, the alternative #solutions and my (as #sme) recommended solution, which was agreed to be the optimal solution.

    #outlook doesn't need "email reactions" it needs "I agree with your assessment/proposal just go do it, we don't need a meeting" and "I would like a meeting to hear myself talk / #bikeshedding please."

  18. Cool - this #meeting could have been the #email I sent a month ago where I outlined the #problem, the alternative #solutions and my (as #sme) recommended solution, which was agreed to be the optimal solution.

    #outlook doesn't need "email reactions" it needs "I agree with your assessment/proposal just go do it, we don't need a meeting" and "I would like a meeting to hear myself talk / #bikeshedding please."

  19. Cool - this could have been the I sent a month ago where I outlined the , the alternative and my (as ) recommended solution, which was agreed to be the optimal solution.

    doesn't need "email reactions" it needs "I agree with your assessment/proposal just go do it, we don't need a meeting" and "I would like a meeting to hear myself talk / please."

  20. Cool - this #meeting could have been the #email I sent a month ago where I outlined the #problem, the alternative #solutions and my (as #sme) recommended solution, which was agreed to be the optimal solution.

    #outlook doesn't need "email reactions" it needs "I agree with your assessment/proposal just go do it, we don't need a meeting" and "I would like a meeting to hear myself talk / #bikeshedding please."

  21. Weia. An Führerschein aufm Streichelfernsprecher wäre ich nicht gekommen, wenn mich jemand gefragt hätte nach

    - dringende Probleme in D
    - dringende Digitalisierungsdefizite in D

    Aber gut, man kommt in die Presse, es braucht keine schwierigen politischen Kompromisse und schwere Entscheidungen ... keine Kopfschmerzen vom Denken. Politiker halt.😜

    Und das Portemonnaie wird deutlich dünner. Digitalisierungsgewinn🎉

    tagesschau.de/inland/innenpoli

    #führerschein #digitalisierung #bikeshedding

  22. Weia. An Führerschein aufm Streichelfernsprecher wäre ich nicht gekommen, wenn mich jemand gefragt hätte nach

    - dringende Probleme in D
    - dringende Digitalisierungsdefizite in D

    Aber gut, man kommt in die Presse, es braucht keine schwierigen politischen Kompromisse und schwere Entscheidungen ... keine Kopfschmerzen vom Denken. Politiker halt.😜

    Und das Portemonnaie wird deutlich dünner. Digitalisierungsgewinn🎉

    tagesschau.de/inland/innenpoli

    #führerschein #digitalisierung #bikeshedding

  23. Weia. An Führerschein aufm Streichelfernsprecher wäre ich nicht gekommen, wenn mich jemand gefragt hätte nach

    - dringende Probleme in D
    - dringende Digitalisierungsdefizite in D

    Aber gut, man kommt in die Presse, es braucht keine schwierigen politischen Kompromisse und schwere Entscheidungen ... keine Kopfschmerzen vom Denken. Politiker halt.😜

    Und das Portemonnaie wird deutlich dünner. Digitalisierungsgewinn🎉

    tagesschau.de/inland/innenpoli

    #führerschein #digitalisierung #bikeshedding

  24. Weia. An Führerschein aufm Streichelfernsprecher wäre ich nicht gekommen, wenn mich jemand gefragt hätte nach

    - dringende Probleme in D
    - dringende Digitalisierungsdefizite in D

    Aber gut, man kommt in die Presse, es braucht keine schwierigen politischen Kompromisse und schwere Entscheidungen ... keine Kopfschmerzen vom Denken. Politiker halt.😜

    Und das Portemonnaie wird deutlich dünner. Digitalisierungsgewinn🎉

    tagesschau.de/inland/innenpoli

    #führerschein #digitalisierung #bikeshedding

  25. #rustlang #bikeshedding

    Where to place the 'mut'? In this context either works:

    1.
    let mut handle = Foo::handle(); bar.method(&mut handle) ;

    2.
    let handle = &mut Foo::handle(); bar.method(handle) ;

  26. #rustlang #bikeshedding

    Where to place the 'mut'? In this context either works:

    1.
    let mut handle = Foo::handle(); bar.method(&mut handle) ;

    2.
    let handle = &mut Foo::handle(); bar.method(handle) ;

  27. #rustlang #bikeshedding

    Where to place the 'mut'? In this context either works:

    1.
    let mut handle = Foo::handle(); bar.method(&mut handle) ;

    2.
    let handle = &mut Foo::handle(); bar.method(handle) ;

  28. #rustlang #bikeshedding

    Where to place the 'mut'? In this context either works:

    1.
    let mut handle = Foo::handle(); bar.method(&mut handle) ;

    2.
    let handle = &mut Foo::handle(); bar.method(handle) ;

  29. #rustlang #bikeshedding

    Where to place the 'mut'? In this context either works:

    1.
    let mut handle = Foo::handle(); bar.method(&mut handle) ;

    2.
    let handle = &mut Foo::handle(); bar.method(handle) ;

  30. #BikeShedding

    In terms of naming for a collection of same-type objects that can change in size:

    List > DynamicArray >> Vector

    I *hate* the use of Vector for this. Extra annoying in the context of games/graphics where you have *actual* vectors.

    I like DynamicArray but it’s too long for a type that’s widely used. I could settle for something like DynArr but I prefer to avoid abbreviations; especially when List is right there.

    And a *linked* list shouldn’t be called just List to begin with.

  31. #BikeShedding

    In terms of naming for a collection of same-type objects that can change in size:

    List > DynamicArray >> Vector

    I *hate* the use of Vector for this. Extra annoying in the context of games/graphics where you have *actual* vectors.

    I like DynamicArray but it’s too long for a type that’s widely used. I could settle for something like DynArr but I prefer to avoid abbreviations; especially when List is right there.

    And a *linked* list shouldn’t be called just List to begin with.

  32. #BikeShedding

    In terms of naming for a collection of same-type objects that can change in size:

    List > DynamicArray >> Vector

    I *hate* the use of Vector for this. Extra annoying in the context of games/graphics where you have *actual* vectors.

    I like DynamicArray but it’s too long for a type that’s widely used. I could settle for something like DynArr but I prefer to avoid abbreviations; especially when List is right there.

    And a *linked* list shouldn’t be called just List to begin with.

  33. #BikeShedding

    In terms of naming for a collection of same-type objects that can change in size:

    List > DynamicArray >> Vector

    I *hate* the use of Vector for this. Extra annoying in the context of games/graphics where you have *actual* vectors.

    I like DynamicArray but it’s too long for a type that’s widely used. I could settle for something like DynArr but I prefer to avoid abbreviations; especially when List is right there.

    And a *linked* list shouldn’t be called just List to begin with.

  34. Meetings, deren Agendapunkte so nutzlos sind, dass man sich wünscht, es würde stattdessen über einen Fahrradschuppen diskutiert...

    #bikeshedding

  35. Meetings, deren Agendapunkte so nutzlos sind, dass man sich wünscht, es würde stattdessen über einen Fahrradschuppen diskutiert...

    #bikeshedding

  36. Meetings, deren Agendapunkte so nutzlos sind, dass man sich wünscht, es würde stattdessen über einen Fahrradschuppen diskutiert...

    #bikeshedding

  37. Meetings, deren Agendapunkte so nutzlos sind, dass man sich wünscht, es würde stattdessen über einen Fahrradschuppen diskutiert...

    #bikeshedding

  38. The problem with knowing what #Bikeshedding [1] and #PigeonChess [2] is, is that in your mind (or in my case in my paper notebook) you start to count how often they occur during a meeting and who is more prone to one or the other ;)

    [1] thedecisionlab.com/biases/bike
    [2] rationalwiki.org/wiki/Pigeon_c

  39. The problem with knowing what #Bikeshedding [1] and #PigeonChess [2] is, is that in your mind (or in my case in my paper notebook) you start to count how often they occur during a meeting and who is more prone to one or the other ;)

    [1] thedecisionlab.com/biases/bike
    [2] rationalwiki.org/wiki/Pigeon_c

  40. The problem with knowing what #Bikeshedding [1] and #PigeonChess [2] is, is that in your mind (or in my case in my paper notebook) you start to count how often they occur during a meeting and who is more prone to one or the other ;)

    [1] thedecisionlab.com/biases/bike
    [2] rationalwiki.org/wiki/Pigeon_c

  41. The problem with knowing what #Bikeshedding [1] and #PigeonChess [2] is, is that in your mind (or in my case in my paper notebook) you start to count how often they occur during a meeting and who is more prone to one or the other ;)

    [1] thedecisionlab.com/biases/bike
    [2] rationalwiki.org/wiki/Pigeon_c

  42. @brynet

    Seems pretty reasonable, but I was confused by the choice of ENOTTY ("inappropriate ioctl for device") in the patch when EPERM, ENOENT, EACCES, or EINVAL feels more fitting to me. #bikeshedding

    (FWIW, everywhere else in that patch uses ENOENT)

  43. @brynet

    Seems pretty reasonable, but I was confused by the choice of ENOTTY ("inappropriate ioctl for device") in the patch when EPERM, ENOENT, EACCES, or EINVAL feels more fitting to me. #bikeshedding

    (FWIW, everywhere else in that patch uses ENOENT)

  44. @brynet

    Seems pretty reasonable, but I was confused by the choice of ENOTTY ("inappropriate ioctl for device") in the patch when EPERM, ENOENT, EACCES, or EINVAL feels more fitting to me. #bikeshedding

    (FWIW, everywhere else in that patch uses ENOENT)

  45. @brynet

    Seems pretty reasonable, but I was confused by the choice of ENOTTY ("inappropriate ioctl for device") in the patch when EPERM, ENOENT, EACCES, or EINVAL feels more fitting to me. #bikeshedding

    (FWIW, everywhere else in that patch uses ENOENT)