Вдруг кому в @rf пригодится: опубликовал мой старый модуль для заворачивания SSH трафика в TLS/SSL туннели. В далеком 2017м этот сетап успешно обманывал внутренние анализаторы некоторых IT-корпораций. Как бы не пришло его время поработать на благо Родины)


EN: A Nixos module for hiding SSH daemon behind TLS/SSL proxy while keeping HTTPS running on a same port.

Setting up the to be a distributed build agent for . It was able to build the midnight commander in about 10 minutes. Not sure if this is the best possible approach or not but mobilenixers seem to prefer this kind of aarch building to qemu and cross-setups.

Anyway, I hope to get most packages from binary cache servers.

uses a simplified profile management system, compared to . From what I know, to change the phone's configuration, users are to 1) Compile the "toplevel" mobilenixos expression on the host PC (after setting up either a cross-compiler or a remote aarch builder) 2) nix-copy-closure the new expression over SSH to a mobile device 3) Add the new profile to a list of profiles using `nix-env` on the device.

New profiles may be activated on the fly, old profiles remain in the recovery menu.

Show thread

Удивительное дело. В самый красноглазый проект, который у меня есть, вдруг прибегает какой-то чувак, создаёт сразу 7 штук ишьюзов, и на следующий день испаряется. Сижу фикшу, чтош.


Added a long-missing feature to my hobby project. Now the gsm->telegram relay can handle reverse calls from telegram back to mobile network.


I have a hobby project where I setup a server to forward mobile calls from the GSM modem to my telegram account. Normally I use it to feed an anonymous mobile phone number to various loyalty programs. But recently I added a localized Lenny-like chatbot and the fun have began. A sample conversation in Russian is in the previous post, and in this one I attach a collection of the original Lenny recordings to share the impression)

Realized that it must be unusual to live in 21 century and still use Vim for Python editing. But I do, and here is what my setup looks like.


I keep the config in a single-file Nix expression. The plugins I like the most are: fzf (search), NERTTree (tree view) and of cause LSC for code navigation. It also needs Pyls and Ccls to understand Python and C++.

I prefer CLI version of vim. The screenshot shows MyPy catching a type error.

CC @b1beny4

Oh, yes. The above Dialplan program is embedded into a expression. That is why some dollar signs are quoted.

Show thread

Just started a Mobile NixOS configuration adventure. github.com/grwlf/mobile-nixos-

For now I could confirm that it definitely can build something named "build.u-boot".


CC @rf

Speaking about development environments in . Just figured out how to properly encode a Python environment which includes several custom packages. Not so hard, but certainly beyond the manual. From the other side, it handles system dependencies flawlessly.


So here I am, learning . Thanks Google, simple things could be done semi-automatically by typing questions and copy-pasting answers. Hard things looks completely unsolvable..

My plan looked like:
1. Create LaTex environment using .
2. Type some code into a TeX file, write descriptions
3. Make it into a table, with proper highlighting, line numbers, references, and so on..
4. Execute the code!
5. Paste results and stdout back into the TeX document
6. Render everything to pdf


Occasionally I'm working on a library for managing reproducible experiments. github.com/stagedml/pylightnix

I started last year (OK, two years ago, oh my..). Now I'm using it for organizing ongoing work..

In short it is an implementation of core functionality, very lightweight and limited, embedded in Python. It has no Python dependencies besides standard library and provides user with single-threaded API for creating style immutable objects in local filesystem.

Recently finished a milestone in my hobby GSM2telegram relay "application". Don't know how to call projects where Nix plays a role of buildsystem rather than package manager.

Anyway, I use this tool to safeguard my personal phone number from various public wifi registration interfaces and Internet shops.


Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!