I'm not sure what you did here?
Sent from my iPhone
> On Feb 5, 2025, at 10:55 AM, glen wrote:
>
> Very cool. Not right, but cool anyway.
>
> Me: What does this formula mean: v_i(v_i=v_1' v_1(v_1=v_i F)) ?-/
>
> Goedel-LM/Goedel-Prover-SFT:
>
> theorem lean_workbook_16860 (n : ℕ)
> (v :
Sorry. The unicode didn't come through the cut and paste ... stupid emacs.
Me: What does this formula mean: ∀v_i(v_i=v_1'⊃∀v_1(v_1=v_i⊃F)) ?
I'll try to do things more like them. E.g. "complete the following lean 4 code
..." instead of abusing it this way.
On 2/5/25 10:54 AM, glen wrote:
Very
Very cool. Not right, but cool anyway.
Me: What does this formula mean: v_i(v_i=v_1' v_1(v_1=v_i F)) ?-/
Goedel-LM/Goedel-Prover-SFT:
theorem lean_workbook_16860 (n : ℕ)
(v : ℕ → ℕ)
(F : ℕ → ℕ)
(h₀ : 2 ≤ n)
(h₁ : ∀ i, 2 ≤ i ∧ i ≤ n → 3 ∣ v i)
(h₂ : ∀ i, 2 ≤ i ∧ i ≤ n → 3 ∣ F i)
(
A timely development!
https://goedel-lm.github.io/ <https://goedel-lm.github.io/>
From: Friam on behalf of glen
Date: Tuesday, February 4, 2025 at 4:59 PM
To: friam@redfish.com
Subject: Re: [FRIAM] Diogenes, the Cynic ...
I agree. GP has ADFs. I suppose a good code-writer can rec
temperatures.
Marcus
From: Friam on behalf of glen
Date: Tuesday, February 4, 2025 at 4:59 PM
To: friam@redfish.com
Subject: Re: [FRIAM] Diogenes, the Cynic ...
I agree. GP has ADFs. I suppose a good code-writer can recognize repetitions
(and perhaps equivalent permuations on them, especially in a
: *friam@redfish.com
*Subject: *Re: [FRIAM] Diogenes, the Cynic ...
Maybe, if the training data, training method, prompt, & reasoning are included
in the output. Without the reasoning, though, there's no way to tell slop from a
counter-intuitive or non-consensus result. I suppose one
, 2025 at 3:31 PM
To: friam@redfish.com
Subject: Re: [FRIAM] Diogenes, the Cynic ...
Maybe, if the training data, training method, prompt, & reasoning are included
in the output. Without the reasoning, though, there's no way to tell slop from
a counter-intuitive or non-consensus
s.
-Original Message-
From: Friam On Behalf Of glen
Sent: Tuesday, February 4, 2025 1:36 PM
To: friam@redfish.com
Subject: Re: [FRIAM] Diogenes, the Cynic ...
Claude is available here: https://www.anthropic.com/
Dave's interpretation rings true to me. But as long as we're pollut
Re: [FRIAM] Diogenes, the Cynic ...
Claude is available here: https://www.anthropic.com/
Dave's interpretation rings true to me. But as long as we're polluting the list
with AI slop, here's Tulu3's answers followed by Llama3's answers.
⛧ 1st prompt:
1. **Searc
Claude is available here: https://www.anthropic.com/
Dave's interpretation rings true to me. But as long as we're polluting the list
with AI slop, here's Tulu3's answers followed by Llama3's answers.
⛧ 1st prompt:
1. **Searching for Honesty**: The most direct interpretation of the
that Diogenes was looking for "an honest" man is a modern interpretation. The
original texts say simply, "a man."
In either case, he was mocking no one, neither philosophers nor Athenians.
Because so little of his original work, and that of his mentor Anisthenes,
survives it is speculative—but,
>
>
>
> *From:* Friam *On Behalf Of *Nicholas Thompson
> *Sent:* Tuesday, February 4, 2025 11:42 AM
> *To:* The Friday Morning Applied Complexity Coffee Group <
> friam@redfish.com>
> *Subject:* [FRIAM] Diogenes, the Cynic ...
>
>
>
> ... wandered the streets
:42 AM
To: The Friday Morning Applied Complexity Coffee Group
Subject: [FRIAM] Diogenes, the Cynic ...
... wandered the streets of Athens with a lantern, in broad daylight, looking
for an honest man. This act was supposed to ironically demonstrate the
dishonest of Athenians. To me, it seems
... wandered the streets of Athens with a lantern, in broad daylight,
looking for an honest man. This act was supposed to ironically demonstrate
the dishonest of Athenians. To me, it seems more to demonstrate the
vanity of "enlighted" search. In other words, Diogenes was mocking
philosophers, not
14 matches
Mail list logo
