#specifications — Public Fediverse posts on home.social

Suisse @[email protected] · 2026-05-12 · 08:21 UTC

https://www.europesays.com/ch-fr/127786/ Lenovo présente son nouveau téléphone de jeu Legion avant son lancement imminent #Android #AppareilPhoto #batterie #charge #écran #InformationsSurDesOrdinateursPortatifs #jeu #lancement #Legion #Lenovo #nouvelles #performances #Ram #rapport #RedMagic #refroidissement #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #smartphone #snapdragon #spécifications #stockage #Suisse #Technologies #Technology #telephone #test #Y70

#y70 #test #telephone #technology #technologies #suisse

Belgique @[email protected] · 2026-05-12 · 07:03 UTC

https://www.europesays.com/be-fr/104279/ Lenovo présente son nouveau téléphone de jeu Legion avant son lancement imminent #Android #AppareilPhoto #batterie #BE #BEFr #Belgique #Belgium #chargé #écran #InformationsSurDesOrdinateursPortatifs #jeu #Lancement #Legion #Lenovo #nouvelles #performances #RAM #rapport #RedMagic #refroidissement #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #smartphone #snapdragon #spécifications #stockage #Technologies #Technology #telephone #test #Y70

#y70 #test #telephone #technology #technologies #stockage

Suisse @[email protected] · 2026-05-07 · 22:12 UTC

https://www.europesays.com/ch-fr/121906/ Huawei dévoile le Nova 15 Max avec une batterie de 8 500 mAh et un écran OLED de 4 000 nits #8500MAh #HuaweiNova15Max #InformationsSurDesOrdinateursPortatifs #lancement #nouvelles #rapport #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #SmartphoneDeMilieuDeGamme #spécifications #Suisse #Technologies #Technology #test

#test #technology #technologies #suisse #specifications #smartphonedemilieudegamme

Belgique @[email protected] · 2026-05-07 · 15:34 UTC

https://www.europesays.com/be-fr/99464/ Huawei dévoile le Nova 15 Max avec une batterie de 8 500 mAh et un écran OLED de 4 000 nits #8500MAh #BE #BEFr #Belgique #Belgium #HuaweiNova15Max #InformationsSurDesOrdinateursPortatifs #Lancement #nouvelles #rapport #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #SmartphoneDeMilieuDeGamme #spécifications #Technologies #Technology #test

#test #technology #technologies #specifications #smartphonedemilieudegamme #sciencesettechnologies

XSF: XMPP Standards Foundation @[email protected] · 2026-05-05 · 16:15 UTC

XMPP Extensions and Specifications (XEP) in April 2026!

Read about the latest #XMPP #Extensions and #Specifications updates and changes:

https://xmpp.org/2026/05/the-xmpp-newsletter-april-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#xmpp #extensions #specifications #jabber #chat #interoperability

XSF: XMPP Standards Foundation @xmpp · 2026-05-05 · 16:15 UTC

XMPP Extensions and Specifications (XEP) in April 2026!

Read about the latest #XMPP #Extensions and #Specifications updates and changes:

https://xmpp.org/2026/05/the-xmpp-newsletter-april-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#xmpp #extensions #specifications #jabber #chat #interoperability

XSF: XMPP Standards Foundation @[email protected] · 2026-05-05 · 16:15 UTC

XMPP Extensions and Specifications (XEP) in April 2026!

Read about the latest #XMPP #Extensions and #Specifications updates and changes:

https://xmpp.org/2026/05/the-xmpp-newsletter-april-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#xmpp #extensions #specifications #jabber #chat #interoperability

XSF: XMPP Standards Foundation @[email protected] · 2026-05-05 · 16:15 UTC

XMPP Extensions and Specifications (XEP) in April 2026!

Read about the latest #XMPP #Extensions and #Specifications updates and changes:

https://xmpp.org/2026/05/the-xmpp-newsletter-april-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#newsletter #messaging #federation #decentralization #opensource #standards

XSF: XMPP Standards Foundation @[email protected] · 2026-05-05 · 16:15 UTC

XMPP Extensions and Specifications (XEP) in April 2026!

Read about the latest #XMPP #Extensions and #Specifications updates and changes:

https://xmpp.org/2026/05/the-xmpp-newsletter-april-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#xmpp #extensions #specifications #jabber #chat #interoperability

EVSHIFT @[email protected] · 2026-05-04 · 19:14 UTC

https://www.evshift.com/449683/2026-oben-rorr-evo-walkaround-prices-range-battery-specifications-automobile/ 2026 Oben Rorr Evo Walkaround: Prices, Range, Battery & specifications #automobile #automobile #Battery #BikeLaunch #BikeReview #bikes #CarLaunch #CARS #ElectricBikes #ElectricCars #ElectricMotorcycle #ElectricMotorcycles #ElectricScooter #ElectricVehicles #EV #evo #evs #HTAuto #motorcycles #NewCarLaunch #Oben #Prices #Range #Rorr #scooter #Specifications #Walkaround

#automobile #battery #bikelaunch #bikereview #bikes #carlaunch

red_rooster :coolified: @[email protected] · 2026-04-30 · 21:51 UTC

@Moss_the_TeXie @EUCommission
If there is no chip in the cable, PD does not work and the limit is 3A and 5V

But don't worry the laws to use #usbc are made by #eu politicians the technical #specifications are made by #engineers
So, trust my colleagues!

#usbc #eu #specifications #engineers

red_rooster :coolified: @[email protected] · 2026-04-30 · 21:51 UTC

@Moss_the_TeXie @EUCommission
If there is no chip in the cable, PD does not work and the limit is 3A and 5V

But don't worry the laws to use #usbc are made by #eu politicians the technical #specifications are made by #engineers
So, trust my colleagues!

#usbc #eu #specifications #engineers

red_rooster :coolified: @[email protected] · 2026-04-30 · 21:51 UTC

@Moss_the_TeXie @EUCommission
If there is no chip in the cable, PD does not work and the limit is 3A and 5V

But don't worry the laws to use #usbc are made by #eu politicians the technical #specifications are made by #engineers
So, trust my colleagues!

#usbc #eu #specifications #engineers

red_rooster :coolified: @[email protected] · 2026-04-30 · 21:51 UTC

@Moss_the_TeXie @EUCommission
If there is no chip in the cable, PD does not work and the limit is 3A and 5V

But don't worry the laws to use #usbc are made by #eu politicians the technical #specifications are made by #engineers
So, trust my colleagues!

#engineers #specifications #eu #usbc

Suisse @[email protected] · 2026-04-28 · 00:55 UTC

https://www.europesays.com/ch-fr/107383/ Clicks confirme le lancement d’un smartphone compact avec clavier #calendrier #ClicksCommunicator #InformationsSurDesOrdinateursPortatifs #lancement #livraison #nouvelles #rapport #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #smartphone #spécifications #Suisse #Technologies #Technology #test

#test #technology #technologies #suisse #specifications #smartphone

This Blog has No Leaves @[email protected] · 2026-04-27 · 10:54 UTC

LLMs and Specs

I was trying to get a specification for a program at one point, to see if it was doing what I wanted. My LLM, Lyin’ Brian, created one for me.

The background was that I had asked an LLM for a link to math book with the algorithm of, for example, a lower hull. I asked it to write it out in English, used that for the prompt.

It found me https://cp-algorithms.com/geometry/convex-hull.html, and once I had it and checked it, I had Claude convert it to Go, and then I debugged it.

Once I had that, I asked Claude for the specification, and got:

Logical Specification for Lower Hull

Here's a formal specification of what the lower hull algorithm should accomplish:

Given: A finite set of points P = {p₁, p₂, ..., pₙ} in 2D space

Output: An ordered sequence of points L = [l₁, l₂, ..., lₖ] representing the lower hull

Postconditions (what must be true after execution):

    Subset property: L ⊆ P (all points in the lower hull are from the original set)

    Ordering property: l₁ has the minimum x-coordinate (leftmost), and lₖ has the maximum x-coordinate (rightmost). For all i < j, x(lᵢ) ≤ x(lⱼ) (x-coordinates are monotonically non-decreasing)

    Convexity property: For all consecutive triples (lᵢ, lᵢ₊₁, lᵢ₊₂) in L, the orientation must be counterclockwise (left turn). Formally: (lᵢ₊₁ - lᵢ) × (lᵢ₊₂ - lᵢ₊₁) > 0

    Minimality property: L is minimal — no point from P can be removed from L while still maintaining properties 2 and 3. (This ensures you have the actual hull, not just some counterclockwise path)

    Completeness property: All points on the lower convex hull boundary are included. Formally: for any point p ∈ P that lies on the lower boundary of the convex hull, p ∈ L

Preconditions (assumptions):

    P contains at least 2 points
    Points are distinct (no duplicates)
    The meaning of Lower Hull is understood by all

This successfully translated the program into a spec I could read. Not easily, though! It’s been a while since I did symbolic logic, back at Sun.

So I worked it through with a pencil, paper and a trivial set of data, and that was really what I was asking for. It also told me that I needed to add code to check that the points really were distinct (no duplicates).

Necessary and sufficient? I’m going to think more about that.

#ai #artificialIntelligence #mathematics #programming #specifications

#ai #artificialintelligence #mathematics #programming #specifications

This Blog has No Leaves @[email protected] · 2026-04-27 · 10:54 UTC

LMs and Specs

I was trying to get a specification for a program at one point, to see if it was doing what I wanted. My LLM, Lyin’ Brian, created one for me.

The background was that I had asked an LLM for a link to math book with the algorithm of, for example, a lower hull. I asked it to write it out in English, used that for the prompt.

It found me https://cp-algorithms.com/geometry/convex-hull.html, and once I had it and checked it, I had Claude convert it to Go, and then I debugged it.

Once I had that, I asked Claude for the specification, and got:

Logical Specification for Lower Hull

Here's a formal specification of what the lower hull algorithm should accomplish:

Given: A finite set of points P = {p₁, p₂, ..., pₙ} in 2D space

Output: An ordered sequence of points L = [l₁, l₂, ..., lₖ] representing the lower hull

Postconditions (what must be true after execution):

    Subset property: L ⊆ P (all points in the lower hull are from the original set)

    Ordering property: l₁ has the minimum x-coordinate (leftmost), and lₖ has the maximum x-coordinate (rightmost). For all i < j, x(lᵢ) ≤ x(lⱼ) (x-coordinates are monotonically non-decreasing)

    Convexity property: For all consecutive triples (lᵢ, lᵢ₊₁, lᵢ₊₂) in L, the orientation must be counterclockwise (left turn). Formally: (lᵢ₊₁ - lᵢ) × (lᵢ₊₂ - lᵢ₊₁) > 0

    Minimality property: L is minimal — no point from P can be removed from L while still maintaining properties 2 and 3. (This ensures you have the actual hull, not just some counterclockwise path)

    Completeness property: All points on the lower convex hull boundary are included. Formally: for any point p ∈ P that lies on the lower boundary of the convex hull, p ∈ L

Preconditions (assumptions):

    P contains at least 2 points
    Points are distinct (no duplicates)
    The meaning of Lower Hull is understood by all

This successfully translated the program into a spec I could read. Not easily, though! It’s been a while since I did symbolic logic, back at Sun.

So I worked it through with a pencil, paper and a trivial set of data, and that was really what I was asking for. It also told me that I needed to add code to check that the points really were distinct (no duplicates).

Necessary and sufficient? I’m going to think more about that.

#ai #artificialIntelligence #mathematics #programming #specifications

#specifications #programming #mathematics #artificialintelligence #ai

Suisse @[email protected] · 2026-04-22 · 00:49 UTC

https://www.europesays.com/ch-fr/99172/ Le Framework Laptop 13 Pro promet plus d’autonomie, de performances et de métal #disponibilité #FrameworkLaptop13Pro #InformationsSurDesOrdinateursPortatifs #lancement #Notebook #nouvelles #OrdinateurPortable #prix #rapport #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #spécifications #Suisse #Technologies #Technology #test

#test #technology #technologies #suisse #specifications #sciencesettechnologies

Suisse @[email protected] · 2026-04-21 · 01:48 UTC

https://www.europesays.com/ch-fr/97610/ Fuite : Le Canon EOS R6 V sera lancé cette semaine avec un capteur plein format et la vidéo RAW #CanonEOSR50V #CanonEOSR6V #CanonEOSR8V #DateDeLancement #fuite #InformationsSurDesOrdinateursPortatifs #nouvelles #PleinCadre #rapport #revues #Rumeur #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #spécifications #Suisse #Technologies #Technology #test

#test #technology #technologies #suisse #specifications #sciencesettechnologies

Belgique @[email protected] · 2026-04-21 · 01:29 UTC

https://www.europesays.com/be-fr/81251/ Fuite : Le Canon EOS R6 V sera lancé cette semaine avec un capteur plein format et la vidéo RAW #BE #BEFr #Belgique #Belgium #CanonEOSR50V #CanonEOSR6V #CanonEOSR8V #DateDeLancement #fuite #InformationsSurDesOrdinateursPortatifs #nouvelles #PleinCadre #rapport #revues #rumeur #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #spécifications #Technologies #Technology #test

#test #technology #technologies #specifications #sciencesettechnologies #sciences

Suisse @[email protected] · 2026-04-21 · 00:35 UTC

https://www.europesays.com/ch-fr/97549/ Le Huawei Pura 90 est lancé avec un puissant téléobjectif à un prix de milieu de gamme #disponibilité #flagship #HuaweiPura90 #InformationsSurDesOrdinateursPortatifs #lancement #nouvelles #prix #rapport #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #smartphone #spécifications #Suisse #Technologies #Technology #test

#test #technology #technologies #suisse #specifications #smartphone

Suisse @[email protected] · 2026-04-20 · 23:41 UTC

https://www.europesays.com/ch-fr/97508/ La Watch Buds 2 de Huawei cache des écouteurs sans fil dans une smartwatch en titane #Ecouteurs #HuaweiWatchBuds2 #InformationsSurDesOrdinateursPortatifs #lancement #nouvelles #rapport #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #smartwatch #spécifications #Suisse #Technologies #Technology #test #TWS

#tws #test #technology #technologies #suisse #specifications

Belgique @[email protected] · 2026-04-20 · 16:32 UTC

https://www.europesays.com/be-fr/80840/ Le Huawei Pura 90 est lancé avec un puissant téléobjectif à un prix de milieu de gamme #BE #BEFr #Belgique #Belgium #disponibilité #flagship #HuaweiPura90 #InformationsSurDesOrdinateursPortatifs #Lancement #nouvelles #prix #rapport #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #smartphone #spécifications #Technologies #Technology #test

#test #technology #technologies #specifications #smartphone #sciencesettechnologies

Belgique @[email protected] · 2026-04-20 · 16:06 UTC

https://www.europesays.com/be-fr/80810/ Motorola Razr 70 : une nouvelle fuite révèle les spécifications et les prix américains du prochain téléphone pliable #batterie #BE #BEFr #Belgique #Belgium #Dimensity #fuite #InformationsSurDesOrdinateursPortatifs #Lancement #MediaTek #Motorola #nouvelles #pliable #prix #rapport #Razr #Razr2026 #Razr70 #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #snapdragon #spécifications #Technologies #Technology #test

#test #technology #technologies #specifications #snapdragon #sciencesettechnologies

Suisse @[email protected] · 2026-04-20 · 16:05 UTC

https://www.europesays.com/ch-fr/96976/ Motorola Razr 70 : une nouvelle fuite révèle les spécifications et les prix américains du prochain téléphone pliable #batterie #Dimensity #fuite #InformationsSurDesOrdinateursPortatifs #lancement #MediaTek #Motorola #nouvelles #pliable #prix #rapport #Razr #Razr2026 #Razr70 #revues #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #snapdragon #spécifications #Suisse #Technologies #Technology #test

#test #technology #technologies #suisse #specifications #snapdragon

Afrique @[email protected] · 2026-04-09 · 21:23 UTC

https://www.europesays.com/afrique/71301/ design exclusif en Afrique du Sud #A200NightEdition #AfriqueDuSud #design #MercedesBenz #NightPackage #Prix #spécifications #VoitureCompactePremium

#voiturecompactepremium #specifications #prix #nightpackage #mercedesbenz #design

Africa @[email protected] · 2026-04-09 · 20:38 UTC

https://www.europesays.com/africa/179780/ Hyundai réachemine ses navires vers l’Afrique #Afrique #Automobile #Canada #MeilleursVoitures #MeilleursVUS #occasion #prix #quebec #spécifications #usagée #Voitures #VUS

#vus #voitures #usagee #specifications #quebec #prix

Afrique @[email protected] · 2026-04-09 · 19:47 UTC

https://www.europesays.com/afrique/71221/ Hyundai réachemine ses navires vers l’Afrique #Afrique #automobile #canada #MeilleursVoitures #MeilleursVUS #occasion #Prix #quebec #spécifications #usagée #voitures #VUS

#vus #voitures #usagee #specifications #quebec #prix

Jisso News @[email protected] · 2026-04-05 · 23:49 UTC

昨年10月に発表されていた通り、電子情報技術産業協会 #JEITA が発行する「JEITA規格」の販売は4月1日から日本規格協会 #JSA に移行した。電子版JEITA規格の販売も開始。JEITA規格のウェブページは https://www.jeita.or.jp/japanese/public_standard/ に告知。
#Standards #Specifications

#jeita #jsa #standards #specifications

XSF: XMPP Standards Foundation @[email protected] · 2026-04-05 · 12:00 UTC

XMPP Extensions and Specifications (XEP)

Read about the new #XMPP #Extensions and #Specifications changes and updates in March 2026:

https://xmpp.org/2026/04/the-xmpp-newsletter-march-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#xmpp #extensions #specifications #jabber #chat #interoperability

XSF: XMPP Standards Foundation @xmpp · 2026-04-05 · 12:00 UTC

XMPP Extensions and Specifications (XEP)

Read about the new #XMPP #Extensions and #Specifications changes and updates in March 2026:

https://xmpp.org/2026/04/the-xmpp-newsletter-march-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#xmpp #extensions #specifications #jabber #chat #interoperability

XSF: XMPP Standards Foundation @[email protected] · 2026-04-05 · 12:00 UTC

XMPP Extensions and Specifications (XEP)

Read about the new #XMPP #Extensions and #Specifications changes and updates in March 2026:

https://xmpp.org/2026/04/the-xmpp-newsletter-march-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#xmpp #extensions #specifications #jabber #chat #interoperability

XSF: XMPP Standards Foundation @[email protected] · 2026-04-05 · 12:00 UTC

XMPP Extensions and Specifications (XEP)

Read about the new #XMPP #Extensions and #Specifications changes and updates in March 2026:

https://xmpp.org/2026/04/the-xmpp-newsletter-march-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#newsletter #messaging #federation #decentralization #opensource #standards

XSF: XMPP Standards Foundation @[email protected] · 2026-04-05 · 12:00 UTC

XMPP Extensions and Specifications (XEP)

Read about the new #XMPP #Extensions and #Specifications changes and updates in March 2026:

https://xmpp.org/2026/04/the-xmpp-newsletter-march-2026/#extensions-and-specifications

#jabber #chat #interoperability #rtc #xep #standards #opensource #decentralization #federation #messaging #newsletter

#xmpp #extensions #specifications #jabber #chat #interoperability

Wulfy—Speaker to the machines @[email protected] · 2026-04-04 · 05:04 UTC

@jasongorman

Specs?
Kids these days are spoiled.

Back in the days when I was a codemonkey we had to read the clients mind with our psionics...
...and I am only half joking.

One day my boss wrote an entire sentence of a spec for a whole module and I kept the dinner tissue as a memento of happy days when specs were hardcoded!

#specifications #codemonkeys

Wulfy—Speaker to the machines @[email protected] · 2026-04-04 · 05:04 UTC

@jasongorman

Specs?
Kids these days are spoiled.

Back in the days when I was a codemonkey we had to read the clients mind with our psionics...
...and I am only half joking.

One day my boss wrote an entire sentence of a spec for a whole module and I kept the dinner tissue as a memento of happy days when specs were hardcoded!

#specifications #codemonkeys

Wulfy—Speaker to the machines @[email protected] · 2026-04-04 · 05:04 UTC

@jasongorman

Specs?
Kids these days are spoiled.

Back in the days when I was a codemonkey we had to read the clients mind with our psionics...
...and I am only half joking.

One day my boss wrote an entire sentence of a spec for a whole module and I kept the dinner tissue as a memento of happy days when specs were hardcoded!

#specifications #codemonkeys

#codemonkeys #specifications

Suisse @[email protected] · 2026-03-31 · 04:21 UTC

https://www.europesays.com/ch-fr/73170/ Samsung Galaxy S26 : un modèle de base moins cher, mais seulement pour certains clients #128Go #EnterpriseEdition #InformationsSurDesOrdinateursPortatifs #lancement #ModèleDeBase #nouvelles #rapport #revues #SamsungGalaxyS26 #Science #ScienceAndTechnology #Sciences #SciencesEtTechnologies #spécifications #Suisse #Technologies #Technology #test