Advertisement · 728 × 90

Posts by

Preview
Keep Android Open Advocating for Android as a free, open platform for everyone to build apps on.

Here's an info page and a petition.
keepandroidopen.org
Please share.

1 month ago 1 0 0 0
Nanobanana 2 with imagw assets of 3 logos and fat man cartoon & prompt:

The 3D android logo but his body is a prison bar cage, inside is sqeeyed the fat guy and a pillow with the youtube logo on it. The cage is way too small and tight. The fat guy reaches out with one arm between the bars, arm and fingers fully stretched out to towards a pack of potato chips with the blue&geen fdroid logo on it. Fat guy makes a desperate and exhausted face due to not reaching despite trying for a ling time. Overall scene background is liminal, a place that gives the feeling one should not be there. Style of the scene is matching to that.

Nanobanana 2 with imagw assets of 3 logos and fat man cartoon & prompt: The 3D android logo but his body is a prison bar cage, inside is sqeeyed the fat guy and a pillow with the youtube logo on it. The cage is way too small and tight. The fat guy reaches out with one arm between the bars, arm and fingers fully stretched out to towards a pack of potato chips with the blue&geen fdroid logo on it. Fat guy makes a desperate and exhausted face due to not reaching despite trying for a ling time. Overall scene background is liminal, a place that gives the feeling one should not be there. Style of the scene is matching to that.

Reminder that google is about to "sunset" the right to install any app you want by an draconian lockdown targeting/bullying the developers. They called it sideloading to make you feel normal installing is shady. Now they wanna end it for good. Ahem bad. VERY bad consequences.

1 month ago 2 0 1 0

Cool. Bit far from Vienna though. Maybe I'll manage some time.

1 month ago 1 0 0 0
Preview
ACM SIGPLAN Special Interest Group on Programming Languages The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...

There so many videos on functional programming on this channel that I eventually wanna watch. Putting it here as a note to self partly.
youtube.com/@acmsigplan

2 months ago 2 0 1 0
Introducing the Threads ability for safer structured concurrency
Introducing the Threads ability for safer structured concurrency YouTube video by Unison Language

Finally got around watching it in full. New threads ability of @unison-lang.org
youtu.be/xU_MRNNo4kg?...

2 months ago 7 2 0 0

Fun with the ball but I think the hand-shaking one was a better balance between sillyfun & practical.

2 months ago 1 0 1 0
Don't Use Any AI Agents or Browsers Until You Watch This
Don't Use Any AI Agents or Browsers Until You Watch This YouTube video by Internet of Bugs

Good reminder video AI usage safety:
youtu.be/TdHg9ee56Iw?...

2 months ago 0 0 0 0
Advertisement

And I also mean: Avoiding the less effort option that nowadays more people take. I.e. building upon one of the few in the end ephemeral (big tech) platforms that do that en💩ification and eventual sunsetting for you.

3 months ago 1 0 0 0

With "becoming possible"
I mean there'll be no need to:
Make one huge life decision investment (perhaps even start a company) to put it together maintain it and then eventually be forced to fund it by growing ad integration that in the end only en💩ifies it to oblivion.

3 months ago 1 0 1 0

I.e. no more growing cost with growing user base as everyone brings more than sufficient amount of their own resources.

3 months ago 1 0 1 0

Maybe an infinitely scalable P2P pong (as MVP for whatever other old arcade game classic or also serious work tool) is now becoming finally possible with this. I.e. …

3 months ago 1 0 1 0

This could seriously squash a big part of the cause of the "if you don't pay you are the product" false dilemma.

3 months ago 2 0 1 0
Introducing iroh
Introducing iroh YouTube video by number 0

🤯🤯🤩 WOW!!
youtu.be/RwAt36Xe3UI?...

3 months ago 1 0 1 0

Pretty 😎 SDF based engine:

3 months ago 1 0 0 0
39C3 - AI Agent, AI Spy
39C3 - AI Agent, AI Spy YouTube video by media.ccc.de

🔥🏠🔥
39C3 - AI Agent, AI Spy
youtu.be/0ANECpNdt-4

3 months ago 1 0 0 0
How does a 2D creature see CURVED SPACE?
How does a 2D creature see CURVED SPACE? YouTube video by Artem Yashin

3D wormholes in 2D
youtu.be/9JbYDDjhnx4

3 months ago 0 0 0 0
Advertisement
Your Favorite Science YouTubers Are Wrong About AI, (e.g. SciShow, Kurzgesagt, and Kyle Hill )
Your Favorite Science YouTubers Are Wrong About AI, (e.g. SciShow, Kurzgesagt, and Kyle Hill ) YouTube video by Internet of Bugs

Here's a fitting mnemonic acronym for claims regarding AI that are not backed by anything of substance.
And that dangerously divert attention from actually pressing issues.
youtu.be/4lKyNdZz3Vw?...

4 months ago 1 0 0 0

Context?

4 months ago 0 0 0 0
Wikipedia and the Destruction of Trust
Wikipedia and the Destruction of Trust YouTube video by Hank Green

Hank Green Video: "Wikipedia and the Destruction of Trust"
youtu.be/9zi0ogvPfCA?...

5 months ago 2 0 0 0

That one just dropped 38 min ago.
"Stand: 14.10.2025 18:11 Uhr"

6 months ago 2 0 1 0

That's about the only article that pops up with a quick websearch. Images reference say Deutsche Bahn and Tf KD. Didn't help me finding more info. AI found nothing either. Not saying not real, saying IDK. I lack sufficient consillience here. And 😱ed everyone is taking it at face value.

6 months ago 2 0 2 0
AI edited image, looks real but is not.

AI edited image, looks real but is not.

This was the second of two image that nanobanana spat out. First try one shot. Zero cherry picking.

6 months ago 0 0 0 0

🤨🤨🤨 want it with a cow?
bsky.app/profile/mech...

6 months ago 0 0 1 0
AI edited image (nanobanana).
Looks real but is not.

AI edited image (nanobanana). Looks real but is not.

Source? Anyone can make that image with things like nanobanana these days. Here with under a minute of effort I asked "change the chickens to a cow" and it spit back this waay to realistic fake:

6 months ago 19 3 4 3

I had only barely skimmed over the intro. Analogy may not go beyond cell based async parallel evaluated purely functional live coding.
Will read in more detail one I find some more time.

6 months ago 0 0 0 0

Coming to mind:
Where would one put algepraic effects in the
Currry Howard Lambeck correspondence/isomorphism?
It might not be possible.
Ok, not that this mapping is easy for monads and applicative beyond simple stuff like monoids. Darn. Deep rabbithole.

6 months ago 0 0 1 0
Advertisement

Maybe algebraic effects could be a viable alternative to monads & applicatives in your case. Maybe these would be easier to implement in your setting?
(+) They removes the often arbitrary lifting hierarchy.
(-) They feel less discovered and more invented though.
Not so sure on these points yet.

6 months ago 0 0 1 0
File:MonadsInAnnotatedLambdaDiagrams.jpeg - apm

As for monads for better understanding their structural essence (not their varied use cases) what helped me the most was sketching them out as annotated lambda diagrams.
apm.bplaced.net/w/index.php?...
Maybe this could help in implementing them in other settings such as yours @joshuahhh.com too?

6 months ago 0 0 1 0
Subtext Retrospective

Stumbled over the topic of reactive programming glitches twice just recently. One case in Jonathan Edwards
@jonathoda.bsky.social
retrospective on his closed subtext project.
www.subtext-lang.org/retrospectiv...
(now fresh start with fresh title baseline)
www.subtext-lang.org/baseline.html

6 months ago 1 0 1 0
Reactive programming - Wikipedia

As soon as it comes to usage of monads or applicatives for effectful computations. Reactive programming glitches become of concern.
en.wikipedia.org/wiki/Reactiv...
=> Only execute preassembeld imperative seqience once rective system fully settled down on new changes?

6 months ago 0 0 1 0