IT, operating systems, maths, and more.
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
This is the seventeenth 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 I was rewriting my method hijacking samples to .NET 5 and I found an interesting behavior. Let’s take this code: If you … Continue reading Custom memory allocation in C# Part 17 — Hijacking methods on .NET 5 with modifying metadata curious thing