@foxmean

196 Followers
1.2K Following
3.5K Posts
Degrowth communist, Haskell, Lix, Rust
Thai native with ability to read English and a little bit Mandarin/Japanese
เชียงใหม่หนาวจนอยากเจอแดด
This 1965 Soviet cartoon predicted "prompt engineering."

You don't even need to understand Russian to appreciate it.

https://youtu.be/YpygndkMSWA?t=762
Вовка в Тридевятом царстве (Vovka v tridevyatom tsarstve) 1965 - Золотая коллекция Soyuzmulfilm

YouTube

#Tokyo

An amazing #city

The largest city in the world

...Not anymore

"With an estimated population of nearly 42 million residents, #Indonesia's capital #Jakarta soared from 33rd place to surpass #Japan's Tokyo, according to a new #UnitedNations report"

A mind boggling fact for you:

The population of #Java is about 155 million

The population of #Russia is about 145 million

Java is about 2/3 the size of #GreatBritain!

That's what rich volcanic soil does

https://www.nbcnews.com/world/rcna245798

#cities

Jakarta is now the world's largest city, beating out Tokyo in new U.N. report

Indonesia’s capital, Jakarta, is now the world's most populous city, ahead of Bangladesh’s capital, Dhaka, and Japan's Tokyo, according to a new United Nations report.

NBC News
Taiwan will introduce a $40 billion supplementary defense budget to underscore its determination to defend itself, “significant” new U.S. arms purchases planned, President Lai Ching-te said. https://www.japantimes.co.jp/news/2025/11/26/asia-pacific/politics/taiwan-president-defense-spending/?utm_medium=Social&utm_source=mastodon #asiapacific #politics #laichingte #taiwan #china #defense
Taiwan president says he will propose extra $40 billion in defense spending

The move comes as China, which views democratically governed Taiwan as its own territory, has ramped up military and political pressure.

The Japan Times

Hello everyone 👋

On Wednesday 3rd of December Bost and me will give a session on #guix at the Functional Programming Night in #Tübingen.

Guix is a Linux distribution and package manager inspired by Nix. It allows bitwise reproducibility of software, fine-grained roll-backs, transactional installs and a lot more!

I'll give an introduction into Guix. Bost will show you the good and the not-so-good parts. And in the end there'll be an open stage about workflows/use-cases (also #Nix).

If you come, please register beforehand. There'll be free pizza and drinks! 🥳

Date: 2025-12-03 (Wednesday)
Event start: 18:45
Location: itdesign GmbH (Blaue Brücke, Tübingen, Germany)

https://tu-lambda.github.io/

#guile #scheme

@fnat @alexshendi @nmeum @civodul @daviwil @abcdw @rougier

Please boost 🙏

Tü.λ—Functional Programming Night Tübingen

What if... we just take the best parts of programming and see where that leads us?

Tü.λ—Functional Programming Night Tübingen
Last Friday we announced the Servo sponsorship tiers, and today we're happy to welcome @sandwich as our second bronze sponsor. Thanks! 🙏 https://sandwich.net/servo

@servo launch sponsorship tiers to help fund more rapid development:

https://www.phoronix.com/news/Servo-Sponsorship-Tiers

IMO Servo is still our best chance at a fast, modern alternative to Chrome's Blink renderer taking over the web.

Tiers start at as little as $100, but if you don't have that to spare, consider sharing to try and reach potential sponsors who do!

#Servo #FOSS #Chrome #Blink

Servo Announces Sponsorship Tiers To Get More Organizations Backing This Browser Engine

The Servo open-source web browser engine has been making good progress in recent times

ตั้งแต่ Mastodon updated APP ให้มิสามารถ copy ข้อความจากโพสต์ได้ ทุกอย่างก็ลำบากขึ้นมากจนไม่ค่อยอยากเล่น ปกติสามารถก็เลือกคำ แปลภาษาต่างๆ เป็นคำๆ ได้ ตอนนี้ทำไม่ได้แล้ว อย่างเศร้า จะใส่ alt-text จากที่บอท generated ออกมาก็ใส่ลำบาก

I received a bunch of helpful feedback during the lisp game jam.

I spent some time this weekend implementing a few suggestions, including providing more details on units.

#gamedev #pixelart

Wow, Mozilla really ❤️ AI 🤖