Mastodawn

XSF: XMPP Standards Foundation 3d ago

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

Show thread

red_rooster

Apr 30

@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!

This Blog has No Leaves Apr 27

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

Convex hull construction - Algorithms for Competitive Programming

The goal of this project is to translate the wonderful resource http://e-maxx.ru/algo which provides descriptions of many algorithms and data structures especially popular in field of competitive programming. Moreover we want to improve the collected knowledge by extending the articles and adding new articles to the collection.

Jisso News Apr 5

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

XSF: XMPP Standards Foundation Apr 5

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

Show thread

Wulfy—Speaker to the machines Apr 4

@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