sassa_nf

AI-assisted business

Sat, 28 Feb 2026 14:34:53 GMT

https://www.youtube.com/watch?v=GJVSDjRXVoo

comments

3d Universe

Sat, 17 Jan 2026 20:52:49 GMT

Proof that the universe is exactly 3d: if it is not 3d, you won't be able to tie shoelaces.

comments

The People's Fellowship

Fri, 12 Dec 2025 18:50:15 GMT

https://youtu.be/rzV-Un9aoT0?si=582a9YutI_9xzGL_

Gan Dal-Po, Pyo Do and others are on the noble quest to destroy the One Phone to rule the minds of all. But one doesn't simply walk into Seoul....

comments

AI says...

Sat, 08 Mar 2025 21:35:43 GMT

https://www.facebook.com/faina.kaplan.50/posts/pfbid0vfo32uPkUne6xq6xyeLKWQurDmnRgAvn6Etnzyj9ok5ckJBVMzrLKKynSt59yoh6l

04 Mar 2025. Робот відповіда на питання що Трамп буде сьодні казати про Україну.

( Read more... )

What Today’s Speech Really Means (If You Read Between the Lines)
It’s not a peace plan. It’s not an isolationist manifesto. It’s a blueprint for replacing the post-1945 order with a mafia-like global system of personal loyalty, transactional deals, and permanent conflict zones where Trump’s fingerprints are always visible.
Would you like me to write the full “between-the-lines” annotated transcrit

comments

Тварюки

Tue, 04 Mar 2025 13:23:38 GMT

Отак щоранку згадував рускіх. Тепер додались ще.

comments

Яка іронія

Wed, 25 Dec 2024 23:39:44 GMT

не бійся синку за санями
спостерігає ппо
вони нікому не дозволять
псувати магію різдва

ironichna_osoba

comments

What people in the US don't understand about liberty

Mon, 09 Dec 2024 00:58:58 GMT

Liberals in the English-speaking tradition call for negative liberty, meaning a realm of private autonomy from which the state is legally excluded. In contrast French liberals ever since the French Revolution more often promote "positive liberty" – that is, liberty insofar as it is tethered to collectively defined ends. They praise the state as an essential tool to emancipate the people.

Basically, "negative liberty" is what people are free from, and "positive liberty" is what they are free to do.

Positive liberty as a concept introduced by Isaiah Berlin. There's a bunch of his lectures on this topic, interesting stuff.

comments

Making sense of Yoneda

Sun, 17 Nov 2024 11:17:34 GMT

Further to the earlier conversation about (x→p)→q as a monad.

Let's make sense of the application of Yoneda lemma here:

https://chaource.dreamwidth.org/235262.html?thread=1023998#cmt1023998

( This part of the original proof... )
Hmmm... I was hoping to get rid of these loose ends in one go, but maybe later.

comments

(x→p)→q as a monad

Tue, 05 Nov 2024 08:01:01 GMT

From the post here.

Given F x = (x→p)→q for some fixed p and q, can we show that it is or isn't a monad?

We have to assume the existence of function k: p→q for pure to exist, and we have to assume the existence of function h: q→p for (>>=) to exist.

pure x = k . ($ x)

- there is no other way to construct a value of type q from a function of type x→p, you have to have a k: p→q.

Then:

m >>= f = m . (h .) . flip f

- there is no other way to construct a function of type (x→p) from a function of type x→(y→p)→q, you have to have an h: q→p.

Associativity of (>>=) follows from associativity of composition. How about the unit laws?

pure x >>= f = f x -- unit-1

pure x >>= f = k . ($ x) . (h .) . flip f = k . (h .) . f x = (k . h) . f x

- this should be f x if k . h = id.

So k is a surjection.

m >>= pure = m -- unit-2

m >>= pure = m . (h .) . (k .) $ flip ($) = m . ((h . k) .) $ id = m . (h . k)

- this should be m if h . k = id.

So k is an injection at the same time - p and q must be isomorphic.

comments

Math problem

Fri, 19 Jul 2024 22:08:19 GMT

A monkey is happy when it eats 3 different fruits. How many monkeys can become happy, if we have 20 apples, 30 bananas, 40 peaches and 50 pears.

I know the answer, but I wonder how these are normally solved, and the solution proven optimal.

comments

A language for not clever people

Wed, 19 Jun 2024 16:24:06 GMT

http://go.dev/ref/mem#advice

Don't be clever.

Who do they think they are?

comments

Неїж-кого?..

Sat, 01 Jun 2024 10:58:17 GMT

Не бійтесь заглядати у словник (то пишний сад, а не сумне провалля)

Чули про голову ВМС України, Неїжпапу?

http://hrinchenko.com/slovar/znachenie-slova/36651-papa-ii.html#show_point - це про хліб, а не людожерство.

comments

Bayes DLM

Mon, 15 Apr 2024 11:20:41 GMT

This is what we are reading these days

comments

Biden bans C and C++

Mon, 04 Mar 2024 10:25:07 GMT

Have you seen that?

https://whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf

comments

Boss fight

Mon, 05 Feb 2024 20:22:11 GMT

Yes, I've done facebook online problems once, just because I like problems like that.

So, like here: https://malyj-gorgan.dreamwidth.org/187069.html

N ∈ [2, 5×10⁵]; i,j ∈ [1, N]; d_i, h_i ∈ [1, 10⁹];
maximize:
d_i h_i + d_j h_j + max(d_i h_j, d_j h_i)

That's the mathematical notation. The statement is really about various warriors with damage D and health H fighting a "boss", and you've got to choose the best pair. The fighting arrangement is such that while the first warrior is receiving damage from the "boss" (health declines), both warriors can damage the boss. This explanation is here simply to explain the terminology I use in my solution.

I don't know whether there is a better solution, but here's my approach that worked well enough.

It is obvious that comparing each with each finds a solution, but given the possible magnitude of inputs it becomes intractable. So if we sort the warriors in some way, this would become tractable. We can also afford( ...spoiler )

comments

Size-restricted recursion for hylomorphism

Sat, 30 Dec 2023 18:14:13 GMT

...and here is a proper hylomorphism inspired by the last updates:

The main idea is: we can't have unrestricted recursion hylo p q = p . fmap (hylo p q) . q, but we can construct a recursive structure of a predefined size. So it is not a generic hylomorphism, but a hylomorphism for a problem of a known size. A constraint is: we need a "fixed point" value of the target type, which gets plugged on the last level of recursion, if we get to it.
( fixed size hylomorphism )

comments

zipping church-encoded stuff

Fri, 29 Dec 2023 09:35:41 GMT

We had a little discussion here

Basic question: if lists are Church-encoded, how do you zip two at the same time? There seems to be a difficulty in commuting list construction (new list) and list destruction (two input lists).

Initially I thought of a way to preserve the state of list destructor routine. So on each step of construction you can progress the iterator of the destructor one step at a time. But a good question chaource raised is: how can we generalise this to trees?

And then from the dark recesses of my memory the shadows of Varmo Vene's thesis whispered.

Hylo morphism to the rescue!

Wink-wink, nudge-nudge, ( say no more! )
Obvious extension for church-encoded trees:
( Read more... )
Of course, we could do church-encoding of pairs as well, but I reckon we don't have to do that even for Option. The original problem was driven by the quest of expressing recursive data structures in the language that doesn't support it (to prove that the structures and types are finite). Finite non-recursive types like Maybe and Pair are not problematic.

After some more discussion:
( here is more )

comments

Kammerater i krig

Sat, 04 Nov 2023 16:03:33 GMT

Searching for that you mostly get references to the Band of Brothers film.

comments

Finally, good use for AI

Sun, 02 Jul 2023 14:57:14 GMT

https://futurism.com/the-byte/ai-wasting-scam-callers-time-forever

comments

Pretty impressive

Sun, 25 Jun 2023 16:48:36 GMT

https://youtu.be/2ohBYrhl3yo - eh?..

comments

Країна волонтерів

Sun, 18 Jun 2023 06:18:16 GMT

https://youtu.be/0ApTcHQMtq0 - як козаки зброю добували

comments

Star Wars

Mon, 12 Jun 2023 06:55:14 GMT

https://youtu.be/v1kXeZ4uzXo - künstliche Intelligenz ist gerade gekommen

comments

State is a Monad

Sun, 28 May 2023 13:17:17 GMT

The proof: https://math.stackexchange.com/a/4250143

It's kind of funny how the proof becomes trivial, if you express the types the right way.

comments

why Bill's wife never goes to caravan parks in France

Mon, 15 May 2023 20:15:39 GMT

This has been told by one of the (tracked vehicle) instructors.

So 15 years ago they were planning to go on a trip to Normandy, to stay at a caravan park with the family. And by family we must understand three generations.

On the way to Dover they figured out that Granny forgot her passport. Oh well, we are not turning back to Newcastle. On the way out they don't check the passport, so we'll just punt it, and go without the passport. Then the neighbours are going to find the passport at home and send it by post to the caravan park.
( Read more... )And that is why Bill's wife never goes to caravan parks in France.

comments

У Беларусі

Wed, 10 May 2023 19:30:31 GMT

Дробныя дарогі на памежжы з Расеяй перакопваюць і завальваюць дрэвамі.

О, білоруси теж потроху починають роботи над ровом з крокодилами.

comments