“englishm” — Fediverse search results on home.social

Mathrubhumi English @[email protected] · 2026-05-02 · 07:22 UTC

Two school staff in Punalur arrested for assaulting a 12-year-old boy over theft suspicion. Case filed under JJ Act and BNS. https://english.mathrubhumi.com/news/kerala/punalur-boarding-school-assault-arrest-2026-ys94rqw9?utm_source=dlvr.it&utm_medium=mastodon #arrest #theft #keralanews #Punalur #assaul

#arrest #theft #keralanews #punalur #assaul

The Sauna @Moisture · 2024-10-04 · 22:55 UTC

The Sauna Gaming: • Adult • Gamer • Fun • Social • Memes • Music • Creators • Esports •
We are an English speaking guild and are active most evenings (NA Time Western Central and Eastern; plus GB EU & Australia) and weekends.

https://discord.gg/nzGmtBFyPH
#helldivers2 #helldivers #Palworld #discordserver #community #4gamer #discord #discordguild #guild #gaming #lfg #rainbowsixsiege #rainbow6 #Destiny2 #Battlefield #COD #ModernWarfareIII #mw3
#callofduty #rorr #riskofrainreturns #gamer #warhammer40k

#helldivers2 #helldivers #palworld #discordserver #community #4gamer

The Sauna @Moisture · 2024-06-04 · 19:42 UTC

The Sauna Gaming: • Adult • Gamer • Fun • Social • Memes • Music • Creators • Esports •
We are an English speaking guild and are active most evenings (NA Time Western Central and Eastern; plus GB EU & Australia) and weekends.

https://discord.gg/nzGmtBFyPH
#helldivers2 #helldivers #Palworld #discordserver #community #4gamer #discord #discordguild #guild #gaming #lfg #rainbowsixsiege #rainbow6 #Destiny2 #Battlefield #COD #ModernWarfareIII #mw3
#callofduty #rorr #riskofrainreturns #gamer #warhammer40k

#helldivers2 #helldivers #palworld #discordserver #community #4gamer

The Sauna @[email protected] · 2024-06-04 · 19:42 UTC

The Sauna Gaming: • Adult • Gamer • Fun • Social • Memes • Music • Creators • Esports •
We are an English speaking guild and are active most evenings (NA Time Western Central and Eastern; plus GB EU & Australia) and weekends.

https://discord.gg/nzGmtBFyPH
#helldivers2 #helldivers #Palworld #discordserver #community #4gamer #discord #discordguild #guild #gaming #lfg #rainbowsixsiege #rainbow6 #Destiny2 #Battlefield #COD #ModernWarfareIII #mw3
#callofduty #rorr #riskofrainreturns #gamer #warhammer40k

#helldivers2 #helldivers #palworld #discordserver #community #4gamer

The Sauna @[email protected] · 2024-06-04 · 19:42 UTC

The Sauna Gaming: • Adult • Gamer • Fun • Social • Memes • Music • Creators • Esports •
We are an English speaking guild and are active most evenings (NA Time Western Central and Eastern; plus GB EU & Australia) and weekends.

https://discord.gg/nzGmtBFyPH
#helldivers2 #helldivers #Palworld #discordserver #community #4gamer #discord #discordguild #guild #gaming #lfg #rainbowsixsiege #rainbow6 #Destiny2 #Battlefield #COD #ModernWarfareIII #mw3
#callofduty #rorr #riskofrainreturns #gamer #warhammer40k

#helldivers2 #helldivers #palworld #discordserver #community #4gamer

The Sauna @[email protected] · 2024-06-04 · 19:42 UTC

The Sauna Gaming: • Adult • Gamer • Fun • Social • Memes • Music • Creators • Esports •
We are an English speaking guild and are active most evenings (NA Time Western Central and Eastern; plus GB EU & Australia) and weekends.

https://discord.gg/nzGmtBFyPH
#helldivers2 #helldivers #Palworld #discordserver #community #4gamer #discord #discordguild #guild #gaming #lfg #rainbowsixsiege #rainbow6 #Destiny2 #Battlefield #COD #ModernWarfareIII #mw3
#callofduty #rorr #riskofrainreturns #gamer #warhammer40k

#warhammer40k #gamer #riskofrainreturns #rorr #callofduty #mw3

The Sauna @[email protected] · 2024-06-04 · 19:42 UTC

The Sauna Gaming: • Adult • Gamer • Fun • Social • Memes • Music • Creators • Esports •
We are an English speaking guild and are active most evenings (NA Time Western Central and Eastern; plus GB EU & Australia) and weekends.

https://discord.gg/nzGmtBFyPH
#helldivers2 #helldivers #Palworld #discordserver #community #4gamer #discord #discordguild #guild #gaming #lfg #rainbowsixsiege #rainbow6 #Destiny2 #Battlefield #COD #ModernWarfareIII #mw3
#callofduty #rorr #riskofrainreturns #gamer #warhammer40k

#helldivers2 #helldivers #palworld #discordserver #community #4gamer

Moisture @[email protected] · 2023-10-16 · 12:02 UTC

Moisture Gaming: • Adult • Gamer • Fun • Social • Memes • Creators • Esports
We are an English speaking guild and are active most evenings (NA Time Western Central and Eastern; plus GB EU & Australia) and weekends.

https://www.discord.gg/QhCBNsEuZF

#discord #discordguild #guild #gaming #lfg #r6 #rainbowsixsiege #rainbow6 #Destiny2 #Battlefield #COD #MW2 #ModernWarfareIII #mw3 #mw2 #callofduty #callofdutymodernwarfareiii #riskofrain #riskofrain2 #rorr #riskofrainreturns #gamer #gamers #gaming #community

#community #gamers #gamer #riskofrainreturns #rorr #riskofrain2

Lone Soldier @[email protected] · 2025-04-15 · 16:23 UTC

Let's try some affordable basket or an #organiser #english Version on April 15 Tuesday 2025

#retiredstudent #soldier #soldier1375 #lonesoldier #freegames #frankquotes #shorts #reels #tiktok #game #gaming #gameplay #console #consolegaming #ps #playstation #xbox #nintendo #nes #gameboy #retro #pc #pcgamer

#pcgamer #pc #retro #gameboy #nes #nintendo

Lone Soldier @[email protected] · 2025-04-15 · 16:23 UTC

Let's try some affordable basket or an #organiser #english Version on April 15 Tuesday 2025

#retiredstudent #soldier #soldier1375 #lonesoldier #freegames #frankquotes #shorts #reels #tiktok #game #gaming #gameplay #console #consolegaming #ps #playstation #xbox #nintendo #nes #gameboy #retro #pc #pcgamer

#organiser #english #retiredstudent #soldier #soldier1375 #lonesoldier

Lone Soldier @[email protected] · 2024-11-14 · 17:57 UTC

Let's try some #shortunboxing & it's our #superman the cool Pullout #organiser #english Version On November 14 Thursday 2024

#retiredstudent #soldier #soldier1375 #lonesoldier #freegames #frankquotes #shorts #reels #tiktok #game #gaming #gameplay #console #consolegaming #ps #playstation #xbox #nintendo #nes #gameboy #retro #pc #pcgamer

#shortunboxing #superman #organiser #english #retiredstudent #soldier

Lone Soldier @[email protected] · 2024-11-14 · 17:57 UTC

Let's try some #shortunboxing & it's our #superman the cool Pullout #organiser #english Version On November 14 Thursday 2024

#retiredstudent #soldier #soldier1375 #lonesoldier #freegames #frankquotes #shorts #reels #tiktok #game #gaming #gameplay #console #consolegaming #ps #playstation #xbox #nintendo #nes #gameboy #retro #pc #pcgamer

#pcgamer #pc #retro #gameboy #nes #nintendo

Lone Soldier @[email protected] · 2024-11-14 · 17:57 UTC

Let's try some #shortunboxing & it's our #superman the cool Pullout #organiser #english Version On November 14 Thursday 2024

#retiredstudent #soldier #soldier1375 #lonesoldier #freegames #frankquotes #shorts #reels #tiktok #game #gaming #gameplay #console #consolegaming #ps #playstation #xbox #nintendo #nes #gameboy #retro #pc #pcgamer

#shortunboxing #superman #organiser #english #retiredstudent #soldier

Lone Soldier @[email protected] · 2024-11-14 · 17:56 UTC

Let's try some #shortunboxing & it's our #superman the cool Pullout #organiser #english Version On November 14 Thursday 2024

#retiredstudent #soldier #soldier1375 #lonesoldier #freegames #frankquotes #shorts #reels #tiktok #game #gaming #gameplay #console #consolegaming #ps #playstation #xbox #nintendo #nes #gameboy #retro #pc #pcgamer

#shortunboxing #superman #organiser #english #retiredstudent #soldier

Lone Soldier @[email protected] · 2024-11-14 · 17:56 UTC

Let's try some #shortunboxing & it's our #superman the cool Pullout #organiser #english Version On November 14 Thursday 2024

#retiredstudent #soldier #soldier1375 #lonesoldier #freegames #frankquotes #shorts #reels #tiktok #game #gaming #gameplay #console #consolegaming #ps #playstation #xbox #nintendo #nes #gameboy #retro #pc #pcgamer

#pcgamer #pc #retro #gameboy #nes #nintendo

Lone Soldier @[email protected] · 2024-11-14 · 17:56 UTC

Let's try some #shortunboxing & it's our #superman the cool Pullout #organiser #english Version On November 14 Thursday 2024

#retiredstudent #soldier #soldier1375 #lonesoldier #freegames #frankquotes #shorts #reels #tiktok #game #gaming #gameplay #console #consolegaming #ps #playstation #xbox #nintendo #nes #gameboy #retro #pc #pcgamer

#shortunboxing #superman #organiser #english #retiredstudent #soldier

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