home.social

Search

840 results for “leafless”

  1. #Farm #Tractor #Iowa

    This is the passage through the woods between hayfields. The giant, reddish, leafless bush is the multiflora rose that I cut off at roots a few weeks ago. That bush and a mulberry tree on the other side were narrowing the lane considerably. It’s better now.

  2. #Farm #Tractor #Iowa

    This is the passage through the woods between hayfields. The giant, reddish, leafless bush is the multiflora rose that I cut off at roots a few weeks ago. That bush and a mulberry tree on the other side were narrowing the lane considerably. It’s better now.

  3. #Farm #Tractor #Iowa

    This is the passage through the woods between hayfields. The giant, reddish, leafless bush is the multiflora rose that I cut off at roots a few weeks ago. That bush and a mulberry tree on the other side were narrowing the lane considerably. It’s better now.

  4. #Farm #Tractor #Iowa

    This is the passage through the woods between hayfields. The giant, reddish, leafless bush is the multiflora rose that I cut off at roots a few weeks ago. That bush and a mulberry tree on the other side were narrowing the lane considerably. It’s better now.

  5. #Farm #Tractor #Iowa

    This is the passage through the woods between hayfields. The giant, reddish, leafless bush is the multiflora rose that I cut off at roots a few weeks ago. That bush and a mulberry tree on the other side were narrowing the lane considerably. It’s better now.

  6. 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
  7. 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
  8. it's interesting that the #Conservatives think my County Council Division is so safe that they don't normally do any pre-election visits and don't hand deliver leaflets, but so at risk from #ReformUK that they post a last-minute leaflet with their national priorities (including Internet censorship/surveillance to protect children) and no local ones.

    #Conservative #Tory #Tories #elections #politics #ukpol #AgeVerification #Hampshire #HampshireCountyCouncil

  9. Some of you might be interested in this.. a blog with a lot of recipes based on UK wartime food rations with copies of the original leaflets from Ministry of Food. #1940s #1940sExperiment #recipes #FrugalFood #WW2 #rationing the1940sexperiment.com/

  10. Spring is in the air, it is on the ground, and it is showing up on winter deciduous trees.

    This cluster shows a still leafless Himalayan Birch (Betula alnoides) full of yellow catkins, the other taller trees are Himalayan Alder (Alnus nepalensis) which have new leaves & leaf buds. The dark evergreen trees are Tree Rhododendron (Rhododendron arboreum).

    #trees #nature #spring #Hinalayas #IndiasNature #HimalayaSpeaks #HimalayanBirch #Alder #Rhododendron #Phenology #catkins #biology #ecology

  11. Tasks made 2: added leaflets and manuals of kodak photography ,telefunken radio ,philips radio ,philips black & white tv ,philips vinyl player to olx/ebay ; added rumble chat command (no account info).
    #tasks #hometasks #chores #lusogeek #manuals #leaflets #vintage #retro #shopping #shop #chatcommands #olx #ebay #sellers #eusellers #europesellers

  12. Tasks made 1: added two olive growing books on olx / ebay ; added tetris ,proverb ,facebook * ,reddit * ,linkme shop ,sneakers ,basketball (balls) chat commands ; adding merch accessories (linkme shop) ** ; adding some retro leaflets and manuals to ebay. **
    * no account info ** working on
    #hometasks #tasks #lusogeek #homework #chatcommands #botchat #creator #streamer #commands #ebay #olx #shop #gamer

  13. Tasks made: I’ve added 2 car magazines; 2 Fiat 500 manuals; 4 retro lighters; 1 aviation leaflet; various vintage car leaflets; 1 mini pocket knife with the Boeing logo; accessories for a Canon MX495 printer; a set of Smiths car accessories; 2 Piaggio (motorbike) brochures on OLX/eBay.

    #olx #ebay #shopping #shop #lusogeek #vintage #retro #selling #lighters #knife #aviation #tasks #hometasks #chores

  14. Pay me €50 to join my bootcamp
    1. Lose weight
    2. Get to know your neighbours and local area
    3. Become less shy

    I'll just hand you a bunch of leaflets and we go canvas
    #le24 #le2024

  15. I found this really good link in relation to #posters during #elections in Ireland and noted in particular that posters must display information regarding the printer/publisher of those posters/leaflets.

    How many posters have you seen that omits this information and are they of candidates who the same wing politically?

    dublincity.ie/council/voting-a

    #IrishElections #LocalElections2024 #EuropeanElections #europeanelections2024 #MastoDaoine #Ireland #politics #IrishPolitics

  16. OK, there are speedruns for video games. But are there also speedruns for more difficult things, like folding back medication leaflets? #AGDQ

  17. OK, there are speedruns for video games. But are there also speedruns for more difficult things, like folding back medication leaflets? #AGDQ

  18. OK, there are speedruns for video games. But are there also speedruns for more difficult things, like folding back medication leaflets? #AGDQ

  19. OK, there are speedruns for video games. But are there also speedruns for more difficult things, like folding back medication leaflets? #AGDQ

  20. OK, there are speedruns for video games. But are there also speedruns for more difficult things, like folding back medication leaflets? #AGDQ

  21. 'The basic facts alone are startling. Before Zack #Polanski took over as leader last September, the #Greens in #England and #Wales had around 66,000 members. They are now at 215,000, and still rising at speed.

    This means the party has many more people to knock on doors and fold leaflets, as seen with the vast numbers of canvassers the party could call on in winning last month’s #Gorton and #Denton #byelection .'

    theguardian.com/politics/2026/

  22. The is often called the "upside-down tree" due to its distinctive appearance, with sparse branches that resemble roots reaching towards the sky when it's leafless during the dry season.

    These remarkable trees, native to Africa, Madagascar, and Australia, are renowned for their ability to store vast amounts of water in their massive trunks, allowing them to survive in arid environments.

    oneearth.org/species-of-the-we

  23. The #Baobab #Tree is often called the "upside-down tree" due to its distinctive appearance, with sparse branches that resemble roots reaching towards the sky when it's leafless during the dry season.

    These remarkable trees, native to Africa, Madagascar, and Australia, are renowned for their ability to store vast amounts of water in their massive trunks, allowing them to survive in arid environments.

    oneearth.org/species-of-the-we

  24. The #Baobab #Tree is often called the "upside-down tree" due to its distinctive appearance, with sparse branches that resemble roots reaching towards the sky when it's leafless during the dry season.

    These remarkable trees, native to Africa, Madagascar, and Australia, are renowned for their ability to store vast amounts of water in their massive trunks, allowing them to survive in arid environments.

    oneearth.org/species-of-the-we