Part 2 on my series about dynamic programming problems and coding techniques to solve them.

Don't use metaprogramming. It is not that cool.

In this paper, we present CGAAL, our model checker of alternating-time temporal logic properties in concurrent games.

To evaluate our tool, we run several experiments. In our experiments we compare our global algorithm, our local algorithm using our various search strategies

The syntax of the language is inspired by PRISM-lang used by the PRISM model checker to model stochastic multi-player games with rewards.

Learn about using maps in Go (golang), including associative arrays, hash maps, collision handling, and sync.Map, with practical code examples.

The algorithms used to solve games have been extensively studied, and they are chosen based on the purpose and nature of the game.

The game of Othello is one of the world’s most complex and popular games that has yet to be computationally solved.

We conclude that our study has weakly solved Othello, although we recognize that our achievement is just above the criteria for weakly solving.

We used a dataset including 61,549 game records played between 2001 and 2020. We selected 2,587 positions out of the 2,958,551 positions

Existing Othello software was used to solve the position with 36 empty squares. Edax is based on alpha-beta search and employs many techniques

Exploring the future of work by integrating brain science with digital tools, highlighting the need for intuitive, human-centric computing environments.

In a few short weeks, I will be leaving my job as Director of Engineering "in the industry" and starting a new one as a high school Computer Science teacher.

Neuro-Symbolic AI combines neural learning and symbolic reasoning, enhancing AI's decision-making, learning, and interpretability for complex tasks.

Join organizations, auditing tough classes, choosing the right professors, here are my top tips for thriving in university.

The more I studied, the more certain I became that this was what I wanted to do.

RLHF is an innovative approach to mitigating bias in LLMs. It incorporates human input in the training process to reduce bias and improve fairness.

Learn how to design a simple, efficient digital circuit using Boolean algebra and logic gates to control a light bulb with minimal components.

Learn how TTYs work in Linux! Understand virtual devices, line discipline, and I/O processes in simple steps. A beginner-friendly guide to mastering TTY.

Short article about bloom filters