#Goals2025

Moving away from the constant upgrade cycle & moving closer to the ideals of #PermaComputing #MalleableSoftware

Design and setup a redundant system of old/used, cheap, low-power devices running ia: #Guix, #Linux, #FreeBSD, #macOS, #HaikuOS, #Plan9Front, #X11, #P9, #NFS, all working together

Become an expert on #MicroControllers #ESP32 #STM32 #RP2040 #MIPS #RiscV

DIY sensors which sing like birds to communicate their status

DIY robots "drones"

Move as much as possible of my computing needs to the #Terminal, #Emacs, #Rio #CLI #TUI #P9

Get an #3DPrinter and learn to use it

Design and build my own portable 8dot #braille terminal & try out if 3x3 or 3x4 dots is also workable.

Design and build my own low-power computers, their OS, and tools

Writing more of my own tools #DIY

#SmallTalk #ObjectPascal #Prolog #Scheme #Racket #CommonLisp #Haskell #Rust #Go #ObjectiveC #Swift

Deploy #LoRa #ReticullumNetwork #RNodes #MeshCore #Meshtastic

Start an #InternetResiliencyClub

Add #Tor, #I2P support by #WebProxy

#SolarPowered #SelfHost over #I2P, #OnionService #Blog #Wiki #Repositories #GopherHole #Darcs #Mercurial

#SelfHost my own #EmailServer, which will only accept email from #KnownServers #CommunityEmail #MutualEmailAcceptance

Share files via #BitTorrent over #I2P

DIY #HomeAutomation
DIY #GardeningAutomation
DIY #GreenHouse

Get a house cat, train the cat, use voice and gestures

Start asking money for advice & technology support

Build/program my own opportunistic and strange cryptocurrency miners #BTC, #XMR, #ZEC, etc #Art

#MakeMoreArt #LearnToDraw #Learn3DModeling #LearnGenerativeArt #LearnToComposeAmbientMusic

#ReCreateJottit #ReCreateInstikiWiki

#WriteMore #PublishMore #Letters, #Essays, #Missives, #Reports, #Treatise

#Incomplete #Ongoing #NotFinal

Readings shared June 21, 2025

The readings shared in Bluesky on 21 June 2025 are Theorem proving in Lean 4. ~ Jeremy Avigad, Leonardo de Moura, Soonho Kong, Sebastian Ullrich et als. #ITP #LeanProver Certifying projected knowledg

Vestigium

Implementing an #XMPP client in #SWI #Prolog.

It connects and ssl_negotiate works... I still have to implement the authentication... but it's working!!! 🙌🙌

The automata design is based on #JabberEl (the #Emacs XMPP client). This.is a good way to learn how it was implemented too.

https://codeberg.org/cnngimenez/swi-xmpp

swi-xmpp

XMPP client implemented in SWI-Prolog.

Codeberg.org
Unifying the Technical Interview

🌗 實作邏輯程式設計
➤ 探索一種被低估的程式設計範式
https://btmc.substack.com/p/implementing-logic-programming
本文探討了邏輯程式設計相對於程序式、物件導向和函數式程式設計的獨特性和優勢。作者指出,雖然許多程式設計師熟悉前三種範式,但對邏輯程式設計的認識卻相對較少。邏輯程式設計擅長於處理複雜關係的建模,其核心概念是關係而非函數,並以 Prolog 語言為例展示了事實、規則和查詢的應用。文章強調了邏輯程式設計相對於關聯式資料庫 (SQL) 的潛在優勢,並探討了實作邏輯程式設計時可能遇到的問題,以及為何不建議直接實作 Prolog 的理由。
+ 這篇文章讓我對邏輯程式設計產生了興趣,之前完全沒有接觸過這個領域。
+ 作者對於 Prolog 的批判性觀點很有意思,讓我開始思考是否還有其他更優雅的邏輯程式設計實現方式。
#程式設計 #邏輯程式設計 #Prolog
Implementing Logic Programming

I just think it's neat!

Burning the Midnight Coffee

@MovieDivaJacki @sweetmercury @Taweret @dboisvert @DMX @infernusgoatus

And Prolog.

https://github.com/galaxor/murdle/blob/01db3603bd939aad38edcf14275e27002a1bcacc/murdle-2025-06-11-Wednesday.pl

Maybe sometime, I'll switch to doing this in Mercury, just to feel something. It's a prolog-inspired logic programming language with, like, types and stuff? And it compiles ahead-of-time?

#Prolog #Mercury

Readings shared June 9, 2025

The readings shared in Bluesky on 9 June 2025 are Formalizing invisible mathematics: case studies from higher category theory. ~ Emily Riehl. #ITP #LeanProver #Math #CategoryTheory Sequencelib: A pla

Vestigium
Teaching and learning mathematics with Prolog. ~ Tom Bensky (2021). https://arxiv.org/abs/2108.09893 #Prolog #LogicProgramming #Math
Teaching and learning mathematics with Prolog

Procedural computer languages have long been used in many aspects of mathematics pedagogy. In this work, we examine the use of Prolog, a declarative language for the same purpose. We find the facts+rules aspect of Prolog to be a novel platform for developing coding lessons to supplement the learning of mathematics. Specific examples are presented.

arXiv.org