IT, operating systems, maths, and more.
This is the tenth part of the Chatterbox series. For your convenience you can find other parts in the table of contents in Part 1 – Origins Today a very simple solution for a paging system based on voice calls. We’re going to use Zadarma and SipCLI. First, register a phone number in Zadarma. Obviously, … Continue reading Chatterbox Part 10 — Poor man’s voice-based paging system
This is the ninth part of the Availability Anywhere series. For your convenience you can find other parts in the table of contents in Part 1 – Connecting to SSH tunnel automatically in Windows Today we are going to configure a poor man’s channel bonding to connect over RDP to a server. Server side First, … Continue reading Availability Anywhere Part 9 — Poor man’s channel bonding for RDP
This is the eightieth eighth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Today we are going to solve this task. We have a board with some letters on it. Letters are assigned numbers from zero to nine. Letters … Continue reading ILP Part 88 — Magical Tangram
This is the second part of the TLA+ series. For your convenience you can find other parts in the table of contents in Part 1 — TLA+ to ILP Part 1 — Reducing problem Let’s now carry on with adding more invariants. Tutorial says to reorder the operations, so let’s first update the db and … Continue reading TLA+ Part 2 — TLA+ to ILP Part 2 — Performance check
This is the first part of the TLA+ series. For your convenience you can find other parts using the links below: Part 1 — TLA+ to ILP Part 1 — Reducing problem Part 2 — TLA+ to ILP Part 2 — Performance check Today we are going to reduce some TLA+ algorithm to ILP and … Continue reading TLA+ Part 1 — TLA+ to ILP Part 1 — Reducing problem