triptico.com

Un naufragio personal

Remarkable StackExchange subdomains

The ReiserFS filesystem

"This document describes the ReiserFS filesystem structures on disk. It was created while writing a ReiserFS reader for Windows NT. I was unsatisfied with the documentation available over at the official URL, www.namesys.com, so I wrote my own. But, since this is my first contact with ReiserFS, it does contain errors, so if in doubt, please consult the original spec first."

"This document is copyrighted by Gerson Kurz and licensed by the GPL."

http://p-nand-q.com/download/rfstool/reiserfs_docs.html

Convert your ASCII diagram scribbles into happy little SVG

"Svgbob Editor - Convert your ASCII diagram scribbles into happy little SVG"

Not really limited to ASCII; Unicode is also supported (including special support for line drawing characters).

https://ivanceras.github.io/svgbob-editor/

An implementation of the ChaCha20 algorithm in Bash

This is an implementation of DJB's ChaCha20 algorithm in Bash script.

"chacha20.sh
by zx2c4
You probably shouldn't use this for anything."

https://git.zx2c4.com/chacha20.sh/tree/chacha20.sh

Old Book Illustrations

"Old Book Illustrations was born of the desire to share illustrations from a modest collection of books, which we set out to scan and publish."

https://www.oldbookillustrations.com/

Web Demo of the Voxel Space Engine

"Comanche uses a technique called Voxel Space, which is based on the same ideas like ray casting."

https://github.com/s-macke/VoxelSpace

The Voluntary Human Extinction Movement

"Phasing out the human race by voluntarily ceasing to breed will allow Earth’s biosphere to return to good health. Crowded conditions and resource shortages will improve as we become less dense.

[...]

Thank you for not breeding."

http://www.vhemt.org/

Kahan summation algorithm

Summary:

In numerical analysis, the Kahan summation algorithm, also known as compensated summation, significantly reduces the numerical error in the total obtained by adding a sequence of finite-precision floating-point numbers, compared to the obvious approach. This is done by keeping a separate running compensation (a variable to accumulate small errors).

https://en.wikipedia.org/wiki/Kahan_summation_algorithm

Stuff in Space

This site shows in real-time 3D the location of satellites and other celestial bodies:

http://stuffin.space/

You can search for specific units, like

http://stuffin.space/?intldes=2018-020A&search=PAZ

Sweden Solar System

"The Sweden Solar System is the world's largest permanent scale model of the Solar System. The Sun is represented by the Ericsson Globe in Stockholm, the largest hemispherical building in the world. The inner planets can also be found in Stockholm but the outer planets are situated northward in other cities along the Baltic Sea."

https://en.wikipedia.org/wiki/Sweden_Solar_System

A DOT file to ASCII converter

Rebuilding target files when source files have changed

Genius Daniel J. Bernstein wrote an extremely simple but brilliant specification for a make-like build system:

http://cr.yp.to/redo.html

He didn't release an implementation, but somebody apparently named apenwarr did it:

https://apenwarr.ca/log/20101214

Thanks to my friend @crappo for bringing this to my attention.

What Every Programmer Should Know About Floating-Point Arithmetic

A simple and to-the-point guide to floating point arithmetic and the crazy but genius IEEE-754 standard:

Well, this site is here to:

  • Explain concisely why you get that unexpected result
  • Tell you how to deal with this problem
  • If you’re interested, provide in-depth explanations of why floating-point numbers have to work like that and what other problems can arise

The book is also on github.

Telegram Bot - how to get a group chat id?

apadana explains how to get a Telegram group chat id:

Here is the sequence that worked for me after struggling for several hours:

Assume the bot name is my_bot.

1- Add the bot to the group. Go to the group, click on group name, click on Add members, in the searchbox search for your bot like this: @my_bot, select your bot and click add.

2- Send a dummy message to the bot. You can use this example: /my_id @my_bot (I tried a few messages, not all the messages work. The example above works fine. Maybe the message should start with /)

3- Go to following url: https://api.telegram.org/botXXX:YYYY/getUpdates replace XXX:YYYY with your bot token

4- Look for "chat":{"id":-zzzzzzzzzz, -zzzzzzzzzz is your chat id (with the negative sign).

5- Testing: You can test sending a message to the group with a curl:

curl -X POST "https://api.telegram.org/botXXX:YYYY/sendMessage"
  -d "chat_id=-zzzzzzzzzz&text=my sample text"

If you miss step 2, there would be no update for the group you are looking for. Also if there are multiple groups, you can look for the group name in the response ("title":"group_name").

Hope this helps.

systemd now includes its own ntp service

Summary:

Uninstall ntp or chrony and do

sudo timedatectl set-ntp true

How can I split a single file from a git repo into a new repo?

Summary:

cd oldrepo
git fast-export HEAD -- myfile > ../myfile.fi
cd ..
mkdir newrepo
cd newrepo
git init
git fast-import < ../myfile.fi
git checkout

The PGP Problem

No more leaks with sanitize flags in gcc and clang

Summary:

CFLAGS="-g -fsanitize=address -fno-omit-frame-pointer" ./config.sh

More fun with Webmentions

👍 https://beesbuzz.biz/blog/3743-More-fun-with-Webmentions

The rest of the site is also worth a look.

The Elian Script