Viewing profile — salvesefu

I always found the symbols of America interesting and their connections to the history of the European Democratic societies (and their ideals). Concepts that spread like wildfire a…

practically any ide built in the last 30 years can do what you need...from micro to zed. what are you looking for exactly?

What are the stats around internal tool building in the last 2-3 years? rates of adoption? are internal users satisfied?

The Swiss govt has done much to protect Swiss labor from external market pressures; whether the watch is a handmade movement or quartz is irrelevant.

For those needing context for the development of this package; this project is presently being developed as part of a RPKI validator. https://medium.com/@jobsnijders/a-proposal-for…

i wonder how gnome will be supported in the future on systems without systemd. heres a thread of someone beginning the process of replacing systemd with gnu shepherd: https://disco…

"Sam is designed as two synchronous programs: a command interpreter and a mouse-oriented bitmap windowing interface." https://en.wikipedia.org/wiki/Sam_(text_editor)

Its ironic just how many of these tools could simply be marketed as shiny ai emacs.

we are there now. depending on boot loader/os combination, one can get to the sub 1-5 sec range, if its cli-only.

team geary needs more love. geary works well for most day to day tasks with no showstopping bugs.

tldr; vaporwave musician with cat art.

i found this discussion interesting as it relates to LLMs and Lean 4: https://news.ycombinator.com/item?id=47047027

Not surprising. the 100R folk are very upfront about their ideology around sustainability and eco justice. mjk didn't have anything to add to the social economic conversation aroun…

Probably bc, Windows users live in walled knowledge domains that tend to reinforce levels of competence (or lack of competence). Gamers tend to be somewhere in the middle though.

The GPT found this and thought it was relevant: "an introduction of library operating system for Linux" - https://lwn.net/Articles/637658/

Bad and expensive.

where in mexico? sounds really cool

From the Website: "If you write math in MATLAB and hit performance walls on CPU, RunMat is built for you."

Schoolaged 1995 coder self with a fpuless Mac would like a word about what we lost/gained (no available c compilers at the time). The need for tui argument is vague outside of musc…

That Ken Pier quote in the preface is still nasty work.