From 32e0e105f663ace08896f22ab4079521070b0cac Mon Sep 17 00:00:00 2001 From: Amir Saeid Date: Wed, 18 Feb 2026 21:25:00 +0000 Subject: Change the theme and add a new post --- public/post/index.html | 351 ++++++++++++++++++++++++++++++++----------------- 1 file changed, 231 insertions(+), 120 deletions(-) (limited to 'public/post/index.html') diff --git a/public/post/index.html b/public/post/index.html index 54bac6a..0377429 100644 --- a/public/post/index.html +++ b/public/post/index.html @@ -1,159 +1,270 @@ - - - - - - - - - - - - - - + + + Posts :: + + + + + - - + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +
+
+ - - - - - - - - - - - - - +
+ +
+ + +
- - + +
+
+

+ Fairstream +

+
-
-
- -
-

- Posts -

+
+ +

Backtracking is a versatile approach for solving search problems by building solutions incrementally. If a partial solution cannot be extended, it is discarded and the process returns to a previous step to explore an alternative path. This method is generally more efficient than brute-force searching due to pruning: stopping exploration of a branch as soon as it violates a constraint, which eliminates entire sections of the search space.

+

Strictly speaking, fair backtracking is not required for all search problems. A fair strategy guarantees all branches make progress, preventing any single branch from starving the others. The List monad handles non-deterministic computation well, and within a finite search space it produces the same results as a fair stream. When the search space is infinite, or when one branch may produce unbounded results, fairness becomes essential to ensure completeness.

+ +
+ -
-
-
+
+ [] +
+ +
+ +
+

+ ThinkPad E470 +

+
+ + + + #thinkpad  + + #e470  + + + -
- + -
-
- -
-
+ +
+

+ Types and Programming Languages +

+
+ + + + + #tapl  + + #rust  + + + + + + +
+ +

February 2016, as a birthday present to myself I bought a copy of Types and Programming Languages. At the time the only thing I did with it was to take a photo of it, sharing it on Twitter and congratulating myself. To be fair, I did try reading it, but it was so intimidating that I gave up very early in the book. One and a half years later I’m going to give it another go because a few things have changed.

+
- -
-
+ + +
+ [] +
+ +
+ + + -
- - +
+ +
+ + + - + + + + + + + + + + + + + + + -- cgit v1.2.3