16 Followers
36 Following
648 Posts
Gentoo on Talos II lite. Working fine as a workstation, mostly doing image processing.
Hard sci-fiIan M. Banks, Peter F. Hamilton, Veror Vinge, James A. Corey
Processors used and loved12-14 bit: PIC, 32 bit: MC 68000, 64 bit: Power9
SoftwareDarktable, Hugin, Gimp
HobbiesComputers, photography, electronics, historical achery

"This is getting out of hand! Now there are two of them!"

Today at the @berlincreators Retro/Amiga meeting, we spontaneously managed to pull off the first ever Mirari PowerPC User's Meetup! ... At least in Berlin. But maybe globally? 😅

#mirari #powerpc #morphos #amiga

Dithering - Part 1

Understanding how dithering works, visually.

Maybe with the current RAM prices people will start writing efficient software again
xorvoid

It’s that time of the year again - someone (me) wanting to try replacing #gentoo ‘s #portage with a #Z3 #SMT solver. Well, this time I did it! Or at least started to… got 2x performance boost but it’s not quite black and white.

https://blog.researchmonger.com/2025/12/integrating-z3-smt-solver-into-gentoo.html?m=1

Integrating Z3 SMT Solver into Gentoo Portage: A Technical Deep Dive

## Introduction Gentoo's Portage package manager uses a sophisticated dependency resolver that has evolved over two decades. Unlike b...

@david_chisnall @zkat @xgranade Regarding the branch predictors: you could avoid them completely if OS vendors did not pretend they are writing code for PDP11, and CPU vendors did not have to cover up that their CPUs have a pipeline.

Branch delay slots are well known technology, and compilers are completely capable of loop unrolling and filling the slots with instructions that are useful.

Exposing the fact that the CPU has a pipeline avoids the need for statistical branch predictor as well as it avoids multiple forms of Spectre vulnerabilities.

There, solid solution without use of AI. Unfortunately, for reasons outlined here
https://archive.org/details/lca2020-What_UNIX_Cost_Us solving problems is not viable, only papering over them is. Reasons boil down basically to entrenched industry inertia. ​

🧑‍🏭 #lisp job in Bergen, Norway, at Norphonic, whose success story we know from "The world's loudest lisp program to the rescue":

https://blog.funcall.org/lisp%20psychoacoustics/2024/05/01/worlds-loudest-lisp-program/

▶️ https://www.finn.no/job/ad/441295330

thanks to https://blog.funcall.org//lisp/2025/12/18/lisp-job/ on Planet Lisp.

❔ more companies? https://github.com/azzamsa/awesome-lisp-companies/

#commonlisp

The World's Loudest Lisp Program to the Rescue | Paraprogramming Dispatches

Programming blog of Eugene

Merry #Christmas, my fellow nerds!

#academicchatter #phd #academia

just replaced the internal HDMI to eDP adapter of the Reform Next laptop (in my hand) with a much simpler direct eDP adapter (on the right in the picture, using native eDP capability of RK3588 on the same pins). worked at first try incl devicetree change. this is a practical example of the benefits of the internal modularity of the MNT Reform Next

"If you're not on board with AI you're going to get left behind"

Boost if you'd like to be left behind and would consider paying extra for a life without this bullshit.

###
3k boost edit: everyone who said a variant of "why should I pay" is right, but the world is wrong.