IT, operating systems, maths, and more.
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
This is the eightieth seventh part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra We want to create a sequence of numbers of increasing length where each number is a square of some integer and has same digits as previous … Continue reading ILP Part 87 — Sequence of squares
This is the eighteenth part of the Custom memory allocation series. For your convenience you can find other parts in the table of contents in Part 1 — Allocating object on a stack Today we are going to see a rewritten way of hijacking method with machine code. It works in Windows and Linux, for … Continue reading Custom memory allocation in C# Part 18 — Hijacking methods on .NET 5 with modifying machine code