IT, operating systems, maths, and more.
This is the fourth part of the SAT series. For your convenience you can find other parts in the table of contents in Part 1 — Boolean logic Let’s use C++ templates to solve 3CNF SAT in compile-time. The solution First, let’s start with the code: Problem definition Let’s start with the main function which … Continue reading SAT Part 4 — Solving 3CNF with C++ templates
This is the thirtieth part of the .NET Inside Out series. For your convenience you can find other parts in the table of contents in Part 1 – Virtual and non-virtual calls in C# TypeScript has a very nice feature called conditional types. Can we mimic something like this in C#? Let’s say that we … Continue reading .NET Inside Out Part 30 – Conditional types in C#
This is the fourteenth part of the Async Wandering series. For your convenience you can find other parts in the table of contents in Part 1 – Why creating Form from WinForms in unit tests breaks async? We already implemented Loom in C# with Fibers. This time, a piece of code which uses P/Invoke (instead … Continue reading Async Wandering Part 14 — Async with Fibers reimplemented in .NET Core
This is the twentieth ninth part of the .NET Inside Out series. For your convenience you can find other parts in the table of contents in Part 1 – Virtual and non-virtual calls in C# Last time we discussed ways to terminate a thread. We mentioned a method based on unwinding the stack and preserving … Continue reading .NET Inside Out Part 29 – Terminating some existing thread with jumps
This is the twentieth eighth part of the .NET Inside Out series. For your convenience you can find other parts in the table of contents in Part 1 – Virtual and non-virtual calls in C# Last time we learned how to reroute an existing thread to some other code. Today we want to terminate the … Continue reading .NET Inside Out Part 28 – Terminating some existing thread